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 57044 2010-01-27 22:41:05Z 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

RTMPtExp(ASTPtRootNode root)

RTMPtExp(ASTPtRootNode root, boolean isTime)

RTMPtExp(java.lang.String exp)

RTMPtExp(java.lang.String exp, boolean isTime)

Method Summary

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