Uses of Class
de.unisaarland.cs.st.jerify.verifier.typestate.ClassCFGData

Packages that use ClassCFGData

de.unisaarland.cs.st.jerify.verifier.typestate

Provides classes to create, handle and runtime-store the typestate analysis.

Uses of ClassCFGData in de.unisaarland.cs.st.jerify.verifier.typestate

Methods in de.unisaarland.cs.st.jerify.verifier.typestate that return ClassCFGData

ClassCFGData	ClassCFG.visitAnnotation(com.sun.source.tree.AnnotationTree arg0, MethodCFGWorkData arg1) Skip analysis of annotations, so we do not have to case about @annotaion( is="bla") assignments in visitAssingment
ClassCFGData	ClassCFG.visitAssignment(com.sun.source.tree.AssignmentTree tree, MethodCFGWorkData tsinfo) Visit assignments and create FlowNodes that update alias information accordingly
ClassCFGData	ClassCFG.visitBlock(com.sun.source.tree.BlockTree tree, MethodCFGWorkData tsinfo) Create a new work-data aliasAnalysis for each block, so the variables that with scope of a block will be removed after each block
ClassCFGData	ClassCFG.visitBreak(com.sun.source.tree.BreakTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow changes caused by break
ClassCFGData	ClassCFG.visitClass(com.sun.source.tree.ClassTree node, MethodCFGWorkData tsinfo) Create the ClassCFGData from the node that is passed.
ClassCFGData	ClassCFG.visitConditionalExpression(com.sun.source.tree.ConditionalExpressionTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow implications for the analysis caused by conditional expressions
ClassCFGData	ClassCFG.visitContinue(com.sun.source.tree.ContinueTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow changes caused by continue
ClassCFGData	ClassCFG.visitDoWhileLoop(com.sun.source.tree.DoWhileLoopTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow changes caused by a do-while loop
ClassCFGData	ClassCFG.visitEnhancedForLoop(com.sun.source.tree.EnhancedForLoopTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow changes caused by a enhanced for loop Actually currently the checker needs a @SetState annotation on the loop variable, the rational being that one can more easily annotate the loop variable but may have a hard time annotating the iterator.
ClassCFGData	ClassCFG.visitForLoop(com.sun.source.tree.ForLoopTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow changes caused by a for loop
ClassCFGData	ClassCFG.visitIf(com.sun.source.tree.IfTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow implications for the analysis caused by if statements
ClassCFGData	ClassCFG.visitLabeledStatement(com.sun.source.tree.LabeledStatementTree tree, MethodCFGWorkData tsinfo) Analyse the body of the the label statement with the knowledge about that label.
ClassCFGData	ClassCFG.visitMethodInvocation(com.sun.source.tree.MethodInvocationTree tree, MethodCFGWorkData tsinfo) Analyse method invocations and create FlowNodes that track typestate changes.
ClassCFGData	ClassCFG.visitNewClass(com.sun.source.tree.NewClassTree node, MethodCFGWorkData tsinfo)
ClassCFGData	ClassCFG.visitReturn(com.sun.source.tree.ReturnTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow implications for the analysis caused by return statements
ClassCFGData	ClassCFG.visitSwitch(com.sun.source.tree.SwitchTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow implications for the analysis caused by switch statements
ClassCFGData	ClassCFG.visitThrow(com.sun.source.tree.ThrowTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow implications for the analysis caused by throw statements
ClassCFGData	ClassCFG.visitTry(com.sun.source.tree.TryTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow implications for the analysis caused by try-catch-finally statements
ClassCFGData	ClassCFG.visitVariable(com.sun.source.tree.VariableTree tree, MethodCFGWorkData tsinfo) Parse variable / fields and create alias information / flownodes accordingly
ClassCFGData	ClassCFG.visitWhileLoop(com.sun.source.tree.WhileLoopTree tree, MethodCFGWorkData tsinfo) Create FlowNodes that handle the control flow changes caused by a while loop

Methods in de.unisaarland.cs.st.jerify.verifier.typestate with parameters of type ClassCFGData

void	ClassCFGData.addSubClass(ClassCFGData innerclass) Add a completely analysed subclass (all control flow graphs exist)