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:
- Proposed Rating:
Fields inherited from class ptolemy.verification.kernel.maude.RTMFragment |
frag |
Method Summary |
java.lang.String |
getValue()
|
Methods inherited from class ptolemy.verification.kernel.maude.RTMFragment |
print |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
getValue
public java.lang.String getValue()
throws IllegalActionException
- Throws:
IllegalActionException