Class ValueEnvironment<T extends NonRelationalValueDomain<T>>

    • Constructor Detail

      • ValueEnvironment

        public ValueEnvironment​(T domain)
        Builds an empty environment.
        Parameters:
        domain - a singleton instance to be used during semantic operations to retrieve top and bottom values
      • ValueEnvironment

        public ValueEnvironment​(T domain,
                                java.util.Map<Identifier,​T> function)
        Builds an environment containing the given mapping. If function is null, the new environment is the top environment if lattice.isTop() holds, and it is the bottom environment if lattice.isBottom() holds.
        Parameters:
        domain - a singleton instance to be used during semantic operations to retrieve top and bottom values
        function - the function representing the mapping contained in the new environment; can be null