Uses of Class
ch.epfl.labos.iu.orm.queryll2.symbolic.TypedValue

Packages that use TypedValue

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

Uses of TypedValue in ch.epfl.labos.iu.orm.queryll2.path

Fields in ch.epfl.labos.iu.orm.queryll2.path declared as TypedValue

Modifier and Type	Field and Description
TypedValue	MethodSideEffectCall.base
TypedValue	MethodSideEffectFieldAssign.base
TypedValue	MethodSideEffectFieldAssign.value

Fields in ch.epfl.labos.iu.orm.queryll2.path with type parameters of type TypedValue

Modifier and Type	Field and Description
List<TypedValue>	MethodSideEffectCall.args

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

Modifier and Type	Method and Description
TypedValue	SymbExSimplifier.comparisonOpValue(TypedValue.ComparisonValue val, I in)
TypedValue	SymbExSimplifier.defaultValue(TypedValue val, I in)
TypedValue	PathAnalysis.getReturnValue()
TypedValue	SymbExBooleanRewriter.integerConstantValue(ConstantValue.IntegerConstant val, Boolean in)
static TypedValue	PathAnalysisSimplifier.simplify(TypedValue value, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)
static TypedValue	PathAnalysisSimplifier.simplifyBoolean(TypedValue value, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)
TypedValue	SymbExSimplifier.staticMethodCallValue(MethodCallValue.StaticMethodCallValue val, I in)
TypedValue	SymbExSimplifier.virtualMethodCallValue(MethodCallValue.VirtualMethodCallValue val, I in)

Methods in ch.epfl.labos.iu.orm.queryll2.path that return types with arguments of type TypedValue

Modifier and Type	Method and Description
List<TypedValue>	PathAnalysis.getConditions()
static List<TypedValue>	PathAnalysisSimplifier.simplifyBooleans(List<TypedValue> conditions, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)

Methods in ch.epfl.labos.iu.orm.queryll2.path with parameters of type TypedValue

Modifier and Type	Method and Description
void	MethodAnalysisResults.addPath(List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions)
void	PathAnalysisFactory.addPath(MethodAnalysisResults methodAnalysisResults, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)
void	PathAnalysisSupplementalFactory.addPath(U resultsHolder, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)
TypedValue	SymbExSimplifier.defaultValue(TypedValue val, I in)
BasicSymbolicInterpreter.OperationSideEffect	PathAnalysisMethodChecker.isMethodSafe(MethodSignature m, TypedValue base, List<TypedValue> args)
static TypedValue	PathAnalysisSimplifier.simplify(TypedValue value, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)
static TypedValue	PathAnalysisSimplifier.simplifyBoolean(TypedValue value, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)

Method parameters in ch.epfl.labos.iu.orm.queryll2.path with type arguments of type TypedValue

Modifier and Type	Method and Description
void	MethodAnalysisResults.addPath(List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions)
void	PathAnalysisFactory.addPath(MethodAnalysisResults methodAnalysisResults, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)
void	PathAnalysisSupplementalFactory.addPath(U resultsHolder, List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions, PathAnalysisMethodChecker methodChecker)
BasicSymbolicInterpreter.OperationSideEffect	PathAnalysisMethodChecker.isMethodSafe(MethodSignature m, TypedValue base, List<TypedValue> args)
static List<TypedValue>	PathAnalysisSimplifier.simplifyBooleans(List<TypedValue> conditions, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)

Constructors in ch.epfl.labos.iu.orm.queryll2.path with parameters of type TypedValue

Constructor and Description
MethodSideEffectCall(MethodSignature m, TypedValue base, List<TypedValue> args)
MethodSideEffectFieldAssign(String owner, String name, String desc, TypedValue base, TypedValue value)
PathAnalysis(List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions)

Constructor parameters in ch.epfl.labos.iu.orm.queryll2.path with type arguments of type TypedValue

Constructor and Description
MethodSideEffectCall(MethodSignature m, TypedValue base, List<TypedValue> args)
PathAnalysis(List<MethodSideEffect> sideEffects, TypedValue returnValue, List<? extends TypedValue> conditions)

Uses of TypedValue in ch.epfl.labos.iu.orm.queryll2.symbolic

Subclasses of TypedValue in ch.epfl.labos.iu.orm.queryll2.symbolic

Modifier and Type	Class and Description
class	ConstantValue
static class	ConstantValue.BooleanConstant Boolean constants don't appear naturally in the code.
static class	ConstantValue.ByteConstant
static class	ConstantValue.ClassConstant
static class	ConstantValue.DoubleConstant
static class	ConstantValue.FloatConstant
static class	ConstantValue.IntegerConstant
static class	ConstantValue.LongConstant
static class	ConstantValue.NullConstant
static class	ConstantValue.ShortConstant
static class	ConstantValue.StringConstant
class	LambdaFactory
class	MethodCallValue
static class	MethodCallValue.StaticMethodCallValue
static class	MethodCallValue.VirtualMethodCallValue
static class	TypedValue.ArgValue
static class	TypedValue.BinaryOperationValue
static class	TypedValue.CastValue
static class	TypedValue.ComparisonValue
static class	TypedValue.GetFieldValue
static class	TypedValue.GetStaticFieldValue
static class	TypedValue.MathOpValue
static class	TypedValue.NewValue
static class	TypedValue.NotValue
static class	TypedValue.ThisValue
static class	TypedValue.UnaryMathOpValue
static class	TypedValue.UnaryOperationValue

Fields in ch.epfl.labos.iu.orm.queryll2.symbolic declared as TypedValue

Modifier and Type	Field and Description
TypedValue	MethodCallValue.VirtualMethodCallValue.base
TypedValue	TypedValue.BinaryOperationValue.left
TypedValue	TypedValue.UnaryOperationValue.operand
TypedValue	BasicSymbolicInterpreter.returnValue
TypedValue	TypedValue.BinaryOperationValue.right

Fields in ch.epfl.labos.iu.orm.queryll2.symbolic with type parameters of type TypedValue

Modifier and Type	Field and Description
List<TypedValue>	MethodCallValue.args

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

Modifier and Type	Method and Description
TypedValue	TypedValueRewriterWalker.binaryOpValue(TypedValue.BinaryOperationValue val, I in)
TypedValue	TypedValueRewriterWalker.defaultValue(TypedValue val, I in)
static TypedValue	TypedValue.NotValue.invert(TypedValue val)
TypedValue	TypedValueRewriterWalker.methodCallValue(MethodCallValue val, I in)
TypedValue	TypedValueRewriterWalker.staticMethodCallValue(MethodCallValue.StaticMethodCallValue val, I in)
TypedValue	TypedValueRewriterWalker.unaryOpValue(TypedValue.UnaryOperationValue val, I in)
TypedValue	TypedValueRewriterWalker.virtualMethodCallValue(MethodCallValue.VirtualMethodCallValue val, I in)

Methods in ch.epfl.labos.iu.orm.queryll2.symbolic that return types with arguments of type TypedValue

Modifier and Type	Method and Description
List<TypedValue>	LambdaFactory.getCapturedArgs()

Methods in ch.epfl.labos.iu.orm.queryll2.symbolic with parameters of type TypedValue

Modifier and Type	Method and Description
TypedValue	TypedValueRewriterWalker.defaultValue(TypedValue val, I in)
abstract O	TypedValueVisitor.defaultValue(TypedValue val, I in)
static TypedValue	TypedValue.NotValue.invert(TypedValue val)
BasicSymbolicInterpreter.OperationSideEffect	BasicSymbolicInterpreter.MethodChecker.isMethodSafe(MethodSignature m, TypedValue base, List<TypedValue> args)
O	TypedValueVisitor.unknownValue(TypedValue val, I in)
O	TypedValueVisitor.varValue(TypedValue val, I in)
MethodCallValue.VirtualMethodCallValue	MethodCallValue.VirtualMethodCallValue.withNewArgs(List<TypedValue> newArgs, TypedValue newBase)
TypedValue.UnaryOperationValue	TypedValue.UnaryOperationValue.withNewChildren(TypedValue newOperand)
TypedValue.UnaryOperationValue	TypedValue.UnaryMathOpValue.withNewChildren(TypedValue newOperand)
TypedValue.UnaryOperationValue	TypedValue.NotValue.withNewChildren(TypedValue newOperand)
TypedValue.GetFieldValue	TypedValue.GetFieldValue.withNewChildren(TypedValue newOperand)
TypedValue.CastValue	TypedValue.CastValue.withNewChildren(TypedValue newOperand)
TypedValue.BinaryOperationValue	TypedValue.BinaryOperationValue.withNewChildren(TypedValue newLeft, TypedValue newRight)
TypedValue.MathOpValue	TypedValue.MathOpValue.withNewChildren(TypedValue newLeft, TypedValue newRight)
TypedValue.ComparisonValue	TypedValue.ComparisonValue.withNewChildren(TypedValue newLeft, TypedValue newRight)

Method parameters in ch.epfl.labos.iu.orm.queryll2.symbolic with type arguments of type TypedValue

Modifier and Type	Method and Description
BasicSymbolicInterpreter.OperationSideEffect	BasicSymbolicInterpreter.MethodChecker.isMethodSafe(MethodSignature m, TypedValue base, List<TypedValue> args)
MethodCallValue	MethodCallValue.withNewArgs(List<TypedValue> newArgs)
MethodCallValue.StaticMethodCallValue	MethodCallValue.StaticMethodCallValue.withNewArgs(List<TypedValue> newArgs)
MethodCallValue.VirtualMethodCallValue	MethodCallValue.VirtualMethodCallValue.withNewArgs(List<TypedValue> newArgs, TypedValue newBase)

Constructors in ch.epfl.labos.iu.orm.queryll2.symbolic with parameters of type TypedValue

Constructor and Description
BinaryOperationValue(org.jinq.rebased.org.objectweb.asm.Type resultType, String operation, TypedValue left, TypedValue right)
CastValue(org.jinq.rebased.org.objectweb.asm.Type castedType, TypedValue base)
ComparisonValue(TypedValue.ComparisonValue.ComparisonOp operation, TypedValue left, TypedValue right)
GetFieldValue(String owner, String name, String desc, TypedValue base)
MathOpValue(TypedValue.MathOpValue.Op op, TypedValue left, TypedValue right)
MathOpValue(TypedValue.MathOpValue.Op op, org.jinq.rebased.org.objectweb.asm.Type returnType, TypedValue left, TypedValue right)
NotValue(TypedValue operand)
UnaryMathOpValue(TypedValue.UnaryMathOpValue.UnaryOp op, org.jinq.rebased.org.objectweb.asm.Type resultType, TypedValue operand)
UnaryOperationValue(org.jinq.rebased.org.objectweb.asm.Type resultType, TypedValue operand)
VirtualMethodCallValue(String owner, String name, String desc, List<TypedValue> args, TypedValue base)

Constructor parameters in ch.epfl.labos.iu.orm.queryll2.symbolic with type arguments of type TypedValue

Constructor and Description
LambdaFactory(org.jinq.rebased.org.objectweb.asm.Type functionalInterface, org.jinq.rebased.org.objectweb.asm.Handle lambdaMethod, List<TypedValue> capturedArgs)
MethodCallValue(String owner, String name, String desc, List<TypedValue> args, org.jinq.rebased.org.objectweb.asm.Type returnType)
StaticMethodCallValue(String owner, String name, String desc, List<TypedValue> args)
TypedValueRewriterWalker(TypedValueVisitor<I,TypedValue,E> rewriter)
TypedValueRewriterWalker(TypedValueVisitor<I,TypedValue,E> rewriter, TypedValueVisitor<I,I,E> rewriterParameter)
VirtualMethodCallValue(String owner, String name, String desc, List<TypedValue> args, TypedValue base)