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, postDirectSuperTypescomputeQualifiedTypeParameterBounds, constructorFromUse, createQualifiedTypes, createTypeHierarchy, getContext, getDeclAnnotations, getDecoratedElement, getPath, getQualifiedType, getQualifiedType, getQualifiedTypeFromTypeTree, getQualifiedTypeParameterBounds, getQualifiedTypes, getQualifierHierarchy, getReceiverType, getTypeHierarchy, methodFromUsepublic RegexQualifiedTypeFactory(QualifierContext<QualParams<Regex>> checker)
protected QualifierHierarchy<Regex> createGroundQualifierHierarchy()
QualifierParameterTypeFactoryQualifierHierarchy for ground qualifiers (represented
by instances of Q).createGroundQualifierHierarchy in class QualifierParameterTypeFactory<Regex>protected RegexAnnotationConverter createAnnotationConverter()
DefaultQualifiedTypeFactoryAnnotationConverter 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()
DefaultQualifiedTypeFactoryTreeAnnotator 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)
QualifiedTypeFactoryAnalysis 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)