ch.epfl.labos.iu.orm.queryll2.path

Class CodePath

java.lang.Object

ch.epfl.labos.iu.orm.queryll2.path.CodePath

public class CodePath
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CodePath.PathInstruction

Constructor Summary

Constructors

Constructor and Description
CodePath(List<CodePath.PathInstruction> path)

Method Summary

Modifier and Type	Method and Description
<T> PathAnalysis	calculateReturnValueAndConditions(org.jinq.rebased.org.objectweb.asm.tree.ClassNode cl, org.jinq.rebased.org.objectweb.asm.tree.MethodNode m, PathAnalysisMethodChecker methodChecker)

Methods inherited from class java.lang.Object

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

Constructor Detail

CodePath

public CodePath(List<CodePath.PathInstruction> path)

Method Detail

calculateReturnValueAndConditions

public <T> PathAnalysis calculateReturnValueAndConditions(org.jinq.rebased.org.objectweb.asm.tree.ClassNode cl,
                                                          org.jinq.rebased.org.objectweb.asm.tree.MethodNode m,
                                                          PathAnalysisMethodChecker methodChecker)
                                                   throws org.jinq.rebased.org.objectweb.asm.tree.analysis.AnalyzerException

Throws:

org.jinq.rebased.org.objectweb.asm.tree.analysis.AnalyzerException