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

Author:

Thomas Huining Feng

Accepted Rating:

Red (tfeng)

Proposed Rating:

Red (tfeng)

Field Summary

private java.lang.String	empty
private java.util.LinkedList<RTMTerm>	items
private java.lang.String	saperator

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

indentWidth

Constructor Summary

RTMList(java.lang.String saperator, java.lang.String emptyrepr)

Method Summary

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

Field Detail

saperator

private java.lang.String saperator

empty

private java.lang.String empty

items

private java.util.LinkedList<RTMTerm> items

Constructor Detail

RTMList

public RTMList(java.lang.String saperator,
               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