public class RegexFlow extends DefaultFlow<DefaultFlowState>
alive, annoRelations, atypes, checker, debug, factory, flowResults, flowState, flowState_whenFalse, flowState_whenTrue, root| Constructor and Description |
|---|
RegexFlow(BaseTypeChecker checker,
@Nullable CompilationUnitTree root,
Set<@Nullable AnnotationMirror> annotations,
AnnotatedTypeFactory factory) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
scanCond(ExpressionTree tree)
Called whenever a conditional expression is scanned.
|
clearOnCall, createFlowState, newVar, propagate, recordBitsImpsaddFlowResult, checkArguments, containsKey, copyState, inferFromAssert, isNonFinalField, recordBits, removeFlowResult, scan, scan, scanDef, scanExpr, scanStat, scanStats, setDebug, test, varDefHasAnnotation, visitAnnotation, visitArrayAccess, visitAssert, visitAssignment, visitBlock, visitBreak, visitClass, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEnhancedForLoop, visitForLoop, visitIdentifier, visitIf, visitImport, visitMemberSelect, visitMethod, visitMethodEndCallback, visitMethodInvocation, visitReturn, visitThrow, visitTry, visitTypeCast, visitVariable, visitWhileLoopgetCurrentPath, scanreduce, scan, visitAnnotatedType, visitArrayType, visitBinary, visitCase, visitCatch, visitCompilationUnit, visitEmptyStatement, visitErroneous, visitExpressionStatement, visitInstanceOf, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitSwitch, visitSynchronized, visitTypeParameter, visitUnary, visitUnionType, visitWildcardpublic RegexFlow(BaseTypeChecker checker, @Nullable CompilationUnitTree root, Set<@Nullable AnnotationMirror> annotations, AnnotatedTypeFactory factory)
protected void scanCond(ExpressionTree tree)
AbstractFlowscanCond in class AbstractFlow<DefaultFlowState>tree - the condition being scanned