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

Packages that use de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

de.unisaarland.cs.st.jerify.verifier.alias	Provides classes to handle the alias analysis.
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias	Provides classes which are nodes which form the aliasing analysis part of the control flow graph.
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.dataflow
de.unisaarland.cs.st.jerify.verifier.typestate	Provides classes to create, handle and runtime-store the typestate analysis.

Classes in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate used by de.unisaarland.cs.st.jerify.verifier.alias

TSFlowNode
This class is a parent to all classes of the control flow graph that are used by the typestate analysis.

Classes in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate used by de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

TSFlowNode
This class is a parent to all classes of the control flow graph that are used by the typestate analysis.

Classes in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate used by de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

TSFlowNode
This class is a parent to all classes of the control flow graph that are used by the typestate analysis.

TSStateChangingFlowNode
This class is a parent to all classes that actually change the typestate analysis.

TSStateSetFlowNode
This node represents typestate definition.

Classes in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate used by de.unisaarland.cs.st.jerify.verifier.dataflow

TSFlowNode
This class is a parent to all classes of the control flow graph that are used by the typestate analysis.

Classes in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate used by de.unisaarland.cs.st.jerify.verifier.typestate

TSFlowNode
This class is a parent to all classes of the control flow graph that are used by the typestate analysis.