Package org.rascalmpl.interpreter.asserts

Examples of org.rascalmpl.interpreter.asserts.ImplementationError


              node.getName(),
              org.rascalmpl.interpreter.AssignableEvaluator
                  .__getTf().tupleType(resultTypes));

      if (constructor == null) {
        throw new ImplementationError("could not find constructor for "
            + node.getName()
            + " : "
            + org.rascalmpl.interpreter.AssignableEvaluator
                .__getTf().tupleType(resultTypes));
      }
View Full Code Here


    }

    @Override
    public Result<IValue> interpret(IEvaluator<Result<IValue>> __eval) {

      throw new ImplementationError(
          "Constructor assignable does not represent a value");

    }
View Full Code Here

    }

    @Override
    public Result<IValue> interpret(IEvaluator<Result<IValue>> __eval) {

      throw new ImplementationError(
          "ifdefined assignable does not represent a value");

    }
View Full Code Here

      }else if (alt == Factory.Tree_Char){
        return visitTreeChar(o);
      }else if (alt == Factory.Tree_Cycle){
        return visitTreeCycle(o);
      }else{
        throw new ImplementationError("TreeVisitor does not implement: " + alt);
      }
    }
   
    return o;
  }
View Full Code Here

            blocks, DIRECTION.BottomUp,
            PROGRESS.Continuing, FIXEDPOINT.No);
       
        if (!val.getType().isSubtypeOf(subject.getType())) {
          // this is not a static error but an extra run-time sanity check
          throw new ImplementationError("this should really never happen",
              new UnexpectedType(subject.getType(), val.getType(), this));
        }
       
        return org.rascalmpl.interpreter.result.ResultFactory.makeResult(subject.getType(),
            val, __eval);
View Full Code Here

        progress = PROGRESS.Breaking;
      } else if (s.isOutermost()) {
        direction = DIRECTION.TopDown;
        fixedpoint = FIXEDPOINT.Yes;
      } else {
        throw new ImplementationError("Unknown strategy " + s);
      }
 
      TraversalEvaluator te = new TraversalEvaluator(__eval);
      try {
        __eval.__pushTraversalEvaluator(te);
View Full Code Here

    }

    @Override
    public Result<IValue> interpret(IEvaluator<Result<IValue>> __eval) {

      throw new ImplementationError(
          "Tuple in assignable does not represent a value:" + this);

    }
View Full Code Here

  public MapComprehensionWriter(java.util.List<Expression> resultExprs,
      IEvaluator<Result<IValue>> eval) {
    super(resultExprs, eval);
    if (resultExprs.size() != 2)
      throw new ImplementationError(
          "Map comprehensions needs two result expressions");
    this.writer = VF.mapWriter();
    this.elementType1 = TF.voidType();
    this.elementType2 = TF.voidType();
  }
View Full Code Here

        IURIInputStreamResolver resolver = new ClassResourceInput(evaluator.getResolverRegistry(), "junit", clazz, "/");
        evaluator.getResolverRegistry().registerInput(resolver);
        evaluator.addRascalSearchPath(URIUtil.rootScheme("junit"));
      }
    } catch (InstantiationException e) {
      throw new ImplementationError("could not setup tests for: " + clazz.getCanonicalName(), e);
    } catch (IllegalAccessException e) {
      throw new ImplementationError("could not setup tests for: " + clazz.getCanonicalName(), e);
    }
  }
View Full Code Here

 
  public ParserGenerator getParserGenerator() {
    startJob("Loading parser generator", 40);
    if(parserGenerator == null ){
      if (isBootstrapper()) {
        throw new ImplementationError("Cyclic bootstrapping is occurring, probably because a module in the bootstrap dependencies is using the concrete syntax feature.");
      }
      parserGenerator = new ParserGenerator(getMonitor(), getStdErr(), classLoaders, getValueFactory(), config);
    }
    endJob(true);
    return parserGenerator;
View Full Code Here

TOP

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

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.