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: RTMObject.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.util.HashMap<java.lang.String,RTMTerm>	attribute
private java.lang.String	name
private java.lang.String	objClass

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

indentWidth

Constructor Summary

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

Method Summary

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

Field Detail

name

private java.lang.String name

objClass

private java.lang.String objClass

attribute

private java.util.HashMap<java.lang.String,RTMTerm> attribute

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