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 70398 2014-10-22 23:44:32Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

Fields

Modifier and Type	Field and Description
protected java.lang.String	frag

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

indentWidth

Constructor Summary

Constructors

Constructor and Description
RTMFragment(java.lang.String fragment)

Method Summary

Modifier and Type	Method and Description
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