ptolemy.domains.modal.kernel
Class FSMActor.PortScope

java.lang.Object
  extended by ptolemy.data.expr.ModelScope
      extended by ptolemy.domains.modal.kernel.FSMActor.PortScope
All Implemented Interfaces:
ParserScope
Enclosing class:
FSMActor

public class FSMActor.PortScope
extends ModelScope

This class implements a scope, which is used to evaluate the parsed expressions. This class is currently rather simple, but in the future should allow the values of input ports to be referenced without having shadow variables.


Constructor Summary
FSMActor.PortScope()
           
 
Method Summary
 Token get(java.lang.String name)
          Look up and return the attribute with the specified name in the scope.
 Type getType(java.lang.String name)
          Look up and return the type of the attribute with the specified name in the scope.
 InequalityTerm getTypeTerm(java.lang.String name)
          Look up and return the type term for the specified name in the scope.
 java.util.Set identifierSet()
          Return the list of identifiers within the scope.
 
Methods inherited from class ptolemy.data.expr.ModelScope
getAllScopedObjectNames, getAllScopedVariableNames, getScopedAttribute, getScopedObject, getScopedVariable, preferenceValue
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FSMActor.PortScope

public FSMActor.PortScope()
Method Detail

get

public Token get(java.lang.String name)
          throws IllegalActionException
Look up and return the attribute with the specified name in the scope. Return null if such an attribute does not exist.

Parameters:
name - The name of the variable to be looked up.
Returns:
The attribute with the specified name in the scope.
Throws:
IllegalActionException - If a value in the scope exists with the given name, but cannot be evaluated.

getType

public Type getType(java.lang.String name)
             throws IllegalActionException
Look up and return the type of the attribute with the specified name in the scope. Return null if such an attribute does not exist.

Parameters:
name - The name of the variable to be looked up.
Returns:
The attribute with the specified name in the scope.
Throws:
IllegalActionException - If a value in the scope exists with the given name, but cannot be evaluated.

getTypeTerm

public InequalityTerm getTypeTerm(java.lang.String name)
                           throws IllegalActionException
Look up and return the type term for the specified name in the scope. Return null if the name is not defined in this scope, or is a constant type.

Parameters:
name - The name of the variable to be looked up.
Returns:
The InequalityTerm associated with the given name in the scope.
Throws:
IllegalActionException - If a value in the scope exists with the given name, but cannot be evaluated.

identifierSet

public java.util.Set identifierSet()
                            throws IllegalActionException
Return the list of identifiers within the scope.

Returns:
The list of identifiers within the scope.
Throws:
IllegalActionException - If getting the width of some port fails.