checkers.util
Class GraphQualifierHierarchy.Factory

java.lang.Object
  checkers.util.GraphQualifierHierarchy.Factory

Enclosing class:

GraphQualifierHierarchy

public static class GraphQualifierHierarchy.Factory
extends Object

Factory used to create an instance of GraphQualifierHierarchy. A factory can be used to create at most one GraphQualifierHierarchy. To create a hierarchy, a client may do so in three steps: 1. add qualifiers using addQualifier(AnnotationMirror); 2. add subtype relations using addSubtype(AnnotationMirror, AnnotationMirror) 3. build the hierarchy and gets using build(). Notice that addSubtype(AnnotationMirror, AnnotationMirror) adds the two qualifiers to the hierarchy if they are not already in. Also, once the client builds a hierarchy through build(), no further modifications are allowed nor can it making a new instance. Clients build the hierarchy using addQualifier(AnnotationMirror) and addSubtype(AnnotationMirror, AnnotationMirror), then get the instance with calling build()

Constructor Summary

GraphQualifierHierarchy.Factory()

Method Summary

void	addQualifier(AnnotationMirror qual) Adds the passed qualifier to the hierarchy.
void	addSubtype(AnnotationMirror sub, AnnotationMirror sup) Adds a subtype relationship between the two type qualifiers.
GraphQualifierHierarchy	build() Returns an instance of GraphQualifierHierarchy that represents the hierarchy built so far

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphQualifierHierarchy.Factory

public GraphQualifierHierarchy.Factory()

Method Detail

addQualifier

public void addQualifier(AnnotationMirror qual)

Adds the passed qualifier to the hierarchy. Clients need to specify its super qualifiers in subsequent calls to addSubtype(AnnotationMirror, AnnotationMirror).

addSubtype

public void addSubtype(AnnotationMirror sub,
                       AnnotationMirror sup)

Adds a subtype relationship between the two type qualifiers.

Parameters:

sub - the sub type qualifier

sup - the super type qualifier

build

public GraphQualifierHierarchy build()

Returns an instance of GraphQualifierHierarchy that represents the hierarchy built so far