Examples of org.rascalmpl.interpreter.matching.NotResult

Package org.rascalmpl.interpreter.matching

Examples of org.rascalmpl.interpreter.matching.NotResult

org.rascalmpl.interpreter.matching.NotResult
The not operator backtracks over its argument just like the other operator. Notice however that any variables introduced below a not will never be available after it. @author jurgenv

      super(__param1, __param2);
    }


    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext eval) {
      return new NotResult(eval, getArgument().buildBacktracker(eval));
    }

View Full Code Here

      super(__param1, __param2, __param3);
    }


    @Override
    public IBooleanResult buildBacktracker(IEvaluatorContext eval) {
      return new OrResult(eval, new NotResult(eval, getLhs().buildBacktracker(eval)), getRhs().buildBacktracker(eval));
    }

View Full Code Here

TOP

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

org.rascalmpl.interpreter.env.Environment

org.rascalmpl.semantics.dynamic.Expression$Implication

org.rascalmpl.semantics.dynamic.Expression$Negation

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.