Uses of Class
ch.epfl.labos.iu.orm.queryll2.symbolic.BasicSymbolicInterpreter.OperationSideEffect

Packages that use BasicSymbolicInterpreter.OperationSideEffect

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

Uses of BasicSymbolicInterpreter.OperationSideEffect in ch.epfl.labos.iu.orm.queryll2.path

Methods in ch.epfl.labos.iu.orm.queryll2.path that return BasicSymbolicInterpreter.OperationSideEffect

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

Uses of BasicSymbolicInterpreter.OperationSideEffect in ch.epfl.labos.iu.orm.queryll2.symbolic

Methods in ch.epfl.labos.iu.orm.queryll2.symbolic that return BasicSymbolicInterpreter.OperationSideEffect

Modifier and Type	Method and Description
BasicSymbolicInterpreter.OperationSideEffect	BasicSymbolicInterpreter.MethodChecker.isMethodSafe(MethodSignature m, TypedValue base, List<TypedValue> args)
BasicSymbolicInterpreter.OperationSideEffect	BasicSymbolicInterpreter.MethodChecker.isStaticMethodSafe(MethodSignature m)
static BasicSymbolicInterpreter.OperationSideEffect	BasicSymbolicInterpreter.OperationSideEffect.valueOf(String name) Returns the enum constant of this type with the specified name.
static BasicSymbolicInterpreter.OperationSideEffect[]	BasicSymbolicInterpreter.OperationSideEffect.values() Returns an array containing the constants of this enum type, in the order they are declared.