Package | Description |
---|---|
de.uka.ilkd.key.logic.label | |
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.util |
Modifier and Type | Method and Description |
---|---|
SymbolicExecutionTermLabel |
SymbolicExecutionTermLabelFactory.parseInstance(java.util.List<java.lang.String> parameters,
TermServices services)
Parses the arguments and produces a term label.
|
Modifier and Type | Method and Description |
---|---|
protected java.util.Map<Node,java.util.Map<SymbolicExecutionTreeBuilder.JavaPair,ImmutableList<IExecutionNode<?>>>> |
SymbolicExecutionTreeBuilder.getAfterBlockMaps(SymbolicExecutionTermLabel label)
Returns the after block map.
|
protected java.util.Map<Node,ImmutableList<Node>> |
SymbolicExecutionTreeBuilder.getMethodCallStack(SymbolicExecutionTermLabel label)
Returns the method call stack.
|
protected java.util.Set<Node> |
SymbolicExecutionTreeBuilder.getMethodReturnsToIgnore(SymbolicExecutionTermLabel label)
Returns the method
Node s of method calls for
which its return should be ignored. |
Modifier and Type | Method and Description |
---|---|
static SymbolicExecutionTermLabel |
SymbolicExecutionUtil.getSymbolicExecutionLabel(RuleApp ruleApp)
Returns the contained
SymbolicExecutionTermLabel if available. |
static SymbolicExecutionTermLabel |
SymbolicExecutionUtil.getSymbolicExecutionLabel(Term term)
Returns the contained
SymbolicExecutionTermLabel if available. |
Copyright © 2003-2019 The KeY-Project.