Package ptolemy.verification.kernel.maude

Class RTMObject

java.lang.Object

ptolemy.verification.kernel.maude.RTMTerm

ptolemy.verification.kernel.maude.RTMObject

public class RTMObject
extends RTMTerm

A Real-Time Maude object.

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
RTMObject(java.lang.String name, java.lang.String classname)

Method Summary

Modifier and Type	Method	Description
void	addAttr(java.lang.String name, RTMTerm attr)
void	addExpAttr(java.lang.String name, java.lang.String exp, boolean isTime)
void	addStrAttr(java.lang.String name, java.lang.String attr)
java.lang.String	print(int indent, boolean newline)
void	setClass(java.lang.String classname)

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

RTMObject

public RTMObject(java.lang.String name,
                 java.lang.String classname)

Method Detail

addAttr

public void addAttr(java.lang.String name,
                    RTMTerm attr)

addStrAttr

public void addStrAttr(java.lang.String name,
                       java.lang.String attr)

addExpAttr

public void addExpAttr(java.lang.String name,
                       java.lang.String exp,
                       boolean isTime)
                throws IllegalActionException

Throws:

IllegalActionException

setClass

public void setClass(java.lang.String classname)

print

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

Specified by:

print in class RTMTerm