checkers.fenum
Class FenumAnnotatedTypeFactory

java.lang.Object
  checkers.types.AnnotatedTypeFactory
      checkers.types.BasicAnnotatedTypeFactory<FenumChecker>
          checkers.fenum.FenumAnnotatedTypeFactory

public class FenumAnnotatedTypeFactory
extends BasicAnnotatedTypeFactory<FenumChecker>

Nested Class Summary

Modifier and Type	Class and Description

Nested classes/interfaces inherited from class checkers.types.AnnotatedTypeFactory

AnnotatedTypeFactory.InheritedFromClassAnnotator

Field Summary

Modifier and Type	Field and Description

Fields inherited from class checkers.types.BasicAnnotatedTypeFactory

defaults, flow, FLOW_BY_DEFAULT, poly, treeAnnotator, typeAnnotator, useFlow

Fields inherited from class checkers.types.AnnotatedTypeFactory

annotations, atypes, elements, env, fromTreeCache, qualHierarchy, root, trees, types, uid, visitorState

Constructor and Description

FenumAnnotatedTypeFactory(FenumChecker checker, CompilationUnitTree root)

Method Summary

Modifier and Type	Method and Description
protected void	annotateImplicit(Tree tree, AnnotatedTypeMirror type) Adds implicit annotations to a type obtained from a Tree.
protected TreeAnnotator	createTreeAnnotator(FenumChecker checker) Returns a TreeAnnotator that adds annotations to a type based on the contents of a tree.

Methods inherited from class checkers.types.BasicAnnotatedTypeFactory

annotateImplicit, createFlow, createFlowQualifiers, createTypeAnnotator, methodFromUse, postDirectSuperTypes

Methods inherited from class checkers.types.AnnotatedTypeFactory

addAliasedAnnotation, aliasedAnnotation, annotateInheritedFromClass, canHaveAnnotatedTypeParameters, constructorFromUse, createLRUCache, declarationFromElement, fromClass, fromElement, fromElement, fromElement, fromExpression, fromMember, fromNewClass, fromTypeTree, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFromTypeTree, getBoxedType, getCurrentClassType, getCurrentMethodReceiver, getEnclosingType, getImplicitReceiverType, getPath, getQualifierHierarchy, getReceiver, getSelfType, getUnboxedType, getVisitorState, isMostEnclosingThisDeref, isWithinConstructor, postAsMemberOf, postInit, toAnnotatedType, toString, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

FenumAnnotatedTypeFactory

public FenumAnnotatedTypeFactory(FenumChecker checker,
                                 CompilationUnitTree root)

Method Detail

annotateImplicit

protected void annotateImplicit(Tree tree,
                                AnnotatedTypeMirror type)

Description copied from class: AnnotatedTypeFactory

Adds implicit annotations to a type obtained from a Tree. By default, this method does nothing. Subclasses should use this method to implement implicit annotations specific to their type systems.

Overrides:

annotateImplicit in class BasicAnnotatedTypeFactory<FenumChecker>

Parameters:

tree - an AST node

type - the type obtained from tree

createTreeAnnotator

protected TreeAnnotator createTreeAnnotator(FenumChecker checker)

Description copied from class: BasicAnnotatedTypeFactory

Returns a TreeAnnotator that adds annotations to a type based on the contents of a tree. Subclasses may override this method to specify more appriopriate TreeAnnotator

Overrides:

createTreeAnnotator in class BasicAnnotatedTypeFactory<FenumChecker>

Returns:

a tree annotator