Package org.rascalmpl.interpreter.asserts

Examples of org.rascalmpl.interpreter.asserts.ImplementationError

1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
    }
   
    Command stat = new ASTBuilder().buildCommand(tree);
   
    if (stat == null) {
      throw new ImplementationError("Disambiguation failed: it removed all alternatives");
    }

    return eval(stat);
  }
View Full Code Here
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
    }

    Commands stat = new ASTBuilder().buildCommands(tree);
   
    if (stat == null) {
      throw new ImplementationError("Disambiguation failed: it removed all alternatives");
    }

    return eval(stat);
  }
View Full Code Here
1407
1408
1409
1410
1411
1412
1413
1414
1415
  // Modules -------------------------------------------------------------
  @Override 
  public ModuleEnvironment getCurrentModuleEnvironment() {
    if (!(currentEnvt instanceof ModuleEnvironment)) {
      throw new ImplementationError("Current env should be a module environment");
    }
    return ((ModuleEnvironment) currentEnvt);
  }
View Full Code Here
596
597
598
599
600
601
602
603
604
605
606
        }
        else if (externalType instanceof FunctionType) {
          return visitFunctionType((FunctionType) externalType);
        }
       
        throw new ImplementationError("unable to reify " + externalType);
      }

      private IValue visitFunctionType(FunctionType externalType) {
        IListWriter w = vf.listWriter();
        for (Type arg : externalType.getArgumentTypes()) {
View Full Code Here
59
60
61
62
63
64
65
66
      else {
        type = Opt.Exist;
      }
    }
    else {
      throw new ImplementationError("optional with more than one element???", x.getLocation());
    }
  }
View Full Code Here
47
48
49
50
51
52
53
  }
 
  @Override
  public boolean next(){
    checkInitialized();
    throw new ImplementationError("AbstractPatternMap.match not implemented");
  }
View Full Code Here
37
38
39
40
41
42
43
44
45
46
    return firstCall;
  }

  public IValue next() {
    if(!firstCall){
      throw new ImplementationError("next called more than once");
    }
    firstCall = false;
    return value;
  }
View Full Code Here
586
587
588
589
590
591
592
593
594
595
596
        if (repl.getType().isString()){
          int start;
          int end;
          IBooleanResult lastPattern = e.getMatchPattern();
          if (lastPattern == null) {
            throw new ImplementationError("No last pattern known");
          }
          if (lastPattern instanceof RegExpPatternValue){
            start = ((RegExpPatternValue)lastPattern).getStart();
            end = ((RegExpPatternValue)lastPattern).getEnd();
          }
View Full Code Here
56
57
58
59
60
61
62
63
64
65
    else if(operator.isIntersection())
      this.__setOperator(AssignmentOperator.Intersection);
    else if(operator.isIfDefined())
      this.__setOperator(AssignmentOperator.IsDefined);
    else
        throw new ImplementationError("Unknown assignment operator");
    this.__setValue(value);
    this.env = env;
    this.eval = eval;
  }
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
      case Intersection:
        newValue = oldValue.intersect(rhsValue); break;
      case IsDefined:
        return oldValue;
      default:
        throw new ImplementationError("Unknown assignment operator");
      }
   
      if (newValue.getType().isSubtypeOf(oldValue.getType())) {
        newValue = org.rascalmpl.interpreter.result.ResultFactory.makeResult(oldValue.getType(), newValue.getValue(),this.__getEval());
        return newValue;
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.