Uses of Class
ch.epfl.labos.iu.orm.queryll2.path.MethodSideEffect

Packages that use MethodSideEffect

Package	Description
ch.epfl.labos.iu.orm.queryll2.path
ch.epfl.labos.iu.orm.queryll2.symbolic

Uses of MethodSideEffect in ch.epfl.labos.iu.orm.queryll2.path

Subclasses of MethodSideEffect in ch.epfl.labos.iu.orm.queryll2.path

Modifier and Type	Class and Description
class	MethodSideEffectCall
class	MethodSideEffectFieldAssign

Methods in ch.epfl.labos.iu.orm.queryll2.path that return types with arguments of type MethodSideEffect

Modifier and Type	Method and Description
List<MethodSideEffect>	PathAnalysis.getSideEffects()

Method parameters in ch.epfl.labos.iu.orm.queryll2.path with type arguments of type MethodSideEffect

Modifier and Type	Method and Description
void	MethodAnalysisResults.addPath(List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions)
void	PathAnalysisFactory.addPath(MethodAnalysisResults methodAnalysisResults, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)
void	PathAnalysisSupplementalFactory.addPath(U resultsHolder, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)

Constructor parameters in ch.epfl.labos.iu.orm.queryll2.path with type arguments of type MethodSideEffect

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

Uses of MethodSideEffect in ch.epfl.labos.iu.orm.queryll2.symbolic

Fields in ch.epfl.labos.iu.orm.queryll2.symbolic with type parameters of type MethodSideEffect

Modifier and Type	Field and Description
List<MethodSideEffect>	BasicSymbolicInterpreter.sideEffects