Class ExecutionPath


  • public class ExecutionPath
    extends java.lang.Object
    Represents all possible outcomes of an expressions with its branching.
    • Method Detail

      • addBranch

        @Nullable
        public ExecutionPath addBranch​(Expr pred,
                                       boolean expectedValue)
      • debug

        public void debug​(java.lang.StringBuilder builder,
                          int offset)
      • getExpr

        @Nullable
        public Expr getExpr()
      • getChildren

        @NotNull
        public java.util.List<ExecutionPath> getChildren()
      • isAlreadyEvaluated

        public boolean isAlreadyEvaluated()
      • getKnownValues

        public java.util.Map<Expr,​java.lang.Boolean> getKnownValues()