Class Variable.VariableScope

  • All Implemented Interfaces:
    ParserScope
    Enclosing class:
    Variable

    protected class Variable.VariableScope
    extends ModelScope
    Scope implementation with local caching.
    • Constructor Summary

      Constructors 
      Constructor Description
      VariableScope()
      Construct a scope consisting of the variables of the container of the the enclosing instance of Variable and its containers and their scope-extending attributes.
      VariableScope​(NamedObj reference)
      Construct a scope consisting of the variables of the specified container its containers and their scope-extending attributes.
    • Constructor Detail

      • VariableScope

        public VariableScope()
        Construct a scope consisting of the variables of the container of the the enclosing instance of Variable and its containers and their scope-extending attributes.
      • VariableScope

        public VariableScope​(NamedObj reference)
        Construct a scope consisting of the variables of the specified container its containers and their scope-extending attributes. If the argument is null, then use the container of the enclosing instance of Variable as the reference for the scope.
        Parameters:
        reference - The reference for the scope.
    • 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 attribute.
        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 attribute.
        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 attribute.
        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.
      • getVariable

        public Variable getVariable​(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. This method acquires read permission on the workspace.
        Parameters:
        name - The name of the attribute.
        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.
      • identifierSet

        public java.util.Set<java.lang.String> identifierSet()
        Return the set of identifiers within the scope.
        Returns:
        The set of variable names within the scope.