| class PROG_AS_TBL |
|---|
| **** | Table mapping a classname idents to source trees.
_ `get_query(TUP{IDENT,INT}):AS_CLASS_DEF' looks up a class. `test_query(TUP{IDENT,INT}):BOOL' tests for a class. `test(AS_CLASS_DEF):BOOL' tests for a tree. `insert(AS_CLASS_DEF):SAME' inserts a tree. `delete(AS_CLASS_DEF):SAME' deletes a tree. |
| as_out(p:PROG) |
|---|
| dump |
|---|
| elt_hash(e:AS_CLASS_DEF):INT |
|---|
| **** | Hash on the types in `e'. |
| query_hash(q:TUP{IDENT,INT}):INT |
|---|
| **** | A hash value computed from the query types. |
| query_test(q:TUP{IDENT,INT}, t:AS_CLASS_DEF):BOOL |
|---|
| **** | True if `t' is the type described by `q'. |