Class NamedConstantsScope

  • All Implemented Interfaces:
    ParserScope

    public class NamedConstantsScope
    extends java.lang.Object
    implements ParserScope
    An implementation of ParserScope that contains a map from names to value tokens.
    Since:
    Ptolemy II 2.1
    Version:
    $Id$
    Author:
    Xiaojun Liu
    Pt.AcceptedRating:
    Red (liuxj)
    Pt.ProposedRating:
    Red (liuxj)
    • Constructor Summary

      Constructors 
      Constructor Description
      NamedConstantsScope​(java.util.Map map)
      Construct a new scope that contains the given map from names to value tokens.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Token get​(java.lang.String name)
      Look up and return the value with the specified name in the scope.
      Type getType​(java.lang.String name)
      Look up and return the type of the value 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 set of identifiers defined in this scope.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • NamedConstantsScope

        public NamedConstantsScope​(java.util.Map map)
        Construct a new scope that contains the given map from names to value tokens.
        Parameters:
        map - The map of names to values where the keys are Strings that name a variable and each key is a Token.
    • Method Detail

      • get

        public Token get​(java.lang.String name)
        Look up and return the value with the specified name in the scope. Return null if the name is not defined in this scope.
        Specified by:
        get in interface ParserScope
        Parameters:
        name - The name of the variable to be looked up.
        Returns:
        The token associated with the given name in the scope.
      • getType

        public Type getType​(java.lang.String name)
        Look up and return the type of the value with the specified name in the scope. Return null if the name is not defined in this scope.
        Specified by:
        getType in interface ParserScope
        Parameters:
        name - The name of the variable to be looked up.
        Returns:
        The token associated with the given name in the scope.
      • getTypeTerm

        public InequalityTerm getTypeTerm​(java.lang.String name)
        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.
        Specified by:
        getTypeTerm in interface ParserScope
        Parameters:
        name - The name of the variable to be looked up.
        Returns:
        The InequalityTerm associated with the given name in the scope.
      • identifierSet

        public java.util.Set identifierSet()
        Return the set of identifiers defined in this scope.
        Specified by:
        identifierSet in interface ParserScope
        Returns:
        A set containing the key defined in the map.