public class RegexQualifiedTypeFactory extends QualifierParameterTypeFactory<Regex>
Constructor and Description |
---|
RegexQualifiedTypeFactory(QualifierContext<QualParams<Regex>> checker) |
Modifier and Type | Method and Description |
---|---|
protected RegexAnnotationConverter |
createAnnotationConverter()
Constructs an
AnnotationConverter for the current type system. |
QualAnalysis<QualParams<Regex>> |
createFlowAnalysis(List<Pair<VariableElement,QualValue<QualParams<Regex>>>> fieldValues)
Create the
Analysis to configure dataflow. |
protected QualifierHierarchy<Regex> |
createGroundQualifierHierarchy()
Create a
QualifierHierarchy for ground qualifiers (represented
by instances of Q ). |
protected QualifierParameterTreeAnnotator<Regex> |
createTreeAnnotator()
Constructs the
TreeAnnotator to be used by this type factory. |
TypeVariableSubstitutor<QualParams<Regex>> |
createTypeVariableSubstitutor() |
QualParams<Regex> |
getEffectiveQualifier(QualifiedTypeMirror<QualParams<Regex>> mirror) |
static int |
getGroupCount(String regex)
Returns the number of groups in the given regex String.
|
createQualifierHierarchy, createTypeAnnotator, getAnnotationConverter, getGroundQualifierHierarchy, methodFromUse, postAsMemberOf, postDirectSuperTypes
computeQualifiedTypeParameterBounds, constructorFromUse, createQualifiedTypes, createTypeHierarchy, getContext, getDeclAnnotations, getDecoratedElement, getPath, getQualifiedType, getQualifiedType, getQualifiedTypeFromTypeTree, getQualifiedTypeParameterBounds, getQualifiedTypes, getQualifierHierarchy, getReceiverType, getTypeHierarchy, methodFromUse
public RegexQualifiedTypeFactory(QualifierContext<QualParams<Regex>> checker)
protected QualifierHierarchy<Regex> createGroundQualifierHierarchy()
QualifierParameterTypeFactory
QualifierHierarchy
for ground qualifiers (represented
by instances of Q
).createGroundQualifierHierarchy
in class QualifierParameterTypeFactory<Regex>
protected RegexAnnotationConverter createAnnotationConverter()
DefaultQualifiedTypeFactory
AnnotationConverter
for the current type system.
Every checker must override this method to return an appropriate AnnotationConverter
subclass for that checker.createAnnotationConverter
in class QualifierParameterTypeFactory<Regex>
protected QualifierParameterTreeAnnotator<Regex> createTreeAnnotator()
DefaultQualifiedTypeFactory
TreeAnnotator
to be used by this type factory.
Checkers that need custom TreeAnnotator
behavior should
override this method to return an instance of their custom TreeAnnotator
subclass.createTreeAnnotator
in class QualifierParameterTypeFactory<Regex>
public static int getGroupCount(String regex)
public QualAnalysis<QualParams<Regex>> createFlowAnalysis(List<Pair<VariableElement,QualValue<QualParams<Regex>>>> fieldValues)
QualifiedTypeFactory
Analysis
to configure dataflow.createFlowAnalysis
in interface QualifiedTypeFactory<QualParams<Regex>>
createFlowAnalysis
in class DefaultQualifiedTypeFactory<QualParams<Regex>>
fieldValues
- the initial field valuesQualAnalysis
to usepublic TypeVariableSubstitutor<QualParams<Regex>> createTypeVariableSubstitutor()
createTypeVariableSubstitutor
in interface QualifiedTypeFactory<QualParams<Regex>>
createTypeVariableSubstitutor
in class DefaultQualifiedTypeFactory<QualParams<Regex>>
public QualParams<Regex> getEffectiveQualifier(QualifiedTypeMirror<QualParams<Regex>> mirror)