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

Packages that use TSStateSetFlowNode

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

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

static TSStateSetFlowNode

TSStateChangingFlowNode.getSetStateFlowNode(AliasAnalysisVarHandle handle, com.sun.source.tree.Tree tree, javax.lang.model.element.AnnotationMirror setState)