Uses of Interface
de.unisaarland.cs.st.jerify.verifier.typestate.StateChanges

Packages that use StateChanges

de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate	Provides classes which are nodes which form the typestate analysis part of the control flow graph.
de.unisaarland.cs.st.jerify.verifier.typestate	Provides classes to create, handle and runtime-store the typestate analysis.

Uses of StateChanges in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

Methods in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate that return StateChanges

static StateChanges

TSStateChangingFlowNode.getAllStateChanges(checkers.types.AnnotatedTypeMirror method, com.sun.source.tree.Tree tree) Get State Changes annotated with @ChangeState or @TS({ @ChangeStates, ...})

Constructors in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate with parameters of type StateChanges

TSTransitionFlowNode(AliasAnalysisVarHandle var, com.sun.source.tree.Tree tree, StateChanges stateChanges)

Uses of StateChanges in de.unisaarland.cs.st.jerify.verifier.typestate

Classes in de.unisaarland.cs.st.jerify.verifier.typestate that implement StateChanges

class

StateChangeTransition Encapsulates the typestate transitions (e.g. open->close)

Methods in de.unisaarland.cs.st.jerify.verifier.typestate with parameters of type StateChanges

State	State.applyStateChange(StateChanges stateChanges, com.sun.source.tree.Tree tree) Takes a Mapping from State to states , and applies it to the current Set of states by returning the new State.
void	MethodTypestateAnalysis.applyStateChanges(com.sun.source.tree.Tree tree, StateChanges stateChanges, java.util.Collection<java.lang.Integer> aliases) Apply the Changes previously parsed from the state changes