Package org.eclipse.imp.parser

Examples of org.eclipse.imp.parser.IParseController

162
163
164
165
166
167
168
169
170
171
172
        }
        final UniversalEditor theEditor = editor;
        // editor is not null
        try {
          if (!editor.isEditable()) return;
          IParseController pc = editor.getParseController();
          if (pc == null || !(pc instanceof FregeParseController)) return;
          final FregeParseController fpc = (FregeParseController) pc;
          TGlobal global = fpc.getCurrentAst();
              if (global == null) return;
              // global.mem$sub.mem$cache.put(TTree.DNil.it);
View Full Code Here
206
207
208
209
210
211
212
213
214
215
216
217
218
219
          else return;
        }
        // editor is not null
        try {
          if (!editor.isEditable()) return;
          IParseController pc = editor.getParseController();
          if (pc == null) return;
          IPath dpath = pc.getPath();
          ISourceProject project = pc.getProject();
          dpath = project != null ?
              project.getRawProject().getLocation().append(dpath)
              : dpath;
              System.err.println("The path is " + dpath);
              IWorkspace workspace= ResourcesPlugin.getWorkspace();
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
  private Environment environment;
 
  @Override
  public IParseController getWrapped() {
    initDescriptor();
    IParseController result = super.getWrapped();
   
    if (result instanceof SGLRParseController) {
      JSGLRI parser = ((SGLRParseController) result).getParser();
      if (!(parser instanceof SugarJParser)) {
        sugarjParser = new SugarJParser(parser);
View Full Code Here
TOP

Related Classes of org.eclipse.imp.parser.IParseController

  • frege.imp.editorActions.FregeEditorActionContributions
  • org.sugarj.editor.SugarJParseController
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.