saffron.opt
Class Implementor.Translator

java.lang.Object
  |
  +--openjava.ptree.util.ParseTreeVisitor
        |
        +--openjava.ptree.util.EvaluationShuttle
              |
              +--saffron.opt.Implementor.Translator

Enclosing class:

Implementor

private static class Implementor.Translator

extends EvaluationShuttle

Translator is a shuttle used to implement Implementor.translate(Rel,Expression).

Field Summary

(package private) Implementor	implementor
(package private) Rel	rel

Fields inherited from class openjava.ptree.util.EvaluationShuttle

Constructor Summary

(package private)

Implementor.Translator(Implementor implementor, Rel rel)

Method Summary

Expression	evaluateDown(FieldAccess p)
Expression	evaluateDown(Variable p)

Methods inherited from class openjava.ptree.util.EvaluationShuttle

evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateDown, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, evaluateUp, getEnvironment, setEnvironment, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class openjava.ptree.util.ParseTreeVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

implementor

Implementor implementor

rel

Rel rel

Constructor Detail

Implementor.Translator

Implementor.Translator(Implementor implementor,
                       Rel rel)

Method Detail

evaluateDown

public Expression evaluateDown(Variable p)
                        throws ParseTreeException

Overrides:

evaluateDown in class EvaluationShuttle

ParseTreeException

evaluateDown

public Expression evaluateDown(FieldAccess p)
                        throws ParseTreeException

Overrides:

evaluateDown in class EvaluationShuttle

ParseTreeException