Package org.rascalmpl.interpreter.matching

Examples of org.rascalmpl.interpreter.matching.TypedVariablePattern

97
98
99
100
101
102
103
104
    IConstructor symbol = ((NonTerminalType) type).getSymbol();
    if (SymbolAdapter.isStarList(symbol) || SymbolAdapter.isPlusList(symbol)) {
      return new ConcreteListVariablePattern(ctx, this, type, name);
    }
    else {
      return new TypedVariablePattern(ctx, this, type, name);
    }
  }
View Full Code Here
2695
2696
2697
2698
2699
2700
2701
      Environment env = eval.getCurrentEnvt();
      Type type = getType().typeOf(env, true, eval.getEvaluator());

      type = type.instantiate(env.getTypeBindings());
     
      return new TypedVariablePattern(eval, this, type, getName());
    }
View Full Code Here
2744
2745
2746
2747
2748
2749
2750
2751
2752
    @Override
    public IMatchingResult buildMatcher(IEvaluatorContext eval) {
      Type type = getType().typeOf(eval.getCurrentEnvt(), true, eval.getEvaluator());
      IMatchingResult pat = this.getPattern().buildMatcher(eval);
      IMatchingResult var = new TypedVariablePattern(eval, this, type, this.getName());
      return new VariableBecomesPattern(eval, this, var, pat);

    }
View Full Code Here
TOP

Related Classes of org.rascalmpl.interpreter.matching.TypedVariablePattern

  • org.eclipse.imp.pdb.facts.IConstructor
  • org.eclipse.imp.pdb.facts.type.Type
  • org.rascalmpl.interpreter.types.NonTerminalType
  • org.rascalmpl.semantics.dynamic.Expression$TypedVariable
  • org.rascalmpl.semantics.dynamic.Expression$TypedVariableBecomes
  • org.rascalmpl.semantics.dynamic.Tree$MetaVariable
    • 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.