org.eclipse.ocl.examples.codegen.utilities

Class EquivalenceUtil

java.lang.Object

org.eclipse.ocl.examples.codegen.utilities.EquivalenceUtil

public class EquivalenceUtil
extends java.lang.Object

EquivalenceUtil provides the bodies for many of the isEquivalentToInternal operations. These return:
true if two values are definitely the same.
false if two values are definitely different.
null if the values could be the same or different.

Constructor Summary

Constructors

Constructor and Description
EquivalenceUtil()

Method Summary

Modifier and Type	Method and Description
static java.lang.Boolean	isEquivalent(CGCallExp thisValue, CGCallExp thatValue)
static java.lang.Boolean	isEquivalent(CGCollectionExp thisValue, CGCollectionExp thatValue)
static java.lang.Boolean	isEquivalent(CGCollectionPart thisValue, CGCollectionPart thatValue)
static java.lang.Boolean	isEquivalent(CGEcoreClassShadowExp thisValue, CGEcoreClassShadowExp thatValue)
static java.lang.Boolean	isEquivalent(CGEcoreDataTypeShadowExp thisValue, CGEcoreDataTypeShadowExp thatValue)
static java.lang.Boolean	isEquivalent(CGIfExp thisValue, CGIfExp thatValue)
static java.lang.Boolean	isEquivalent(CGIterationCallExp thisValue, CGIterationCallExp thatValue)
static java.lang.Boolean	isEquivalent(CGLetExp thisValue, CGLetExp thatValue)
static java.lang.Boolean	isEquivalent(CGMapExp thisValue, CGMapExp thatValue)
static java.lang.Boolean	isEquivalent(CGMapPart thisPart, CGMapPart thatPart)
static java.lang.Boolean	isEquivalent(CGNavigationCallExp thisValue, CGNavigationCallExp thatValue)
static java.lang.Boolean	isEquivalent(CGNumber thisValue, CGNumber thatValue)
static java.lang.Boolean	isEquivalent(CGOperationCallExp thisValue, CGOperationCallExp thatValue)
static java.lang.Boolean	isEquivalent(CGShadowPart thisValue, CGShadowPart thatValue)
static java.lang.Boolean	isEquivalent(CGTupleExp thisValue, CGTupleExp thatValue)
static java.lang.Boolean	isEquivalent(CGTuplePart thisValue, CGTuplePart thatValue)

Methods inherited from class java.lang.Object

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

Constructor Detail

EquivalenceUtil

public EquivalenceUtil()

Method Detail

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGCallExp thisValue,
                                                        @NonNull
                                                        CGCallExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGCollectionExp thisValue,
                                                        @NonNull
                                                        CGCollectionExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGCollectionPart thisValue,
                                                        @NonNull
                                                        CGCollectionPart thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGShadowPart thisValue,
                                                        @NonNull
                                                        CGShadowPart thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGEcoreClassShadowExp thisValue,
                                                        @NonNull
                                                        CGEcoreClassShadowExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGEcoreDataTypeShadowExp thisValue,
                                                        @NonNull
                                                        CGEcoreDataTypeShadowExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGIfExp thisValue,
                                                        @NonNull
                                                        CGIfExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGIterationCallExp thisValue,
                                                        @NonNull
                                                        CGIterationCallExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGLetExp thisValue,
                                                        @NonNull
                                                        CGLetExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGMapExp thisValue,
                                                        @NonNull
                                                        CGMapExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGMapPart thisPart,
                                                        @NonNull
                                                        CGMapPart thatPart)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGNumber thisValue,
                                                        @NonNull
                                                        CGNumber thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGOperationCallExp thisValue,
                                                        @NonNull
                                                        CGOperationCallExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGNavigationCallExp thisValue,
                                                        @NonNull
                                                        CGNavigationCallExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGTupleExp thisValue,
                                                        @NonNull
                                                        CGTupleExp thatValue)

isEquivalent

@Nullable
public static java.lang.Boolean isEquivalent(@NonNull
                                                        CGTuplePart thisValue,
                                                        @NonNull
                                                        CGTuplePart thatValue)