Interface AvailableExpressions

  • All Known Implementing Classes:
    FastAvailableExpressions, SlowAvailableExpressions

    public interface AvailableExpressions
    Provides an user-interface for the AvailableExpressionsAnalysis class. Returns, for each statement, the list of expressions available before and after it.
    • Method Detail

      • getAvailablePairsBefore

        List<UnitValueBoxPair> getAvailablePairsBefore​(Unit u)
        Returns a List containing the UnitValueBox pairs corresponding to expressions available before u.
      • getAvailablePairsAfter

        List<UnitValueBoxPair> getAvailablePairsAfter​(Unit u)
        Returns a List containing the UnitValueBox pairs corresponding to expressions available after u.
      • getAvailableEquivsBefore

        Chain<EquivalentValue> getAvailableEquivsBefore​(Unit u)
        Returns a Chain containing the EquivalentValue objects corresponding to expressions available before u.
      • getAvailableEquivsAfter

        Chain<EquivalentValue> getAvailableEquivsAfter​(Unit u)
        Returns a Chain containing the EquivalentValue objects corresponding to expressions available after u.