joeq.Compiler.BytecodeAnalysis
Class TypeAnalysis.MethodCallSequence.Modeler

java.lang.Object
  joeq.Compiler.BytecodeAnalysis.TypeAnalysis.MethodCallSequence.Modeler

Enclosing class:

TypeAnalysis.MethodCallSequence

public abstract static class TypeAnalysis.MethodCallSequence.Modeler

extends Object

Constructor Summary

TypeAnalysis.MethodCallSequence.Modeler()

Method Summary

void	checkModel(String loc, jq_Type type, Set lastCalled, Set s)
abstract void	checkModel(String loc, jq_Type type, Set lastCalled, joeq.Compiler.BytecodeAnalysis.TypeAnalysis.MethodCall m)
abstract void	dump()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeAnalysis.MethodCallSequence.Modeler

public TypeAnalysis.MethodCallSequence.Modeler()

Method Detail

checkModel

public void checkModel(String loc,
                       jq_Type type,
                       Set lastCalled,
                       Set s)

checkModel

public abstract void checkModel(String loc,
                                jq_Type type,
                                Set lastCalled,
                                joeq.Compiler.BytecodeAnalysis.TypeAnalysis.MethodCall m)

dump

public abstract void dump()
                   throws IOException

Throws:

IOException