ptolemy.verification.kernel
Class REDUtility.REDSingleEntityBean

java.lang.Object
  ptolemy.verification.kernel.REDUtility.REDSingleEntityBean

Enclosing class:

REDUtility

private static class REDUtility.REDSingleEntityBean
extends java.lang.Object

Field Summary

private java.util.HashSet<java.lang.String>	_clockSet
private java.lang.StringBuffer	_declaredVariables
private java.lang.StringBuffer	_defineConstants
private java.lang.StringBuffer	_moduleDescription
private REDUtility.REDModuleNameInitialBean	_nameInitialState
private java.util.HashSet<REDUtility.REDModuleNameInitialBean>	_portSet
private java.util.HashSet<java.lang.String>	_variableInitialDescriptionSet

Constructor Summary

private

REDUtility.REDSingleEntityBean()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

_defineConstants

private java.lang.StringBuffer _defineConstants

_declaredVariables

private java.lang.StringBuffer _declaredVariables

_moduleDescription

private java.lang.StringBuffer _moduleDescription

_clockSet

private java.util.HashSet<java.lang.String> _clockSet

_variableInitialDescriptionSet

private java.util.HashSet<java.lang.String> _variableInitialDescriptionSet

_portSet

private java.util.HashSet<REDUtility.REDModuleNameInitialBean> _portSet

_nameInitialState

private REDUtility.REDModuleNameInitialBean _nameInitialState

Constructor Detail

REDUtility.REDSingleEntityBean

private REDUtility.REDSingleEntityBean()