2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
10 # ifndef MTCONTEXTNODE_H
11 # define MTCONTEXTNODE_H
15 MTC_ANY, MTC_PARAM, MTC_REFERENCE, MTC_CLAUSE
18 struct s_mtContextNode {
19 mtContextKind context;
20 ctype type; /* This state only applies to types matching. */
23 /*@constant null mtContextNode mtContextNode_undefined@*/
24 # define mtContextNode_undefined ((mtContextNode) 0)
26 extern /*@falsenull@*/ bool mtContextNode_isDefined (mtContextNode p_s) /*@*/ ;
27 # define mtContextNode_isDefined(s) ((s) != mtContextNode_undefined)
29 extern cstring mtContextNode_unparse (mtContextNode) /*@*/ ;
31 extern mtContextNode mtContextNode_createAny (void) /*@*/ ;
32 extern mtContextNode mtContextNode_createParameter (ctype) /*@*/ ;
33 extern mtContextNode mtContextNode_createReference (ctype) /*@*/ ;
34 extern mtContextNode mtContextNode_createClause (ctype) /*@*/ ;
36 extern void mtContextNode_free (/*@only@*/ mtContextNode) ;
38 extern bool mtContextNode_isRef (mtContextNode) /*@*/;
39 extern bool mtContextNode_isParameter (mtContextNode) /*@*/;
40 extern bool mtContextNode_isClause (mtContextNode) /*@*/;
42 extern bool mtContextNode_matchesEntry (mtContextNode, uentry) /*@*/ ;
43 extern bool mtContextNode_matchesRef (mtContextNode, sRef) /*@*/ ;
45 extern bool mtContextNode_matchesRefStrict (mtContextNode, sRef) /*@*/ ;
46 /* Doesn't allow matches with unknown type. */
49 # error "Multiple include"