public class UnaryNumericProgramPoint extends Object implements ProgramPoint
| Constructor and Description |
|---|
UnaryNumericProgramPoint(Tree element,
SymbolicExecution execution) |
| Modifier and Type | Method and Description |
|---|---|
Optional<ProgramState> |
execute(ProgramState state) |
static boolean |
originatesFrom(Tree element) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitcreatepublic UnaryNumericProgramPoint(Tree element, SymbolicExecution execution)
public Optional<ProgramState> execute(ProgramState state)
execute in interface ProgramPointpublic static boolean originatesFrom(Tree element)
Copyright © 2011–2017 SonarSource and Eriks Nukis. All rights reserved.