checkers.types
Class TypestateTypeFromExpression.TypestateTypeFromExpressionEnv

java.lang.Object
  checkers.types.TypestateTypeFromExpression.TypestateTypeFromExpressionEnv

Enclosing class:

TypestateTypeFromExpression

public static class TypestateTypeFromExpression.TypestateTypeFromExpressionEnv
extends java.lang.Object

Method Summary

checkers.types.AnnotatedTypeFactory	getFactory()
TypestateUtil	getTypestateUtil()

Methods inherited from class java.lang.Object

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

Method Detail

getFactory

public checkers.types.AnnotatedTypeFactory getFactory()

getTypestateUtil

public TypestateUtil getTypestateUtil()