Package org.rascalmpl.interpreter.asserts

Examples of org.rascalmpl.interpreter.asserts.ImplementationError

100
101
102
103
104
105
106
107
108
109
110
111
      IString classString = (IString) evaluator.call(monitor, "generateObjectParser", vf.string(packageName), vf.string(normName), grammar);
      debugOutput(classString.getValue(), System.getProperty("java.io.tmpdir") + "/parser.java");
      monitor.event("Compiling generated java code: " + name, 30);
      return bridge.compileJava(loc, packageName + "." + normName, classString.getValue());
    }  catch (ClassCastException e) {
      throw new ImplementationError("parser generator:" + e.getMessage(), e);
    } catch (Throw e) {
      throw new ImplementationError("parser generator: " + e.getMessage() + e.getTrace());
    } finally {
      monitor.endJob(true);
    }
  }
View Full Code Here
126
127
128
129
130
131
132
133
134
135
      IString classString = (IString) evaluator.call(monitor, "generateMetaParser", vf.string(packageName), vf.string("$Rascal_" + normName), vf.string(packageName + "." + normName), grammar);
      debugOutput(classString.getValue(), System.getProperty("java.io.tmpdir") + "/metaParser.java");
      monitor.event("compiling generated java code: " + name, 10);
      return bridge.compileJava(loc, packageName + ".$Rascal_" + normName, objectParser.getClass(), classString.getValue());
    }  catch (ClassCastException e) {
      throw new ImplementationError("meta parser generator:" + e.getMessage(), e);
    } catch (Throw e) {
      throw new ImplementationError("meta parser generator: " + e.getMessage() + e.getTrace());
    }
  }
View Full Code Here
212
213
214
215
216
217
218
219
220
221
222
223
224
      monitor.event("Importing and normalizing grammar:" + name, 30);
      IConstructor grammar = getGrammar(monitor, name, definition);
      debugOutput(grammar.toString(), System.getProperty("java.io.tmpdir") + "/grammar.trm");
      return getNewParser(monitor, loc, name, grammar);
    }  catch (ClassCastException e) {
      throw new ImplementationError("parser generator:" + e.getMessage(), e);
    } catch (Throw e) {
      throw new ImplementationError("parser generator: " + e.getMessage() + e.getTrace());
    } finally {
      monitor.endJob(true);
    }
   
  }
View Full Code Here
240
241
242
243
244
245
246
247
248
249
250
251
      IString classString = (IString) evaluator.call(monitor, "newGenerate", vf.string(packageName), vf.string(normName), grammar);
      debugOutput(classString.getValue(), System.getProperty("java.io.tmpdir") + "/parser.java");
      monitor.event("Compiling generated java code: " + name, 30);
      return bridge.compileJava(loc, packageName + "." + normName, classString.getValue());
    }  catch (ClassCastException e) {
      throw new ImplementationError("parser generator:" + e.getMessage(), e);
    } catch (Throw e) {
      throw new ImplementationError("parser generator: " + e.getMessage() + e.getTrace());
    } finally {
      monitor.endJob(true);
    }
  }
View Full Code Here
51
52
53
54
55
56
57
58
      } catch (FactTypeUseException e) {
        throw new DateTimeSyntax(e.getMessage(), eval.getCurrentAST().getLocation());
      } catch (FactParseError e) {
          throw new DateTimeSyntax(e.getMessage(), eval.getCurrentAST().getLocation());
      } catch (IOException e) {
        throw new ImplementationError(e.getMessage());
      }
    }
View Full Code Here
55
56
57
58
59
60
61
62
 
  private IValue eval(IRascalMonitor monitor, String cmd) {
    try {
      return eval.eval(monitor, cmd, URIUtil.rootScheme("checker")).getValue();
    } catch (ParseError pe) {
      throw new ImplementationError("syntax error in static checker modules", pe);
    }
  }
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
    return mod; 
  }
 
  public void startShell(IEvaluatorContext ctx) {
    if (old != null || env != null) {
      throw new ImplementationError("Can not nest shell calls! Call endShell before another startShell please.");
    }
    evaluator = createEvaluator(ctx);
    old = evaluator.getCurrentEnvt();
    env = getUniqueModuleEnvironment(evaluator);
    evaluator.setCurrentEnvt(env);
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
    old = null;
  }
 
  public IString shell(IString command, IInteger duration, IEvaluatorContext ctx) {
    if (evaluator == null || old == null || env == null) {
      throw new ImplementationError("First call startShell, then shell, then end with endShell");
    }
   
    IValue valueType = tr.typeToValue(TypeFactory.getInstance().valueType(), ctx).getValue();
    StringBuilder content = new StringBuilder();
   
View Full Code Here
158
159
160
161
162
163
164
   */
  protected static Transaction transaction(IValue tr) {
    if(tr instanceof Transaction)
      return (Transaction)tr;
    else
      throw new ImplementationError("Not a transaction: " + tr);
  }
View Full Code Here
55
56
57
58
59
60
61
62
63
64
65
  public OverloadedFunction(String name, Type type, List<AbstractFunction> candidates, List<AbstractFunction> defaults, IEvaluatorContext ctx) {
    super(type, null, ctx);

    if (candidates.size() + defaults.size() <= 0) {
      throw new ImplementationError("at least need one function");
    }
    this.name = name;

    this.primaryCandidates = new ArrayList<AbstractFunction>(candidates.size());
    this.defaultCandidates = new ArrayList<AbstractFunction>(candidates.size());
View Full Code Here
TOP

Related Classes of org.rascalmpl.interpreter.asserts.ImplementationError

  • org.rascalmpl.ast.AbstractAST
  • org.rascalmpl.checker.StaticChecker
  • org.rascalmpl.interpreter.AssignableEvaluator
  • org.rascalmpl.interpreter.env.Environment
  • org.rascalmpl.interpreter.env.GlobalEnvironment
  • org.rascalmpl.interpreter.Evaluator
  • org.rascalmpl.interpreter.matching.AbstractMatchingResult
  • org.rascalmpl.interpreter.matching.ConcreteListPattern
  • org.rascalmpl.interpreter.matching.ConcreteOptPattern
  • org.rascalmpl.interpreter.matching.ListPattern
    • 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.