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

Class PathAnalysis

java.lang.Object

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

public class PathAnalysis
extends Object

Constructor Summary

Constructors

Constructor and Description
PathAnalysis(List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions)

Method Summary

Modifier and Type	Method and Description
List<TypedValue>	getConditions()
TypedValue	getReturnValue()
List<MethodSideEffect>	getSideEffects()
void	removeConditionIndex(int i)

Methods inherited from class java.lang.Object

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

Constructor Detail

PathAnalysis

public PathAnalysis(List<MethodSideEffect> sideEffects,
                    TypedValue returnValue,
                    List<? extends TypedValue> conditions)

Method Detail

getReturnValue

public TypedValue getReturnValue()

getConditions

public List<TypedValue> getConditions()

getSideEffects

public List<MethodSideEffect> getSideEffects()

removeConditionIndex

public void removeConditionIndex(int i)