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$

Author:

Thomas Huining Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

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	Description
`RTMPtExp(java.lang.String exp)`
`RTMPtExp(java.lang.String exp, boolean isTime)`
`RTMPtExp(ASTPtRootNode root)`
`RTMPtExp(ASTPtRootNode root, boolean isTime)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type Method 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