2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
13 extern void setArgsUsed (void) /*@modifies internalState@*/ ;
14 extern void setSpecialFunction (qual p_qu) /*@modifies internalState@*/ ;
15 extern bool isFlipOldStyle(void) /*@*/ ;
16 extern bool isNewStyle(void) /*@*/ ;
17 extern bool processingIterVars(void) /*@*/ ;
19 extern ctype declareEnum (/*@only@*/ cstring p_ename, /*@only@*/ enumNameList p_el);
20 extern ctype declareStruct (/*@temp@*/ cstring p_id, /*@only@*/ uentryList p_f);
21 extern ctype declareUnnamedStruct (/*@only@*/ uentryList p_f);
23 extern ctype declareUnion (/*@temp@*/ cstring p_id, /*@only@*/ uentryList p_f);
24 extern ctype declareUnnamedUnion (/*@only@*/ uentryList p_f);
27 setFunctionSpecialClause (lltok p_stok, /*@only@*/ sRefSet p_s, lltok p_etok);
29 setFunctionStateSpecialClause (lltok p_stok, specialClauseKind p_kind,
30 /*@only@*/ sRefSet p_s, lltok p_etok);
32 extern ctype declareUnnamedEnum (/*@only@*/ enumNameList p_el);
33 extern ctype handleEnum (/*@only@*/ cstring p_id);
34 extern ctype handleStruct (/*@only@*/ cstring p_id);
35 extern ctype handleUnion (/*@only@*/ cstring p_id);
37 extern uentryList handleParamIdList (/*@returned@*/ /*@dependent@*/ uentryList p_params);
38 extern uentryList handleParamTypeList (/*@dependent@*/ /*@returned@*/ uentryList p_params);
40 extern uentryList fixUentryList (/*@only@*/ idDeclList p_tl, qtype p_q);
41 extern uentryList fixUnnamedDecl (qtype p_q) /*@*/ ;
43 extern /*@exposed@*/ uentry getCurrentIter(void);
45 extern void processNamedDecl (idDecl p_t);
46 extern void declareFunction (/*@only@*/ idDecl p_tid)
47 /*@globals internalState@*/ ;
48 extern void doVaDcl (void);
49 extern void doneParams (void);
51 extern void setCurrentParams (/*@dependent@*/ uentryList p_ue);
52 extern void clearCurrentParams (void);
54 extern /*@exposed@*/ sRef fixModifiesId (cstring p_s);
55 extern /*@exposed@*/ sRef fixSpecClausesId (cstring p_s);
57 extern void setFlipOldStyle(void);
58 extern void setNewStyle(void);
59 extern void unsetProcessingGlobals (void);
60 extern void setProcessingIterVars (uentry p_iter);
61 extern void setProcessingTypedef (/*@only@*/ qtype p_q);
62 extern void setProcessingVars (/*@only@*/ qtype p_q);
63 extern void setStorageClass (storageClassCode p_sc);
64 extern void storeLoc (void);
65 extern void unsetProcessingTypedef (void);
66 extern void unsetProcessingVars (void);
68 extern /*@only@*/ uentry makeCurrentParam (idDecl p_t);
69 extern void setProcessingGlobalsList (void);
71 extern /*@exposed@*/ sRef modListArrayFetch (sRef p_s, sRef p_mexp);
72 extern /*@exposed@*/ sRef modListPointer (sRef p_s);
73 extern /*@exposed@*/ sRef modListFieldAccess (sRef p_s, /*@only@*/ cstring p_f);
74 extern /*@exposed@*/ sRef modListArrowAccess (sRef p_s, /*@only@*/ cstring p_f);
76 extern sRef globListUnrecognized (cstring p_s);
77 extern void globListAdd (sRef p_sr, qualList p_quals);
79 extern void setFunctionModifies (/*@only@*/ sRefSet p_s);
81 extern void checkDoneParams (void);
83 extern void exitParamsTemp (void);
84 extern void enterParamsTemp (void);
86 extern void clearProcessingGlobMods (void);
87 extern bool isProcessingGlobMods (void);
88 extern void setProcessingGlobMods (void);
90 extern void setFunctionNoGlobals (void);
91 extern int iterParamNo (void);
92 extern void nextIterParam (void);
93 extern void declareCIter (cstring p_name, /*@owned@*/ uentryList p_params);
94 extern void checkModifiesId (uentry p_ue);
95 extern /*@exposed@*/ sRef checkSpecClausesId (uentry p_ue);
97 extern void checkConstant (qtype p_t, idDecl p_id) ;
98 extern void checkValueConstant (qtype p_t, idDecl p_id, exprNode p_e) ;
100 extern void declareStaticFunction (/*@only@*/ idDecl p_tid)
101 /*@globals internalState@*/ ;
104 added to header 1/19/2001
105 (added to clabstract earilier
108 constraintList getFunctionConstraints (void);
110 constraintList getEnsuresConstraints (void);
112 void setEnsuresConstraints (constraintList c);
114 void setFunctionConstraints (constraintList c);
115 sRef checkbufferConstraintClausesId (uentry ue);
116 void setImplictfcnConstraints (void);
118 /*@observer@*/ constraintList getImplicitFcnConstraints (void);
124 # error "Multiple include"