Package org.rascalmpl.interpreter

Examples of org.rascalmpl.interpreter.TraversalEvaluator

45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
    }

    @Override
    public Result<IValue> interpret(IEvaluator<Result<IValue>> __eval) {
      Result<IValue> subject = this.getSubject().interpret(__eval);
      TraversalEvaluator te = new TraversalEvaluator(__eval);
      try {
        __eval.__pushTraversalEvaluator(te);
       
        IValue val = te.traverse(subject.getValue(),
            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
View Full Code Here
116
117
118
119
120
121
122
123
124
125
126
127
128
129
        fixedpoint = FIXEDPOINT.Yes;
      } else {
        throw new ImplementationError("Unknown strategy " + s);
      }
 
      TraversalEvaluator te = new TraversalEvaluator(__eval);
      try {
        __eval.__pushTraversalEvaluator(te);
        IValue val = te
            .traverse(subject.getValue(), blocks,direction, progress, fixedpoint);
        Type t = val.getType();
        return org.rascalmpl.interpreter.result.ResultFactory.makeResult(t,
            val, __eval);
 
View Full Code Here
TOP

Related Classes of org.rascalmpl.interpreter.TraversalEvaluator

  • org.eclipse.imp.pdb.facts.IConstructor
  • org.eclipse.imp.pdb.facts.IList
  • org.eclipse.imp.pdb.facts.IListWriter
  • org.eclipse.imp.pdb.facts.IMap
  • org.eclipse.imp.pdb.facts.IMapWriter
  • org.eclipse.imp.pdb.facts.INode
  • org.eclipse.imp.pdb.facts.ISet
  • org.eclipse.imp.pdb.facts.ISetWriter
  • org.eclipse.imp.pdb.facts.IString
  • org.eclipse.imp.pdb.facts.ITuple
    • 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.