Class Everywhere

  • All Implemented Interfaces:
    Context

    public class Everywhere
    extends Object
    implements Context
    An object that represent the context everywhere; used for context-insensitive analysis
    • Field Detail

      • EVERYWHERE

        public static final Everywhere EVERYWHERE
    • Method Detail

      • get

        public ContextItem get​(ContextKey name)
        This context gives no information.
        Specified by:
        get in interface Context
        Returns:
        the objects corresponding to a given name
      • hashCode

        public int hashCode()
        Don't use default hashCode (java.lang.Object) as it's nondeterministic.
        Overrides:
        hashCode in class Object