public interface ProgramPoint
| Modifier and Type | Method and Description |
|---|---|
static ProgramPoint |
create(Tree element,
SymbolicExecution execution) |
Optional<ProgramState> |
execute(ProgramState state) |
Optional<ProgramState> execute(ProgramState state)
static ProgramPoint create(Tree element, SymbolicExecution execution)
Copyright © 2011–2017 SonarSource and Eriks Nukis. All rights reserved.