| d0e5b01f |
1 | /* ;-*-C-*-; */ |
| 2 | |
| 3 | /* |
| 4 | ** freeShallow: free exprData created from exprNode_effect calls. |
| 5 | ** All but the innermost storage is free'd. |
| 6 | */ |
| 7 | |
| 4cccc6ad |
8 | /*@only@*/ exprData exprData_makeLiteral (/*@only@*/ cstring p_s); |
| d0e5b01f |
9 | |
| 4cccc6ad |
10 | /*@only@*/ exprData exprData_makeId (/*@temp@*/ uentry p_id); |
| d0e5b01f |
11 | |
| 4cccc6ad |
12 | /*@only@*/ exprData exprData_makePair (/*@keep@*/ exprNode p_a, /*@keep@*/ exprNode p_b); |
| d0e5b01f |
13 | |
| 84c9ffbf |
14 | /*@-declundef*/ |
| 15 | /*static*/ void exprData_freeShallow (/*@only@*/ exprData data, exprKind kind); |
| 16 | |
| 17 | /*static*/ void exprData_free (/*@only@*/ exprData data, exprKind kind); |
| 18 | |
| 19 | /*static*/ /*@exposed@*/ exprNode exprData_getInitNode (exprData data) /*@*/; |
| 20 | |
| 21 | /*static*/ /*@exposed@*/ idDecl exprData_getInitId (exprData data) /*@*/; |
| 22 | |
| 23 | /*static*/ /*@exposed@*/ exprNode exprData_getOpA (exprData data) /*@*/; |
| 24 | |
| 25 | /*static*/ /*@exposed@*/ exprNode exprData_getOpB (exprData data) /*@*/; |
| 26 | |
| 27 | /*static*/ /*@observer@*/ lltok exprData_getOpTok (exprData data) /*@*/; |
| 28 | |
| 29 | /*static*/ /*@exposed@*/ exprNode exprData_getPairA (exprData data) /*@*/; |
| 30 | |
| 31 | /*static*/ /*@exposed@*/ exprNode exprData_getPairB (exprData data) /*@*/; |
| 32 | |
| 33 | /*static*/ /*@exposed@*/ uentry exprData_getIterSname (exprData data) /*@*/; |
| 34 | |
| 35 | /*static*/ /*@exposed@*/ exprNodeList exprData_getIterAlist (exprData data) /*@*/; |
| 36 | |
| 37 | /*static*/ /*@exposed@*/ exprNode exprData_getIterBody (exprData data) /*@*/; |
| 38 | |
| 39 | /*static*/ /*@exposed@*/ uentry exprData_getIterEname (exprData data) /*@*/; |
| 40 | |
| 41 | /*static*/ /*@exposed@*/ exprNode exprData_getFcn (exprData data) /*@*/; |
| 42 | |
| 43 | /*static*/ /*@exposed@*/ exprNodeList exprData_getArgs (exprData data) /*@*/; |
| 44 | |
| 45 | /*static*/ /*@exposed@*/ exprNode exprData_getTriplePred (exprData data) /*@*/; |
| 46 | |
| 47 | /*static*/ /*@exposed@*/ uentry exprData_getIterCallIter (exprData data) /*@*/; |
| 48 | |
| 49 | /*static*/ /*@exposed@*/ exprNodeList |
| 50 | exprData_getIterCallArgs (exprData data) /*@*/; |
| 51 | |
| 52 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleInit (exprData data) /*@*/; |
| 53 | |
| 54 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleTrue (exprData data) /*@*/; |
| 55 | |
| 56 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleTest (exprData data) /*@*/; |
| 57 | |
| 58 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleFalse (exprData data) /*@*/; |
| 59 | |
| 60 | /*static*/ /*@exposed@*/ exprNode exprData_getTripleInc (exprData data) /*@*/; |
| 61 | |
| 62 | /*static*/ /*@exposed@*/ exprNode exprData_getFieldNode (exprData data) /*@*/; |
| 63 | |
| 64 | /*static*/ /*@exposed@*/ cstring exprData_getFieldName (exprData data) /*@*/; |
| 65 | |
| 66 | /*static*/ /*@observer@*/ lltok exprData_getUopTok (exprData data) /*@*/; |
| 67 | |
| 68 | /*static*/ /*@exposed@*/ exprNode exprData_getUopNode (exprData data) /*@*/; |
| 69 | |
| 70 | /*static*/ /*@exposed@*/ exprNode exprData_getCastNode (exprData data) /*@*/; |
| 71 | |
| 72 | /*static*/ /*@observer@*/ lltok exprData_getCastTok (exprData data) /*@*/; |
| 73 | |
| 74 | /*static*/ /*@exposed@*/ qtype exprData_getCastType (exprData data) /*@*/; |
| 75 | |
| 76 | /*static*/ /*@exposed@*/ cstring exprData_getLiteral (exprData data) /*@*/; |
| 77 | |
| 78 | /*static*/ /*@exposed@*/ cstring exprData_getId (exprData data) /*@*/; |
| 79 | |
| 80 | /*static*/ /*@observer@*/ lltok exprData_getTok (exprData data) /*@*/; |
| 81 | |
| 82 | /*static*/ /*@exposed@*/ qtype exprData_getType (exprData data) /*@*/ ; |
| 83 | |
| 84 | /*static*/ /*@exposed@*/ qtype exprData_getOffsetType (exprData data) /*@*/ ; |
| 85 | |
| 86 | /*static*/ /*@exposed@*/ cstringList exprData_getOffsetName (exprData data) /*@*/ ; |
| 87 | |
| 88 | /*static*/ /*@exposed@*/ exprNode exprData_getSingle (exprData data); |
| 89 | |
| 90 | /*static*/ /*@only@*/ exprData |
| 91 | exprData_makeOp (/*@keep@*/ exprNode a, /*@keep@*/ exprNode b, /*@keep@*/ lltok op); |
| 92 | |
| 93 | /*static*/ /*@only@*/ exprData exprData_makeUop (/*@keep@*/ exprNode a, /*@keep@*/ lltok op); |
| 94 | |
| 95 | /*static*/ /*@only@*/ exprData exprData_makeSingle (/*@only@*/ exprNode a); |
| 96 | |
| 97 | /*static*/ /*@only@*/ exprData exprData_makeTok (/*@only@*/ lltok op); |
| 98 | |
| 99 | /*static*/ /*@only@*/ exprData |
| 100 | exprData_makeIter (/*@exposed@*/ uentry sname, /*@keep@*/ exprNodeList args, |
| 101 | /*@keep@*/ exprNode body, /*@exposed@*/ uentry ename); |
| 102 | |
| 103 | /*static*/ /*@only@*/ exprData exprData_makeTriple (/*@keep@*/ exprNode pred, |
| 104 | /*@keep@*/ exprNode tbranch, |
| 105 | /*@keep@*/ exprNode fbranch); |
| 106 | |
| 107 | /*static*/ /*@only@*/ exprData exprData_makeCall (/*@keep@*/ exprNode fcn, |
| 108 | /*@keep@*/ exprNodeList args); |
| 109 | |
| 110 | |
| 111 | /*static*/ /*@only@*/ exprData exprData_makeIterCall (/*@dependent@*/ uentry iter, |
| 112 | /*@keep@*/ exprNodeList args); |
| 113 | |
| 114 | /*static*/ /*@only@*/ exprData exprData_makeField (/*@keep@*/ exprNode rec, |
| 115 | /*@keep@*/ cstring field); |
| 116 | |
| 117 | /*static*/ /*@only@*/ exprData exprData_makeOffsetof (/*@only@*/ qtype q, |
| 118 | /*@keep@*/ cstringList s); |
| 119 | |
| 120 | |
| 121 | /*static*/ /*@only@*/ exprData exprData_makeSizeofType (/*@only@*/ qtype q); |
| 122 | |
| 123 | /*static*/ /*@only@*/ exprData |
| 124 | exprData_makeCast (/*@keep@*/ lltok tok, /*@keep@*/ exprNode e, /*@only@*/ qtype q); |
| 125 | |
| 126 | /*static*/ /*@only@*/ exprData |
| 127 | exprData_makeInit (/*@keep@*/ idDecl t, /*@keep@*/ exprNode e); |
| 128 | |
| 129 | |
| 130 | /*static*/ /*@only@*/ exprData exprData_makeCond (/*@keep@*/ exprNode pred, |
| 131 | /*@keep@*/ exprNode ifclause, |
| 132 | /*@keep@*/ exprNode elseclause); |
| 133 | |
| 134 | /*static*/ /*@only@*/ exprData exprData_makeFor (/*@keep@*/ exprNode init, |
| 135 | /*@keep@*/ exprNode pred, |
| 136 | /*@keep@*/ exprNode inc); |
| 137 | |
| 138 | |
| 139 | /*@=declundef*/ |
| 140 | |
| 141 | |
| 142 | |
| 143 | |
| 144 | |
| 145 | |
| 146 | |
| d0e5b01f |
147 | |
andersk / splint.git / blame