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

Interface PathAnalysisMethodChecker

All Superinterfaces:

BasicSymbolicInterpreter.MethodChecker

public interface PathAnalysisMethodChecker
extends BasicSymbolicInterpreter.MethodChecker

Method Summary

Modifier and Type	Method and Description
BasicSymbolicInterpreter.OperationSideEffect	isMethodSafe(MethodSignature m, TypedValue base, List<TypedValue> args)
BasicSymbolicInterpreter.OperationSideEffect	isStaticMethodSafe(MethodSignature m)

Methods inherited from interface ch.epfl.labos.iu.orm.queryll2.symbolic.BasicSymbolicInterpreter.MethodChecker

isFluentChaining, isPutFieldAllowed

Method Detail

isStaticMethodSafe

BasicSymbolicInterpreter.OperationSideEffect isStaticMethodSafe(MethodSignature m)

Specified by:

isStaticMethodSafe in interface BasicSymbolicInterpreter.MethodChecker

isMethodSafe

BasicSymbolicInterpreter.OperationSideEffect isMethodSafe(MethodSignature m,
                                                          TypedValue base,
                                                          List<TypedValue> args)

Specified by:

isMethodSafe in interface BasicSymbolicInterpreter.MethodChecker