ptolemy.verification.kernel.maude

Class RTMTerm

java.lang.Object

ptolemy.verification.kernel.maude.RTMTerm

Direct Known Subclasses:

RTMFragment, RTMList, RTMObject, RTMOpTerm

public abstract class RTMTerm
extends java.lang.Object

A Real-Time Maude term.

Since:

Ptolemy II 8.0

Version:

$Id: RTMTerm.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 int	indentWidth

Constructor Summary

Constructors

Constructor and Description
RTMTerm()

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	front(int indent)
abstract java.lang.String	print(int indent, boolean newline)
static java.lang.String	transId(java.lang.String name)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

indentWidth

protected int indentWidth

Constructor Detail

RTMTerm

public RTMTerm()

Method Detail

transId

public static java.lang.String transId(java.lang.String name)

print

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

front

protected java.lang.String front(int indent)