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: RTMExpTranslator.java 57046 2010-01-27 23:35:53Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

protected java.io.PrintWriter	_writer
private boolean	isTime

Constructor Summary

RTMExpTranslator(boolean time)

Method Summary

private static int	_GCD(int a, int b)
private void	_printChild(ASTPtRootNode node, int index)
private void	_printChildrenSeparated(ASTPtRootNode node, java.util.List separatorList)
private void	_printChildrenSeparated(ASTPtRootNode node, java.lang.String string)
private static java.lang.String	_toRational(double f)
private static java.lang.String	_transformLeaf(java.lang.String id)
private static java.lang.String	_transformOp(java.lang.String op)
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

isTime

private boolean isTime

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

_printChild

private void _printChild(ASTPtRootNode node,
                         int index)
                  throws IllegalActionException

Throws:

IllegalActionException

_printChildrenSeparated

private void _printChildrenSeparated(ASTPtRootNode node,
                                     java.util.List separatorList)
                              throws IllegalActionException

Throws:

IllegalActionException

_printChildrenSeparated

private void _printChildrenSeparated(ASTPtRootNode node,
                                     java.lang.String string)
                              throws IllegalActionException

Throws:

IllegalActionException

_transformOp

private static java.lang.String _transformOp(java.lang.String op)

_transformLeaf

private static java.lang.String _transformLeaf(java.lang.String id)

_toRational

private static java.lang.String _toRational(double f)

_GCD

private static int _GCD(int a,
                        int b)