ptolemy.verification.kernel.maude

Class RTMPtExp

java.lang.Object

ptolemy.verification.kernel.maude.RTMTerm

ptolemy.verification.kernel.maude.RTMFragment

ptolemy.verification.kernel.maude.RTMPtExp

public class RTMPtExp
extends RTMFragment

A Real-Time Maude ptolemy term.

Since:

Ptolemy II 8.0

Version:

$Id: RTMPtExp.java 70398 2014-10-22 23:44:32Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

Fields inherited from class ptolemy.verification.kernel.maude.RTMFragment

frag

Fields inherited from class ptolemy.verification.kernel.maude.RTMTerm

indentWidth

Constructor Summary

Constructors

Constructor and Description
RTMPtExp(ASTPtRootNode root)
RTMPtExp(ASTPtRootNode root, boolean isTime)
RTMPtExp(java.lang.String exp)
RTMPtExp(java.lang.String exp, boolean isTime)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getValue()

Methods inherited from class ptolemy.verification.kernel.maude.RTMFragment

print

Methods inherited from class ptolemy.verification.kernel.maude.RTMTerm

front, transId

Methods inherited from class java.lang.Object

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

Constructor Detail

RTMPtExp

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

Throws:

IllegalActionException

RTMPtExp

public RTMPtExp(ASTPtRootNode root)
         throws IllegalActionException

Throws:

IllegalActionException

RTMPtExp

public RTMPtExp(ASTPtRootNode root,
                boolean isTime)
         throws IllegalActionException

Throws:

IllegalActionException

RTMPtExp

public RTMPtExp(java.lang.String exp,
                boolean isTime)
         throws IllegalActionException

Throws:

IllegalActionException

Method Detail

getValue

public java.lang.String getValue()
                          throws IllegalActionException

Throws:

IllegalActionException