Package | Description |
---|---|
de.uka.ilkd.key.symbolic_execution.util |
Modifier and Type | Method and Description |
---|---|
static SymbolicExecutionUtil.ContractPostOrExcPostExceptionVariableResult |
SymbolicExecutionUtil.searchContractPostOrExcPostExceptionVariable(Node node,
Services services)
Searches the used exception variable in the post or exceptional post branch of an applied
ContractRuleApp on the parent of the given Node . |
Copyright © 2003-2019 The KeY-Project.