checkers.oigj
Class OwnershipAnnotatedTypeFactory

java.lang.Object
  checkers.types.AnnotatedTypeFactory
      checkers.types.BasicAnnotatedTypeFactory<OwnershipSubchecker>
          checkers.oigj.OwnershipAnnotatedTypeFactory

public class OwnershipAnnotatedTypeFactory
extends BasicAnnotatedTypeFactory<OwnershipSubchecker>

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, visitorState

Constructor and Description

OwnershipAnnotatedTypeFactory(OwnershipSubchecker checker, CompilationUnitTree root)

Method Summary

Modifier and Type	Method and Description
protected TypeAnnotator	createTypeAnnotator(OwnershipSubchecker checker) Returns a TypeAnnotator that adds annotations to a type based on the content of the type itself.

Methods inherited from class checkers.types.BasicAnnotatedTypeFactory

annotateImplicit, annotateImplicit, createFlow, createFlowQualifiers, createTreeAnnotator, methodFromUse, postDirectSuperTypes

Methods inherited from class checkers.types.AnnotatedTypeFactory

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, unify

Methods inherited from class java.lang.Object

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

Constructor Detail

OwnershipAnnotatedTypeFactory

public OwnershipAnnotatedTypeFactory(OwnershipSubchecker checker,
                                     CompilationUnitTree root)

Method Detail

createTypeAnnotator

protected TypeAnnotator createTypeAnnotator(OwnershipSubchecker checker)

Description copied from class: BasicAnnotatedTypeFactory

Returns a TypeAnnotator that adds annotations to a type based on the content of the type itself.

Overrides:

createTypeAnnotator in class BasicAnnotatedTypeFactory<OwnershipSubchecker>

Returns:

a type annotator