(InputDocument old)
| 24 | public CodeBuffTokenStream tokens; |
| 25 | |
| 26 | public static InputDocument dup(InputDocument old) throws Exception { |
| 27 | // reparse to get new tokens, tree |
| 28 | return Tool.parse(old.fileName, old.language); |
| 29 | } |
| 30 | |
| 31 | public InputDocument(String fileName, String content, LangDescriptor language) { |
| 32 | this.content = content; |