ptolemy.verification.kernel.maude
Class RTMFragment

java.lang.Object
  ptolemy.verification.kernel.maude.RTMTerm
      ptolemy.verification.kernel.maude.RTMFragment

Direct Known Subclasses:

RTMPtExp

public class RTMFragment
extends RTMTerm

A Real-Time Maude fragment.

Since:

Ptolemy II 8.0

Version:

$Id: RTMFragment.java 57044 2010-01-27 22:41:05Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

protected java.lang.String

frag

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

indentWidth

Constructor Summary

RTMFragment(java.lang.String fragment)

Method Summary

java.lang.String

print(int indent, boolean newline)

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

Field Detail

frag

protected java.lang.String frag

Constructor Detail

RTMFragment

public RTMFragment(java.lang.String fragment)

Method Detail

print

public java.lang.String print(int indent,
                              boolean newline)

Specified by:

print in class RTMTerm