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 57044 2010-01-27 22:41:05Z cxh $

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

protected int

indentWidth

Constructor Summary

RTMTerm()

Method Summary

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)