Uses of Class
de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.FlowNode

Packages that use FlowNode

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.

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

Methods in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes with parameters of type FlowNode

void	FlowNode.addSuccessor(FlowNode<AnalysisData> successor, com.sun.source.tree.Tree tree) Add an FlowNode as a Successor to this node

Uses of FlowNode in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

Subclasses of FlowNode in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.alias

class	TSAliasAnalysisAssignmentFlowNode FlowNode that updates the alias information of one variable
class	TSAliasAnalysisEndOfScope

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

Subclasses of FlowNode in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

class	TSDummyFlowNode FlowNode that passes the Analysis on without changing it.
class	TSFixpointerIterationFlowNode A FlowNode does not do anything to the analysis data, but is a point in the graph where the analysis will pass several time, e.g. to fixpoint iterate the analysis of a loop.
class	TSFlowNode This class is a parent to all classes of the control flow graph that are used by the typestate analysis.
class	TSStateChangingFlowNode This class is a parent to all classes that actually change the typestate analysis.
class	TSStateFilterNode This node represents typestate definition.
class	TSStateSetFlowNode This node represents typestate definition.
class	TSTransitionFlowNode This node represents a typestate transition.