Advanced Search
All Posts : Product Tips & Techniques

Whattype

Alec Mihailovs 4485 Maple
November 01 2006
0
Recently, working on Nested Verification, I took a look at the whattype procedure. First, I couldn't find any use of local variables t1, t2, L, k1, k2 declared in it. That seems odd. Second, the order of types in it seems to be not exactly right. In particular, symbol is located earlier than `module`. Also, some types are missing, record for example. That leads to not recognizing modules and records, 
r := Record( 'a', 'b' ):
m := module() end:
whattype(r);
                                symbol
whattype(m);
                                symbol
Similarly to the compact and efficient version of Nested Verification, I wrote a "compact and efficient" version of whattype, 
wtype:=proc(a) 
local t;
if nargs <> 1 then return 'exprseq' fi;
for t in ['`+`','`*`','`||`','string','indexed','integer',
'fraction','`^`','function','series','SDMPolynom','float',
'extended_numeric','complex'('extended_numeric'),'hfarray',
'assignment','Vector[row]','Vector[column]','Matrix','Array',
'array','table','set','list','`=`','`..`','`<>`','`<`','`<=`',
'`and`','`or`','`xor`','`implies`','`not`','procedure','`::`',
'uneval','record','`module`','moduledefinition','zppoly',
'symbol','unknown']
do if a::t then break fi od;
t end:
I used the same order of types as in whattype except moving symbol to the end and adding record in front of module. That made records and modules recognizable, 
wtype(r);
                                record
wtype(m);
                                module
A lot of types are still missing, but they can be easily added if necessary.
module whattype

Please Wait...