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

Interfaces

• BasicSymbolicInterpreter.BranchHandler
• BasicSymbolicInterpreter.MethodChecker

Classes

• BasicSymbolicInterpreter
• ConstantValue
• ConstantValue.BooleanConstant
• ConstantValue.ByteConstant
• ConstantValue.ClassConstant
• ConstantValue.DoubleConstant
• ConstantValue.FloatConstant
• ConstantValue.IntegerConstant
• ConstantValue.LongConstant
• ConstantValue.NullConstant
• ConstantValue.ShortConstant
• ConstantValue.StringConstant
• FrameWithHelpers
• InterpreterWithArgs
• 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
• TypedValueRewriterWalker
• TypedValueVisitor

Enums

• BasicSymbolicInterpreter.OperationSideEffect
• TypedValue.ComparisonValue.ComparisonOp
• TypedValue.MathOpValue.Op
• TypedValue.UnaryMathOpValue.UnaryOp

Exceptions

• TypedValueVisitorException