de.unisaarland.cs.st.jerify.verifier
Class TypestateAnnotatedTypeFactory

java.lang.Object
  checkers.types.AnnotatedTypeFactory
      de.unisaarland.cs.st.jerify.verifier.TypestateAnnotatedTypeFactory

public class TypestateAnnotatedTypeFactory
extends checkers.types.AnnotatedTypeFactory

Does not overwrite anything from AnnotatedTypeFactory

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

TypestateAnnotatedTypeFactory(checkers.source.SourceChecker arg0, com.sun.source.tree.CompilationUnitTree arg1)

Method Summary

Methods inherited from class checkers.types.AnnotatedTypeFactory

constructorFromUse, fromClass, fromElement, fromElement, fromElement, fromExpression, fromMember, fromTypeTree, fromTypeTree, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedType, getAnnotatedTypeFromTypeTree, getBoxedType, getEnclosingType, getPath, getQualifierHierarchy, getReceiver, getSelfType, getUnboxedType, getVisitorState, methodFromUse

Methods inherited from class java.lang.Object

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

Constructor Detail

TypestateAnnotatedTypeFactory

public TypestateAnnotatedTypeFactory(checkers.source.SourceChecker arg0,
                                     com.sun.source.tree.CompilationUnitTree arg1)