org.checkerframework.checker.regex

Class RegexQualifiedTransfer

java.lang.Object

org.checkerframework.qualframework.base.dataflow.QualTransfer<QualParams<Regex>>

org.checkerframework.checker.regex.RegexQualifiedTransfer

All Implemented Interfaces:

TransferFunction<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>, NodeVisitor<TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>,TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>>

public class RegexQualifiedTransfer
extends QualTransfer<QualParams<Regex>>

A reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.

Field Summary

Fields inherited from class org.checkerframework.qualframework.base.dataflow.QualTransfer

adapter, analysis

Constructor Summary

Constructors

Constructor and Description
RegexQualifiedTransfer(QualAnalysis<QualParams<Regex>> analysis)

Method Summary

Modifier and Type	Method and Description
TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>	visitGreaterThan(GreaterThanNode n, TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in) Look for: matcher.groupCount() > constant and, if found, annotate matcher as @Regex(constant + 1)
TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>	visitGreaterThanOrEqual(GreaterThanOrEqualNode n, TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in) Look for: matcher.groupCount() >= constant and, if found, annotate matcher as @Regex(constant)
TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>	visitLessThan(LessThanNode n, TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in) Look for: constant < matcher.groupCount() and, if found, annotate matcher as @Regex(constant + 1)
TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>	visitLessThanOrEqual(LessThanOrEqualNode n, TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in) Look for: constant <= matcher.groupCount() and, if found, annotate matcher as @Regex(constant)
TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>	visitMethodInvocation(MethodInvocationNode n, TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in) Handle invocations of RegexUtil methods.

Methods inherited from class org.checkerframework.qualframework.base.dataflow.QualTransfer

initialStore, setAdapter, visitArrayAccess, visitArrayCreation, visitArrayType, visitAssertionError, visitAssignment, visitBitwiseAnd, visitBitwiseComplement, visitBitwiseOr, visitBitwiseXor, visitBooleanLiteral, visitCase, visitCharacterLiteral, visitClassName, visitConditionalAnd, visitConditionalNot, visitConditionalOr, visitDoubleLiteral, visitEqualTo, visitExplicitThisLiteral, visitFieldAccess, visitFloatingDivision, visitFloatingRemainder, visitFloatLiteral, visitImplicitThisLiteral, visitInstanceOf, visitIntegerDivision, visitIntegerLiteral, visitIntegerRemainder, visitLeftShift, visitLocalVariable, visitLongLiteral, visitMarker, visitMemberReference, visitMethodAccess, visitNarrowingConversion, visitNotEqual, visitNullChk, visitNullLiteral, visitNumericalAddition, visitNumericalMinus, visitNumericalMultiplication, visitNumericalPlus, visitNumericalSubtraction, visitObjectCreation, visitPackageName, visitParameterizedType, visitPrimitiveType, visitReturn, visitShortLiteral, visitSignedRightShift, visitStringConcatenate, visitStringConcatenateAssignment, visitStringConversion, visitStringLiteral, visitSuper, visitSynchronized, visitTernaryExpression, visitThrow, visitTypeCast, visitUnsignedRightShift, visitVariableDeclaration, visitWideningConversion

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RegexQualifiedTransfer

public RegexQualifiedTransfer(QualAnalysis<QualParams<Regex>> analysis)

Method Detail

visitMethodInvocation

public TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> visitMethodInvocation(MethodInvocationNode n,
                                                                                                       TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in)

Handle invocations of RegexUtil methods.

Specified by:

visitMethodInvocation in interface NodeVisitor<TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>,TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>>

Overrides:

visitMethodInvocation in class QualTransfer<QualParams<Regex>>

visitLessThan

public TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> visitLessThan(LessThanNode n,
                                                                                               TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in)

Look for: constant < matcher.groupCount() and, if found, annotate matcher as @Regex(constant + 1)

Specified by:

visitLessThan in interface NodeVisitor<TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>,TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>>

Overrides:

visitLessThan in class QualTransfer<QualParams<Regex>>

visitLessThanOrEqual

public TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> visitLessThanOrEqual(LessThanOrEqualNode n,
                                                                                                      TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in)

Look for: constant <= matcher.groupCount() and, if found, annotate matcher as @Regex(constant)

Specified by:

visitLessThanOrEqual in interface NodeVisitor<TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>,TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>>

Overrides:

visitLessThanOrEqual in class QualTransfer<QualParams<Regex>>

visitGreaterThan

public TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> visitGreaterThan(GreaterThanNode n,
                                                                                                  TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in)

Look for: matcher.groupCount() > constant and, if found, annotate matcher as @Regex(constant + 1)

Specified by:

visitGreaterThan in interface NodeVisitor<TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>,TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>>

Overrides:

visitGreaterThan in class QualTransfer<QualParams<Regex>>

visitGreaterThanOrEqual

public TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> visitGreaterThanOrEqual(GreaterThanOrEqualNode n,
                                                                                                         TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>> in)

Look for: matcher.groupCount() >= constant and, if found, annotate matcher as @Regex(constant)

Specified by:

visitGreaterThanOrEqual in interface NodeVisitor<TransferResult<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>,TransferInput<QualValue<QualParams<Regex>>,QualStore<QualParams<Regex>>>>

Overrides:

visitGreaterThanOrEqual in class QualTransfer<QualParams<Regex>>