Class FixpointResults<A extends AbstractState<A>>

    • Constructor Detail

      • FixpointResults

        public FixpointResults​(CFGResults<A> lattice)
        Builds a new result.
        Parameters:
        lattice - a singleton instance used for retrieving top and bottom values
    • Method Detail

      • contains

        public boolean contains​(CFG cfg)
        Yields true if a result exists for the given cfg.
        Parameters:
        cfg - the CFG whose result is to be checked
        Returns:
        true if that condition holds
      • top

        public FixpointResults<A> top()
        Description copied from interface: Lattice
        Yields the top element of this lattice. The returned element should be unique across different calls to this method, since Lattice.isTop() uses reference equality by default. If the value returned by this method is not a singleton, override Lattice.isTop() accordingly to provide a coherent test.
        Returns:
        the top element
      • bottom

        public FixpointResults<A> bottom()
        Description copied from interface: Lattice
        Yields the bottom element of this lattice. The returned element should be unique across different calls to this method, since Lattice.isBottom() uses reference equality by default. If the value returned by this method is not a singleton, override Lattice.isBottom() accordingly to provide a coherent test.
        Returns:
        the bottom element
      • forget

        public void forget​(CFG cfg)
        Forgets all results about the given CFG.
        Parameters:
        cfg - the cfg to forget