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

java.lang.Object
  de.unisaarland.cs.st.jerify.verifier.typestate.ClassCFGData

public class ClassCFGData
extends java.lang.Object

Saves the control flow graphs for all methods and innerclasses of this class.

Author:

Daniel Wand (typestate@ewand.de)

Constructor Summary

ClassCFGData(java.lang.String name)

Method Summary

void	addMethod(MethodCFGData method) Add a complete control flow graph for a method
void	addSubClass(ClassCFGData innerclass) Add a completely analysed subclass (all control flow graphs exist)
void	analyze(checkers.types.AnnotatedTypeFactory factory) Run the analysis through the controll flow graphs of the methods and subclasses.
java.lang.String	getName() Get the fully qualified name
void	setName(java.lang.String name) Set the fully qualified name

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClassCFGData

public ClassCFGData(java.lang.String name)

Method Detail

addMethod

public void addMethod(MethodCFGData method)

Add a complete control flow graph for a method

Parameters:

method - the control flow graph and information

addSubClass

public void addSubClass(ClassCFGData innerclass)

Add a completely analysed subclass (all control flow graphs exist)

Parameters:

innerclass - the innerclass analysis

getName

public java.lang.String getName()

Get the fully qualified name

Returns:

fully qualified name

setName

public void setName(java.lang.String name)

Set the fully qualified name

Parameters:

name - the fully qualified name

analyze

public void analyze(checkers.types.AnnotatedTypeFactory factory)

Run the analysis through the controll flow graphs of the methods and subclasses.

Parameters:

factory - The AnnotatedType factory for this part of the code