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

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

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

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

CFGAnalysis
Interface that represents the analysis data that is used during propagation in the Control Flow Graph

FlowNode
This class represents a node in the Control Flow Graph.

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

CFGAnalysis
Interface that represents the analysis data that is used during propagation in the Control Flow Graph

FlowNode
This class represents a node in the Control Flow Graph.

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

CFGAnalysis
Interface that represents the analysis data that is used during propagation in the Control Flow Graph

FlowNode
This class represents a node in the Control Flow Graph.

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

CFGAnalysis
Interface that represents the analysis data that is used during propagation in the Control Flow Graph