Package ptolemy.verification.kernel.maude

Class RTMList

java.lang.Object

ptolemy.verification.kernel.maude.RTMTerm

ptolemy.verification.kernel.maude.RTMList

public class RTMList
extends RTMTerm

A list of Real-Time Maude terms.

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.RTMTerm

indentWidth

Constructor Summary

Constructors

Constructor	Description
RTMList(java.lang.String separator, java.lang.String emptyrepr)

Method Summary

Modifier and Type	Method	Description
void	add(RTMTerm t)
void	addExp(java.lang.String e, boolean isTime)
void	addStr(java.lang.String s)
boolean	isEmpty()
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

Constructor Detail

RTMList

public RTMList(java.lang.String separator,
               java.lang.String emptyrepr)

Method Detail

add

public void add(RTMTerm t)

addStr

public void addStr(java.lang.String s)

addExp

public void addExp(java.lang.String e,
                   boolean isTime)
            throws IllegalActionException

Throws:

IllegalActionException

isEmpty

public boolean isEmpty()

print

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

Specified by:

print in class RTMTerm