public class GuiEffectTypeFactory extends BaseAnnotatedTypeFactory
GenericAnnotatedTypeFactory.ScanState
AnnotatedTypeFactory.InheritedFromClassAnnotator
Modifier and Type | Field and Description |
---|---|
protected boolean |
debugSpew |
analyses, defaults, FLOW_BY_DEFAULT, flowResult, initializationStaticStore, initializationStore, methodInvocationStores, poly, regularExitStores, returnStatementStores, scannedClasses, treeAnnotator, typeAnnotator, useFlow
checker, elements, fromTreeCache, processingEnv, qualHierarchy, root, SHOULD_CACHE, SHOULD_READ_CACHE, shouldCache, shouldReadCache, trees, typeHierarchy, types, uid, visitorState
Constructor and Description |
---|
GuiEffectTypeFactory(BaseTypeChecker checker,
boolean spew) |
Modifier and Type | Method and Description |
---|---|
protected TreeAnnotator |
createTreeAnnotator()
Returns a
TreeAnnotator that adds annotations to a type based
on the contents of a tree. |
Effect.EffectRange |
findInheritedEffectRange(javax.lang.model.element.TypeElement declaringType,
javax.lang.model.element.ExecutableElement overridingMethod) |
Effect.EffectRange |
findInheritedEffectRange(javax.lang.model.element.TypeElement declaringType,
javax.lang.model.element.ExecutableElement overridingMethod,
boolean issueConflictWarning,
com.sun.source.tree.Tree errorNode) |
javax.lang.model.element.ExecutableElement |
findJavaOverride(javax.lang.model.element.ExecutableElement overrider,
javax.lang.model.type.TypeMirror parentType) |
Effect |
getDeclaredEffect(javax.lang.model.element.ExecutableElement methodElt) |
boolean |
isPolymorphicType(javax.lang.model.element.TypeElement cls) |
boolean |
isUIType(javax.lang.model.element.TypeElement cls) |
createFlowAnalysis
analyze, annotateImplicit, annotateImplicit, annotateImplicit, annotateImplicitWithFlow, applyInferredAnnotations, constructorFromUse, createFlowTransferFunction, createQualifierDefaults, createQualifierPolymorphism, createTypeAnnotator, dotOutputFileName, getDefaultedAnnotatedType, getEmptyStore, getFinalLocalValues, getInferredValueFor, getNodeForTree, getRegularExitStore, getReturnStatementStores, getStoreAfter, getStoreBefore, getSupportedMonotonicTypeQualifiers, getUseFlow, methodFromUse, performFlowAnalysis, postDirectSuperTypes, postInit, setRoot, setUseFlow
addAliasedAnnotation, addAliasedDeclAnnotation, aliasedAnnotation, annotateInheritedFromClass, annotateInheritedFromClass, buildIndexTypes, createLRUCache, createQualifierHierarchy, createQualifierHierarchy, createQualifierHierarchy, createQualifierHierarchyFactory, createSupportedTypeQualifiers, createTypeHierarchy, declarationFromElement, fromClass, fromElement, fromElement, fromElement, fromExpression, fromMember, fromNewClass, fromTypeTree, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFromTypeTree, getAnnotationMirror, getAnnotationWithMetaAnnotation, getBoxedType, getCurrentClassTree, getCurrentClassType, getCurrentMethodReceiver, getDeclAnnotation, getDeclAnnotations, getDeclAnnotationWithMetaAnnotation, getElementUtils, getEnclosingMethod, getEnclosingType, getImplicitReceiverType, getMethodReturnType, getMethodReturnType, getPath, getProcessingEnv, getQualifierHierarchy, getReceiverType, getSelfType, getSupportedTypeQualifiers, getTreeUtils, getTypeHierarchy, getUnboxedType, getUninferredWildcardType, getVisitorState, getWildcardBoundedBy, isAnyEnclosingThisDeref, isFromByteCode, isFromStubFile, isMostEnclosingThisDeref, isSupportedQualifier, isWithinConstructor, postAsMemberOf, postProcessClassTree, setPathHack, toAnnotatedType, toString, type, typeVariablesFromUse
public GuiEffectTypeFactory(BaseTypeChecker checker, boolean spew)
public javax.lang.model.element.ExecutableElement findJavaOverride(javax.lang.model.element.ExecutableElement overrider, javax.lang.model.type.TypeMirror parentType)
public boolean isPolymorphicType(javax.lang.model.element.TypeElement cls)
public boolean isUIType(javax.lang.model.element.TypeElement cls)
public Effect getDeclaredEffect(javax.lang.model.element.ExecutableElement methodElt)
public Effect.EffectRange findInheritedEffectRange(javax.lang.model.element.TypeElement declaringType, javax.lang.model.element.ExecutableElement overridingMethod)
public Effect.EffectRange findInheritedEffectRange(javax.lang.model.element.TypeElement declaringType, javax.lang.model.element.ExecutableElement overridingMethod, boolean issueConflictWarning, com.sun.source.tree.Tree errorNode)
protected TreeAnnotator createTreeAnnotator()
GenericAnnotatedTypeFactory
TreeAnnotator
that adds annotations to a type based
on the contents of a tree.
Subclasses may override this method to specify more appriopriate
TreeAnnotator
createTreeAnnotator
in class GenericAnnotatedTypeFactory<CFValue,CFStore,CFTransfer,CFAnalysis>