public class InvariantReturnCheck extends SeCheck
| Constructor and Description |
|---|
InvariantReturnCheck() |
| Modifier and Type | Method and Description |
|---|---|
void |
afterBlockElement(ProgramState currentState,
Tree element) |
void |
endOfExecution(Scope functionScope) |
void |
startOfExecution(Scope functionScope) |
addIssue, addIssue, addLineIssue, beforeBlockElement, checkConditions, cleanupAndStartFileAnalysis, endOfFile, getContext, scanFile, setContext, startOfFile, toStringpublic void startOfExecution(Scope functionScope)
startOfExecution in class SeCheckpublic void afterBlockElement(ProgramState currentState, Tree element)
afterBlockElement in class SeCheckpublic void endOfExecution(Scope functionScope)
endOfExecution in class SeCheckCopyright © 2011–2018 SonarSource and Eriks Nukis. All rights reserved.