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

Interface Summary

Interface	Description
BasicSymbolicInterpreter.BranchHandler
BasicSymbolicInterpreter.MethodChecker

Class Summary

Class	Description
BasicSymbolicInterpreter
ConstantValue
ConstantValue.BooleanConstant	Boolean constants don't appear naturally in the code.
ConstantValue.ByteConstant
ConstantValue.ClassConstant
ConstantValue.DoubleConstant
ConstantValue.FloatConstant
ConstantValue.IntegerConstant
ConstantValue.LongConstant
ConstantValue.NullConstant
ConstantValue.ShortConstant
ConstantValue.StringConstant
FrameWithHelpers
InterpreterWithArgs<V extends org.jinq.rebased.org.objectweb.asm.tree.analysis.Value>
LambdaFactory
MethodCallValue
MethodCallValue.StaticMethodCallValue
MethodCallValue.VirtualMethodCallValue
MethodSignature
SymbolicInterpreterWithFieldAccess
TypedValue
TypedValue.ArgValue
TypedValue.BinaryOperationValue
TypedValue.CastValue
TypedValue.ComparisonValue
TypedValue.GetFieldValue
TypedValue.GetStaticFieldValue
TypedValue.MathOpValue
TypedValue.NewValue
TypedValue.NotValue
TypedValue.ThisValue
TypedValue.UnaryMathOpValue
TypedValue.UnaryOperationValue
TypedValuePostfixWalker<I,O,E extends Exception>
TypedValueRewriterWalker<I,E extends Exception>
TypedValueVisitor<I,O,E extends Exception>

Enum Summary

Enum	Description
BasicSymbolicInterpreter.OperationSideEffect
TypedValue.ComparisonValue.ComparisonOp
TypedValue.MathOpValue.Op
TypedValue.UnaryMathOpValue.UnaryOp

Exception Summary

Exception	Description
TypedValueVisitorException