checkers.util
Class DAGQualifierHierarchy.Factory

java.lang.Object
  extended by checkers.util.DAGQualifierHierarchy.Factory
Enclosing class:
DAGQualifierHierarchy

public static class DAGQualifierHierarchy.Factory
extends Object

Factory used to create an instance of DAGQualifierHierarchy.


Constructor Summary
DAGQualifierHierarchy.Factory()
           
DAGQualifierHierarchy.Factory(DAGQualifierHierarchy tree)
           
 
Method Summary
 void addQualifier(AnnotationMirror qual)
           
 void addSubtype(AnnotationMirror sub, AnnotationMirror sup)
           
 DAGQualifierHierarchy build()
           
 void setRoot(AnnotationMirror root)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DAGQualifierHierarchy.Factory

public DAGQualifierHierarchy.Factory(DAGQualifierHierarchy tree)

DAGQualifierHierarchy.Factory

public DAGQualifierHierarchy.Factory()
Method Detail

addQualifier

public void addQualifier(AnnotationMirror qual)

addSubtype

public void addSubtype(AnnotationMirror sub,
                       AnnotationMirror sup)

setRoot

public void setRoot(AnnotationMirror root)

build

public DAGQualifierHierarchy build()