Package ptolemy.verification.kernel.maude

Class RTMExpTranslator

java.lang.Object

ptolemy.data.expr.AbstractParseTreeVisitor

ptolemy.verification.kernel.maude.RTMExpTranslator

All Implemented Interfaces:

ParseTreeVisitor

public class RTMExpTranslator
extends AbstractParseTreeVisitor

A Real-Time Maude Expression Translator.

Since:

Ptolemy II 8.0

Version:

$Id$

Author:

Thomas Huining Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

Field Summary

Fields

Modifier and Type	Field	Description
protected java.io.PrintWriter	_writer

Constructor Summary

Constructors

Constructor	Description
RTMExpTranslator(boolean time)

Method Summary

Modifier and Type	Method	Description
java.lang.String	translateExpression(java.lang.String exp)
java.lang.String	translateParseTree(ASTPtRootNode root)
void	visitArrayConstructNode(ASTPtArrayConstructNode node)
void	visitBitwiseNode(ASTPtBitwiseNode node)
void	visitFunctionalIfNode(ASTPtFunctionalIfNode node)
void	visitFunctionApplicationNode(ASTPtFunctionApplicationNode node)
void	visitFunctionDefinitionNode(ASTPtFunctionDefinitionNode node)
void	visitLeafNode(ASTPtLeafNode node)
void	visitLogicalNode(ASTPtLogicalNode node)
void	visitMatrixConstructNode(ASTPtMatrixConstructNode node)
void	visitMethodCallNode(ASTPtMethodCallNode node)
void	visitPowerNode(ASTPtPowerNode node)
void	visitProductNode(ASTPtProductNode node)
void	visitRecordConstructNode(ASTPtRecordConstructNode node)
void	visitRelationalNode(ASTPtRelationalNode node)
void	visitShiftNode(ASTPtShiftNode node)
void	visitSumNode(ASTPtSumNode node)
void	visitUnaryNode(ASTPtUnaryNode node)

Methods inherited from class ptolemy.data.expr.AbstractParseTreeVisitor

_unsupportedVisitException, _visitAllChildren, _visitChild, visitAssignmentNode, visitUnionConstructNode

Methods inherited from class java.lang.Object

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

Field Detail

_writer

protected java.io.PrintWriter _writer

Constructor Detail

RTMExpTranslator

public RTMExpTranslator(boolean time)

Method Detail

translateExpression

public java.lang.String translateExpression(java.lang.String exp)
                                     throws IllegalActionException

Throws:

IllegalActionException

translateParseTree

public java.lang.String translateParseTree(ASTPtRootNode root)
                                    throws IllegalActionException

Throws:

IllegalActionException

visitLeafNode

public void visitLeafNode(ASTPtLeafNode node)
                   throws IllegalActionException

Specified by:

visitLeafNode in interface ParseTreeVisitor

Overrides:

visitLeafNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitArrayConstructNode

public void visitArrayConstructNode(ASTPtArrayConstructNode node)
                             throws IllegalActionException

Specified by:

visitArrayConstructNode in interface ParseTreeVisitor

Overrides:

visitArrayConstructNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitLogicalNode

public void visitLogicalNode(ASTPtLogicalNode node)
                      throws IllegalActionException

Specified by:

visitLogicalNode in interface ParseTreeVisitor

Overrides:

visitLogicalNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitBitwiseNode

public void visitBitwiseNode(ASTPtBitwiseNode node)
                      throws IllegalActionException

Specified by:

visitBitwiseNode in interface ParseTreeVisitor

Overrides:

visitBitwiseNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitPowerNode

public void visitPowerNode(ASTPtPowerNode node)
                    throws IllegalActionException

Specified by:

visitPowerNode in interface ParseTreeVisitor

Overrides:

visitPowerNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitProductNode

public void visitProductNode(ASTPtProductNode node)
                      throws IllegalActionException

Specified by:

visitProductNode in interface ParseTreeVisitor

Overrides:

visitProductNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitRelationalNode

public void visitRelationalNode(ASTPtRelationalNode node)
                         throws IllegalActionException

Specified by:

visitRelationalNode in interface ParseTreeVisitor

Overrides:

visitRelationalNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitShiftNode

public void visitShiftNode(ASTPtShiftNode node)
                    throws IllegalActionException

Specified by:

visitShiftNode in interface ParseTreeVisitor

Overrides:

visitShiftNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitSumNode

public void visitSumNode(ASTPtSumNode node)
                  throws IllegalActionException

Specified by:

visitSumNode in interface ParseTreeVisitor

Overrides:

visitSumNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitUnaryNode

public void visitUnaryNode(ASTPtUnaryNode node)
                    throws IllegalActionException

Specified by:

visitUnaryNode in interface ParseTreeVisitor

Overrides:

visitUnaryNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitFunctionalIfNode

public void visitFunctionalIfNode(ASTPtFunctionalIfNode node)
                           throws IllegalActionException

Specified by:

visitFunctionalIfNode in interface ParseTreeVisitor

Overrides:

visitFunctionalIfNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitFunctionApplicationNode

public void visitFunctionApplicationNode(ASTPtFunctionApplicationNode node)
                                  throws IllegalActionException

Specified by:

visitFunctionApplicationNode in interface ParseTreeVisitor

Overrides:

visitFunctionApplicationNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitFunctionDefinitionNode

public void visitFunctionDefinitionNode(ASTPtFunctionDefinitionNode node)
                                 throws IllegalActionException

Specified by:

visitFunctionDefinitionNode in interface ParseTreeVisitor

Overrides:

visitFunctionDefinitionNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitMatrixConstructNode

public void visitMatrixConstructNode(ASTPtMatrixConstructNode node)
                              throws IllegalActionException

Specified by:

visitMatrixConstructNode in interface ParseTreeVisitor

Overrides:

visitMatrixConstructNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitMethodCallNode

public void visitMethodCallNode(ASTPtMethodCallNode node)
                         throws IllegalActionException

Specified by:

visitMethodCallNode in interface ParseTreeVisitor

Overrides:

visitMethodCallNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException

visitRecordConstructNode

public void visitRecordConstructNode(ASTPtRecordConstructNode node)
                              throws IllegalActionException

Specified by:

visitRecordConstructNode in interface ParseTreeVisitor

Overrides:

visitRecordConstructNode in class AbstractParseTreeVisitor

Throws:

IllegalActionException