- lltok tok;
- int count;
- specialClauseKind sck;
- qual typequal;
- qualList tquallist;
- ctype ctyp;
- sRef sr;
- /*@only@*/ qtype qtyp;
- /*@only@*/ cstring cname;
- /*@only@*/ idDecl ntyp;
- /*@only@*/ idDeclList ntyplist;
- /*@only@*/ uentryList flist;
- /*@owned@*/ uentryList entrylist;
- /*@observer@*/ /*@dependent@*/ uentry entry;
- /*@only@*/ uentry oentry;
- /*@only@*/ exprNode expr;
- /*@only@*/ enumNameList enumnamelist;
- /*@only@*/ exprNodeList alist;
- /*@only@*/ sRefSet srset;
- /*@only@*/ cstringList cstringlist;
+ lltok tok;
+ int count;
+ qual typequal;
+ qualList tquallist;
+ ctype ctyp;
+ /*@dependent@*/ sRef sr;
+ /*@only@*/ sRef osr;
+
+ /*@only@*/ functionClauseList funcclauselist;
+ /*@only@*/ functionClause funcclause;
+ /*@only@*/ flagSpec flagspec;
+ /*@only@*/ globalsClause globsclause;
+ /*@only@*/ modifiesClause modsclause;
+ /*@only@*/ warnClause warnclause;
+ /*@only@*/ stateClause stateclause;
+
+ /*@only@*/ functionConstraint fcnconstraint;
+
+ /*@only@*/ metaStateConstraint msconstraint;
+ /*@only@*/ metaStateSpecifier msspec;
+ /*@only@*/ metaStateExpression msexpr;
+ /*@observer@*/ metaStateInfo msinfo;
+
+ /*@only@*/ sRefList srlist;
+ /*@only@*/ globSet globset;
+ /*@only@*/ qtype qtyp;
+ /*@only@*/ cstring cname;
+ /*@observer@*/ annotationInfo annotation;
+ /*@only@*/ idDecl ntyp;
+ /*@only@*/ idDeclList ntyplist;
+ /*@only@*/ uentryList flist;
+ /*@owned@*/ uentryList entrylist;
+ /*@observer@*/ /*@dependent@*/ uentry entry;
+ /*@only@*/ uentry oentry;
+ /*@only@*/ exprNode expr;
+ /*@only@*/ enumNameList enumnamelist;
+ /*@only@*/ exprNodeList exprlist;
+ /*@only@*/ sRefSet srset;
+ /*@only@*/ cstringList cstringlist;
+
+ /*drl
+ added 1/19/2001
+ */
+ constraint con;
+ constraintList conL;
+ constraintExpr conE;
+ /* drl */