|
| |
|
| java.lang.Object
 de.uka.ilkd.key.logic.Visitor
de.uka.ilkd.key.proof.decproc.translation.TranslationVisitor
All known Subclasses: de.uka.ilkd.key.proof.decproc.translation.TermTranslationVisitor, de.uka.ilkd.key.proof.decproc.translation.PreTranslationVisitor,
| TranslationVisitor | | abstract public class TranslationVisitor extends Visitor (Code) | | This class representing a visitor intended to be used for the translation of KeY Terms.
The translate a Term, a TranslationVisitor instance will be passed to either
the execPostOrder or the execPreOrder method of the given Term.
These methods then call the visit method of the passed TranslationVisitor
recursively, with the appropriate subterms of the given Term as arguments
author:
akuwertz
version:
1.0, 12/10/2006 |
| NoReuseStateException | | final protected static String NoReuseStateException(Code) | | |
| logger | | final protected static Logger logger(Code) | | A Logger for logging and debugging the translation process
|
| loggingSubclass | | protected String loggingSubclass(Code) | | A short String identifying the implementing TranslationVisitor subclass
which has produced the current log statement
|
| translationNotFinishedException | | final protected static String translationNotFinishedException(Code) | | |
| translationRules | | protected IOperatorTranslation[] translationRules(Code) | | The array of translation rules represented by exactly one instance of an
IOperatorTranslation subclass per rule.
|
| getInstance | | public static synchronized TranslationVisitor getInstance()(Code) | | A factory method for returning an instance of a TranslationVisitor implementing
subclass. It therefore must be implemented in that subclass.
This method intends the reuse of already created subclass instances. Subclasses overriding
this method should therefore use the Singleton pattern, enabling time and memory savings.
To reuse TranslationVisitor instances, they have to be in a well-defined, resuable
state. To ensure this state, the isReusable should be called by an overriding
implementation.
To reset an instance to a reusable state, the reset method should be used
a TranslationVisitor instance
See Also: TranslationVisitor.isReusable()
See Also: TranslationVisitor.reset() |
| getResult | | abstract protected Object getResult()(Code) | | This methods provides a hook for implementing subclasses to forward their translation
results.
It is intended to be called exclusively by the getTranslationResult method
After calling this method on a TranslationVisitor subclass instance, the instance
has to be in the reusable state
the translation result provided by an implementing subclass
See Also: TranslationVisitor.getTranslationResult() |
| getTranslationResult | | final public Object getTranslationResult()(Code) | | Returns the result of the translation process and resets this TranslationVisitor
for reuse.
The result is actually fetched by calling the getResult method of the implementing
subclass.
After calling this method, this TranslationVisitor instance is in reusable state.
the Object resulting from current Term translation
throws:
IllegalStateException - if this method is called during an unfinished translationprocess or before any translation was initiated
See Also: TranslationVisitor.getResult()
See Also: |
| isReusable | | protected boolean isReusable()(Code) | | Returns true if this TranslationVisitor is ready for the next translation process
true if this TranslationVisitor is ready to be reused; otherwise false |
| logThis | | final protected String logThis(String toLog)(Code) | | Take a String which should be logged and adds a subclass identifying tag to it
Parameters:
toLog - the String to be logged the given String extended by a subclass tag |
| reset | | public void reset()(Code) | | Resets this TranslationVisitor for reuse.
After execution of this method, the state of this TranslationVisistor is equal
to that of a newly created TranslationVisitor
|
| setTranslationRules | | final protected void setTranslationRules(ListOfIOperatorTranslation rules)(Code) | | Sets the translation rules by converting rules to an
IOperatorTranslation array
Parameters:
rules - the rules to be set |
|
|
|