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