public class ExecutionPath
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
ExecutionPath |
addBranch(Expr pred,
boolean expectedValue) |
ExecutionPath |
addPath(Expr expr) |
static ExecutionPath |
createRoot() |
void |
debug(java.lang.StringBuilder builder,
int offset) |
java.util.List<ExecutionPath> |
getChildren() |
Expr |
getExpr() |
ExecutionBranch |
getFalseBranch() |
java.util.Map<Expr,java.lang.Boolean> |
getKnownValues() |
ExecutionBranch |
getTrueBranch() |
boolean |
isAlreadyEvaluated() |
public static ExecutionPath createRoot()
@Nullable public ExecutionPath addBranch(Expr pred, boolean expectedValue)
@NotNull public ExecutionPath addPath(@Nullable Expr expr)
public void debug(java.lang.StringBuilder builder, int offset)
@Nullable public Expr getExpr()
@NotNull public java.util.List<ExecutionPath> getChildren()
@Nullable public ExecutionBranch getTrueBranch()
@Nullable public ExecutionBranch getFalseBranch()
public boolean isAlreadyEvaluated()
public java.util.Map<Expr,java.lang.Boolean> getKnownValues()