Class PathAnalysis.PathConditionWalkAction

  • Enclosing class:
    PathAnalysis

    public abstract static class PathAnalysis.PathConditionWalkAction
    extends java.lang.Object
    An abstract class to construct and process path conditions of the given condition graph.
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      protected abstract void accept​(java.util.List<Operand> positive, java.util.List<Operand> negative)
      Process a single path condition represented by boolean assignment.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PathConditionWalkAction

        public PathConditionWalkAction()
    • Method Detail

      • accept

        protected abstract void accept​(java.util.List<Operand> positive,
                                       java.util.List<Operand> negative)
        Process a single path condition represented by boolean assignment.
        Parameters:
        positive - Guard conditions set to true
        negative - Guard conditions set to false