Constant Field Values

Contents

• checkers.typestate.*

checkers.typestate.*

checkers.typestate.TypestateUtil

public static final java.lang.String	EXCEPT_ELEMENT_NAME	"except"
public static final java.lang.String	EXCEPTION_ELEMENT_NAME	"onException"
public static final java.lang.String	TRANSITION_ELEMENT_NAME	"after"