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

Packages that use TSStateChangingFlowNode

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 TSStateChangingFlowNode in de.unisaarland.cs.st.jerify.verifier.cfg.flownodes.typestate

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

class	TSStateFilterNode This node represents typestate definition.
class	TSStateSetFlowNode This node represents typestate definition.
class	TSTransitionFlowNode This node represents a typestate transition.

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

static TSStateChangingFlowNode	TSStateChangingFlowNode.analyseRequireState(AliasAnalysisVarHandle var, javax.lang.model.element.AnnotationMirror requireState, com.sun.source.tree.Tree tree) Handles the @RequireState creation of a FlowNode
static TSStateChangingFlowNode	TSStateChangingFlowNode.analyseRequireState(AliasAnalysisVarHandle var, java.util.Collection<java.lang.String> isInList, com.sun.source.tree.Tree tree) Handles the @RequireState creation of a FlowNode