ch.epfl.labos.iu.orm.queryll2.symbolic

Interface BasicSymbolicInterpreter.MethodChecker

All Known Subinterfaces:

PathAnalysisMethodChecker

Enclosing class:

BasicSymbolicInterpreter

public static interface BasicSymbolicInterpreter.MethodChecker

Method Summary

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

Method Detail

isMethodSafe

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

isStaticMethodSafe

BasicSymbolicInterpreter.OperationSideEffect isStaticMethodSafe(MethodSignature m)

isFluentChaining

boolean isFluentChaining(MethodSignature m)

isPutFieldAllowed

boolean isPutFieldAllowed()