Uses of Class
de.unisaarland.cs.st.jerify.verifier.typestate.State

Packages that use State

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

Provides classes to create, handle and runtime-store the typestate analysis.

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

Methods in de.unisaarland.cs.st.jerify.verifier.typestate that return State

State	StateChangeTransition.applyChanges(java.util.Set<java.lang.String> stateSet) Apply the changes encapsulated to the States passed
State	StateChanges.applyChanges(java.util.Set<java.lang.String> stateSet) Apply the changes encapsulated to the States passed
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.
State	State.merge(State otherState) Includes the information in the other State into this State

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

boolean	State.isSubsetOf(State otherState) Check whether this state is a subset of an other State.
State	State.merge(State otherState) Includes the information in the other State into this State

Method parameters in de.unisaarland.cs.st.jerify.verifier.typestate with type arguments of type State

void	MethodTypestateAnalysis.applySetChanges(java.util.Set<Pair<java.lang.Integer,State>> stateSetTo) Apply the Changes previously parsed from the set changes

Constructors in de.unisaarland.cs.st.jerify.verifier.typestate with parameters of type State

State(State s)
Create a copy of s