(ErrorManager errMgr, String name, TokenStream tokens)
| 61 | ErrorManager errMgr; |
| 62 | |
| 63 | public CompilationState(ErrorManager errMgr, String name, TokenStream tokens) { |
| 64 | this.errMgr = errMgr; |
| 65 | this.tokens = tokens; |
| 66 | impl.name = name; |
| 67 | impl.prefix = Misc.getPrefix(name); |
| 68 | } |
| 69 | |
| 70 | public int defineString(String s) { |
| 71 | return stringtable.add(s); |