Constant Field Values

Contents

• de.unisaarland.*

de.unisaarland.*

de.unisaarland.cs.st.jerify.verifier.typestate.State

public static final java.lang.String	ErrorState	"TSP1_ERROR_TYPESTATE"
public static final java.lang.String	UnkownState	"TSP1_UNKOWN_TYPESTATE"