Class ScopeToken

    • Constructor Summary

      Constructors 
      Constructor Description
      ScopeToken​(CodeElement scoper)
      Builds a new scope, referring to the given code element.
    • Constructor Detail

      • ScopeToken

        public ScopeToken​(CodeElement scoper)
        Builds a new scope, referring to the given code element.
        Parameters:
        scoper - the code element
    • Method Detail

      • getScoper

        public CodeElement getScoper()
        Yields the element that this scope refers to.
        Returns:
        the code element
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object