Package org.rascalmpl.interpreter.asserts

Examples of org.rascalmpl.interpreter.asserts.ImplementationError

121
122
123
124
125
126
127
128
    }
    else if (env == mod) {
      return mod;
    }
    else {
      throw new ImplementationError("Reinstantiating same module " + mod.getName());
    }
  }
View Full Code Here
308
309
310
311
312
313
314
      heap.removeModule(env);
      throw new ModuleImport(name, e.getMessage(), x);
    }

    heap.removeModule(env);
    throw new ImplementationError("Unexpected error while parsing module " + name + " and building an AST for it ", x);
  }
View Full Code Here
492
493
494
495
496
497
498
499
500
         return null;
      }

      @Override
       public IConstructor visitTreeAmb(IConstructor arg) {
         throw new ImplementationError("unexpected ambiguity: " + arg);
       }
     });
  }
View Full Code Here
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
          clazz = cl.loadClass(className);
          return (IGTD<IConstructor, IConstructor, ISourceLocation>) clazz.newInstance();
        } catch (ClassNotFoundException e) {
          continue;
        } catch (InstantiationException e) {
          throw new ImplementationError("could not instantiate " + className + " to valid IGTD parser", e);
        } catch (IllegalAccessException e) {
          throw new ImplementationError("not allowed to instantiate " + className + " to valid IGTD parser", e);
        }
      }
      throw new ImplementationError("class for cached parser " + className + " could not be found");
    }

    ParserGenerator pg = eval.getParserGenerator();
    IMap definitions = currentModule.getSyntaxDefinition();
   
    Class<IGTD<IConstructor, IConstructor, ISourceLocation>> parser = eval.getHeap().getObjectParser(currentModule.getName(), definitions);

    if (parser == null || force) {
      String parserName = currentModule.getName(); // .replaceAll("::", ".");

      parser = pg.getNewParser(eval, loc, parserName, definitions);
      eval.getHeap().storeObjectParser(currentModule.getName(), definitions, parser);
    }

    try {
      return parser.newInstance();
    } catch (InstantiationException e) {
      throw new ImplementationError(e.getMessage(), e);
    } catch (IllegalAccessException e) {
      throw new ImplementationError(e.getMessage(), e);
    } catch (ExceptionInInitializerError e) {
      throw new ImplementationError(e.getMessage(), e);
    }
  }
View Full Code Here
664
665
666
667
668
669
670
671
672
673
674
                return (IConstructor) ((INode) arg).get(0);
              }
            }
          }
         
          throw new ImplementationError("expected to find a holeType, but did not: " + tree);
        }

        @Override
        public IConstructor visitTreeAmb(IConstructor arg)  {
          ISetWriter w = vf.setWriter();
View Full Code Here
205
206
207
208
209
210
211
212
    }
    catch (FactTypeRedeclaredException e) {
      throw new RedeclaredType(e.getName(), x);
    }
    catch (FactTypeDeclarationException e) {
      throw new ImplementationError("Unknown FactTypeDeclarationException: " + e.getMessage());
    }
  }
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
        for(Map.Entry<Type, ITask<Type, IValue, IValue>> t : producerMap.entrySet()) {
          if(nameType.isSubtypeOf(t.getKey()))
            return t.getValue();
        }
      }
      throw new ImplementationError("No suitable producer found for " + key + "(" + name + ")");
    }
    finally {
      lock.unlock();
    }
  }
View Full Code Here
75
76
77
78
79
80
81
82
    }
    finally {
      lock.unlock();
    }
    if(producer == null)
      throw new ImplementationError("No registered fact producer for " + key.toString());
    return producer.produce(monitor, tr, key, name);
  }
View Full Code Here
58
59
60
61
62
63
64
65
    }
    finally {
      lock.unlock();
    }
    if(producer == null)
      throw new ImplementationError("No registered fact producer for " + key.toString());
    return producer.produce(monitor, tr, key, name);
  }
View Full Code Here
59
60
61
62
63
64
65
66
      } 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
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.