de.unisaarland.cs.st.jerify.verifier.cfg.flownodes
Interface CFGAnalysis<AnalysisData>

Type Parameters:

AnalysisData - the actual type of the AnalysisData so getAnalysisData() can return it, to avoid unnecessary casts

All Known Implementing Classes:

MethodTypestateAnalysis

public interface CFGAnalysis<AnalysisData>

Interface that represents the analysis data that is used during propagation in the Control Flow Graph

Author:

Daniel Wand (typestate@ewand.de)

Method Summary

CFGAnalysis<AnalysisData>	deepCopy()
boolean	equals(java.lang.Object o)
AnalysisData	getAnalysisData()
int	hashCode()
boolean	isSubsetOf(CFGAnalysis<AnalysisData> analysis)
MethodTypestateAnalysis	merge(CFGAnalysis<AnalysisData> other)
MethodTypestateAnalysis	replaceWith(CFGAnalysis<AnalysisData> other)
java.lang.String	toString()

Method Detail

deepCopy

CFGAnalysis<AnalysisData> deepCopy()

isSubsetOf

boolean isSubsetOf(CFGAnalysis<AnalysisData> analysis)

equals

boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

int hashCode()

Overrides:

hashCode in class java.lang.Object

replaceWith

MethodTypestateAnalysis replaceWith(CFGAnalysis<AnalysisData> other)

merge

MethodTypestateAnalysis merge(CFGAnalysis<AnalysisData> other)

getAnalysisData

AnalysisData getAnalysisData()

toString

java.lang.String toString()

Overrides:

toString in class java.lang.Object