andersk / splint.git / blame
| Commit | Line | Data |
|---|---|---|
| 885824d3 | 1 | mutable type abst ; |
| 2 | immutable type immut ; | |
| 3 | ||
| 4 | char **globstring; | |
| 5 | ||
| 6 | only abst abst_create (dependent abst p, only char *x, int i) | |
| 7 | char **globstring; { } | |
| 8 | ||
| 9 | only char *abst_name (abst a) { } | |
| 10 | int abst_val (abst a) { } | |
| 11 | int *abst_aval (abst a) { } | |
| 12 | only abst abst_parent (only abst a) { } | |
| 13 | dependent char *immut_name (immut im) { } | |
| 14 | void abst_setIm (abst a, immut im) { } | |
| 15 | immut abst_getIm (abst a) { } | |
| 16 | ||
| 17 |