]> andersk Git - splint.git/blob - src/lltok.c
We're now able to generate Maxset constraints for fixed sized arrays.
[splint.git] / src / lltok.c
1 /*
2 ** LCLint - annotation-assisted static program checker
3 ** Copyright (C) 1994-2000 University of Virginia,
4 **         Massachusetts Institute of Technology
5 **
6 ** This program is free software; you can redistribute it and/or modify it
7 ** under the terms of the GNU General Public License as published by the
8 ** Free Software Foundation; either version 2 of the License, or (at your
9 ** option) any later version.
10 ** 
11 ** This program is distributed in the hope that it will be useful, but
12 ** WITHOUT ANY WARRANTY; without even the implied warranty of
13 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14 ** General Public License for more details.
15 ** 
16 ** The GNU General Public License is available from http://www.gnu.org/ or
17 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
18 ** MA 02111-1307, USA.
19 **
20 ** For information on lclint: lclint-request@cs.virginia.edu
21 ** To report a bug: lclint-bug@cs.virginia.edu
22 ** For more information: http://lclint.cs.virginia.edu
23 */
24 /*
25 ** lltok.c
26 */
27
28 # include "lclintMacros.nf"
29 # include "basic.h"
30
31 # include "cgrammar.h"
32 # include "cgrammar_tokens.h"
33
34 bool
35 lltok_isSemi (lltok tok)
36 {
37   return (tok.tok == TSEMI);
38 }
39
40 bool
41 lltok_isMult (lltok tok)
42 {
43   return (tok.tok == TMULT);
44 }
45
46 bool lltok_isInc_Op (lltok tok)
47 {
48   return (tok.tok == INC_OP);
49 }
50
51 /* DRL added this function 10/23/2000 for boolean stuff */
52 bool lltok_isEq_Op (lltok tok)
53 {
54   return (tok.tok == EQ_OP);
55 }
56
57 /* DRL added this function 10/25/2000 for boolean stuff */
58 bool lltok_isAnd_Op (lltok tok)
59 {
60   return (tok.tok == AND_OP);
61 }
62
63 bool lltok_isOr_Op (lltok tok)
64 {
65   return (tok.tok == OR_OP);
66 }
67
68 bool lltok_isNot_Op (lltok tok)
69 {
70   return (tok.tok ==  TEXCL);
71 }
72 /*drl7x added this function 11/20/00 */
73
74 bool lltok_isLt_Op (lltok tok)
75 {
76   return (tok.tok ==  TLT);
77 }
78
79 bool lltok_isGt_Op (lltok tok)
80 {
81   return (tok.tok ==  TGT);
82 }
83   
84 bool lltok_isGe_Op (lltok tok)
85 {
86   return (tok.tok ==  GE_OP);
87 }
88
89 bool lltok_isLe_Op (lltok tok)
90 {
91   return (tok.tok ==  LE_OP);
92 }
93
94 /* end drl7x added */
95
96
97 cstring
98 lltok_unparse (lltok tok)
99 {
100   char *lit;
101
102   switch (tok.tok)
103     {
104     case BREAK:      lit = "break"; break;
105     case CASE:       lit = "case"; break;
106     case CONTINUE:   lit = "continue"; break;
107     case DEFAULT:    lit = "default"; break;
108     case DO:         lit = "do"; break;
109     case CDOUBLE:    lit = "double"; break;
110     case CELSE:      lit = "else"; break;
111     case CFOR:       lit = "for"; break;
112     case GOTO:       lit = "goto"; break;
113     case CIF:        lit = "if"; break;
114     case RETURN:     lit = "return"; break;
115     case CSIZEOF:    lit = "sizeof"; break;
116     case SWITCH:     lit = "switch"; break;
117     case WHILE:      lit = "while"; break;
118     case CSTRUCT:    lit = "struct"; break;
119     case CTYPEDEF:   lit = "typedef"; break;
120     case CUNION:     lit = "union"; break;
121     case CENUM:      lit = "enum"; break;
122     case QEXTERN:     lit = "extern"; break;
123     case QAUTO:       lit = "auto"; break;
124     case QSTATIC:     lit = "static"; break;
125     case RIGHT_ASSIGN: lit = ">>="; break;
126     case LEFT_ASSIGN:  lit = "<<="; break;
127     case ADD_ASSIGN: lit = "+="; break;
128     case SUB_ASSIGN: lit = "-="; break;
129     case MUL_ASSIGN: lit = "*="; break;
130     case DIV_ASSIGN: lit = "/="; break;
131     case MOD_ASSIGN: lit = "%="; break;
132     case AND_ASSIGN: lit = "&="; break;
133     case XOR_ASSIGN: lit = "^="; break;
134     case OR_ASSIGN:  lit = "|="; break;
135     case RIGHT_OP:   lit = ">>"; break;
136     case LEFT_OP:    lit = "<<"; break;
137     case INC_OP:     lit = "++"; break; 
138     case DEC_OP:     lit = "--"; break;
139     case ARROW_OP:   lit = "->"; break;
140     case AND_OP:     lit = "&&"; break;
141     case OR_OP:      lit = "||"; break;
142     case LE_OP:      lit = "<="; break;
143     case GE_OP:      lit = ">="; break;
144     case EQ_OP:      lit = "=="; break;
145     case NE_OP:      lit = "!="; break;
146     case TSEMI:      lit = ";"; break;
147     case TLBRACE:    lit = "{"; break;
148     case TRBRACE:    lit = "}"; break;
149     case TCOMMA:     lit = ","; break;
150     case TCOLON:     lit = ":"; break;
151     case TASSIGN:        lit = "="; break;
152     case TLPAREN:    lit = "("; break;
153     case TRPAREN:    lit = ")"; break;
154     case TLSQBR:     lit = "["; break;
155     case TRSQBR:     lit = "]"; break;
156     case TDOT:       lit = "."; break;
157     case TAMPERSAND: lit = "&"; break;
158     case TEXCL:      lit = "!"; break;
159     case TTILDE:     lit = "~"; break;
160     case TMINUS:     lit = "-"; break;
161     case TPLUS:      lit = "+"; break;
162     case TMULT:      lit = "*"; break;
163     case TDIV:       lit = "/"; break;
164     case TPERCENT:   lit = "%"; break;
165     case TLT:        lit = "<"; break;
166     case TGT:        lit = ">"; break;
167     case TCIRC:      lit = "^"; break;
168     case TBAR:       lit = "|"; break;
169     case TQUEST:     lit = "?"; break;  
170     case QOUT:       lit = "out"; break;
171     case QONLY:      lit = "only"; break;
172     case QKEEP:      lit = "keep"; break;
173     case QKEPT:      lit = "kept"; break;
174     case QTEMP:      lit = "temp"; break;
175     case QSHARED:    lit = "shared"; break;
176     case QUNIQUE:    lit = "unique"; break;
177     case QREF:       lit = "ref"; break;
178     case QCHECKED:   lit = "checked"; break;
179     case QCHECKEDSTRICT: lit = "checkedstrict"; break;
180     case QCHECKMOD:  lit = "checkmod"; break;
181     case QUNCHECKED: lit = "unchecked"; break;
182     case QTRUENULL:  lit = "truenull"; break;
183     case QFALSENULL: lit = "falsenull"; break;
184     case QRETURNED:  lit = "returned"; break;
185     case QEXPOSED:   lit = "exposed"; break;
186     case QNULL:      lit = "null"; break;
187     case QRELNULL:   lit = "refnull"; break;
188     case QOBSERVER:  lit = "observer"; break;
189     case QPARTIAL:   lit = "partial"; break;
190     case QSPECIAL:   lit = "special"; break;
191     case QUSES:      lit = "uses"; break;
192     case QDEFINES:   lit = "defines"; break;
193     case QALLOCATES: lit = "allocates"; break;
194     case QSETS:      lit = "sets"; break;
195     case QRELEASES:  lit = "releases"; break;
196     case QSETBUFFERSIZE: lit = "setBufferSize"; break;
197     case QSETSTRINGLENGTH: lit = "setStringLength"; break;
198     default:  lit = "bad "; break;
199       //  BADDEFAULT;
200     }
201  
202   return cstring_makeLiteralTemp (lit);
203 }
204
205 lltok
206 lltok_create (int tok, fileloc loc)
207 {
208   lltok l;
209
210   l.tok = tok;
211   l.loc = loc;
212
213   return (l);
214 }
215
216 void lltok_release (lltok t) 
217 {
218   fileloc_free (t.loc);
219 }
220
This page took 0.057316 seconds and 5 git commands to generate.