ch.epfl.labos.iu.orm.queryll2.path

Class PathAnalysisSimplifier

java.lang.Object

ch.epfl.labos.iu.orm.queryll2.path.PathAnalysisSimplifier

public class PathAnalysisSimplifier
extends Object

Constructor Summary

Constructors

Constructor and Description
PathAnalysisSimplifier()

Method Summary

Modifier and Type	Method and Description
static void	cleanAndSimplify(MethodAnalysisResults method, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted) Sometimes paths have weird conditions on them, so they can be pruned out.
static TypedValue	simplify(TypedValue value, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)
static TypedValue	simplifyBoolean(TypedValue value, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)
static List<TypedValue>	simplifyBooleans(List<TypedValue> conditions, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods, Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods, boolean isAllEqualsConverted)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PathAnalysisSimplifier

public PathAnalysisSimplifier()

Method Detail

simplify

public static TypedValue simplify(TypedValue value,
                                  Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
                                  Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
                                  boolean isAllEqualsConverted)

simplifyBoolean

public static TypedValue simplifyBoolean(TypedValue value,
                                         Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
                                         Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
                                         boolean isAllEqualsConverted)

simplifyBooleans

public static List<TypedValue> simplifyBooleans(List<TypedValue> conditions,
                                                Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
                                                Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
                                                boolean isAllEqualsConverted)

cleanAndSimplify

public static void cleanAndSimplify(MethodAnalysisResults method,
                                    Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonMethods,
                                    Map<MethodSignature,TypedValue.ComparisonValue.ComparisonOp> comparisonStaticMethods,
                                    boolean isAllEqualsConverted)

Sometimes paths have weird conditions on them, so they can be pruned out. (e.g. paths where the only condition is TRUE or FALSE)