org.eclipse.ocl.pivot.types

Class AbstractInheritance

java.lang.Object

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

org.eclipse.ocl.pivot.types.AbstractInheritance

All Implemented Interfaces:

org.eclipse.emf.common.notify.Notifier, org.eclipse.emf.ecore.EObject, CompleteInheritance, Element, NamedElement, Visitable, Nameable

Direct Known Subclasses:

AbstractExecutorType

public abstract class AbstractInheritance
extends AbstractExecutorNamedElement
implements CompleteInheritance

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AbstractInheritance.FragmentIterable

Field Summary

Fields

Modifier and Type	Field and Description
static int	ABSTRACT
protected int	flags
static int	OCL_ANY
static int	OCL_INVALID
static int	OCL_VOID
static int	ORDERED
static int	UNIQUE

Fields inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

name

Fields inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

EMPTY_ARRAY

Constructor Summary

Constructors

Constructor and Description
AbstractInheritance(java.lang.String name, int flags)

Method Summary

Modifier and Type	Method and Description
CompleteInheritance	getCommonInheritance(CompleteInheritance thatInheritance)
InheritanceFragment	getFragment(CompleteInheritance thatInheritance)
Class	getType()
static void	initStatics() A simple public static method that may be used to force class initialization.
boolean	isInvalid()
boolean	isOclAny()
boolean	isSubInheritanceOf(CompleteInheritance thatInheritance)
boolean	isSuperInheritanceOf(CompleteInheritance thatInheritance)
boolean	isUndefined()
Operation	lookupActualOperation(StandardLibrary standardLibrary, Operation apparentOperation)
LibraryFeature	lookupImplementation(StandardLibrary standardLibrary, Operation apparentOperation) Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.
Operation	lookupLocalOperation(StandardLibrary standardLibrary, java.lang.String operationName, CompleteInheritance... argumentTypes)

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorNamedElement

getName, setName

Methods inherited from class org.eclipse.ocl.pivot.internal.elements.AbstractExecutorElement

accept, allOwnedElements, eAdapters, eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eDeliver, eGet, eGet, eInvoke, eIsProxy, eIsSet, eNotify, eResource, eSet, eSetDeliver, eUnset, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ocl.pivot.CompleteInheritance

getAllProperSuperFragments, getAllSuperFragments, getDepth, getFragment, getFragments, getIndex, getIndexes, getMemberOperation, getMemberProperty, getPivotClass, getSelfFragment, getSuperFragments

Methods inherited from interface org.eclipse.ocl.pivot.utilities.Nameable

getName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.emf.ecore.EObject

eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Field Detail

ORDERED

public static final int ORDERED

See Also:

Constant Field Values

UNIQUE

public static final int UNIQUE

See Also:

Constant Field Values

OCL_ANY

public static final int OCL_ANY

See Also:

Constant Field Values

OCL_VOID

public static final int OCL_VOID

See Also:

Constant Field Values

OCL_INVALID

public static final int OCL_INVALID

See Also:

Constant Field Values

ABSTRACT

public static final int ABSTRACT

Since:

1.1

See Also:

Constant Field Values

flags

protected final int flags

Constructor Detail

AbstractInheritance

public AbstractInheritance(@NonNull
                           java.lang.String name,
                           int flags)

Method Detail

initStatics

public static void initStatics()

A simple public static method that may be used to force class initialization.

getCommonInheritance

@NonNull
public CompleteInheritance getCommonInheritance(@NonNull
                                                          CompleteInheritance thatInheritance)

Specified by:

getCommonInheritance in interface CompleteInheritance

getFragment

@Nullable
public InheritanceFragment getFragment(@NonNull
                                                  CompleteInheritance thatInheritance)

Specified by:

getFragment in interface CompleteInheritance

getType

public Class getType()

Specified by:

getType in interface CompleteInheritance

isInvalid

public final boolean isInvalid()

isOclAny

public final boolean isOclAny()

Specified by:

isOclAny in interface CompleteInheritance

isSubInheritanceOf

public boolean isSubInheritanceOf(@NonNull
                                  CompleteInheritance thatInheritance)

Specified by:

isSubInheritanceOf in interface CompleteInheritance

isSuperInheritanceOf

public boolean isSuperInheritanceOf(@NonNull
                                    CompleteInheritance thatInheritance)

Specified by:

isSuperInheritanceOf in interface CompleteInheritance

isUndefined

public final boolean isUndefined()

Specified by:

isUndefined in interface CompleteInheritance

lookupActualOperation

@NonNull
public Operation lookupActualOperation(@NonNull
                                                 StandardLibrary standardLibrary,
                                                 @NonNull
                                                 Operation apparentOperation)

Specified by:

lookupActualOperation in interface CompleteInheritance

lookupImplementation

@NonNull
public LibraryFeature lookupImplementation(@NonNull
                                                     StandardLibrary standardLibrary,
                                                     @NonNull
                                                     Operation apparentOperation)

Description copied from interface: CompleteInheritance

Return the dynamic (overloaded) implementation of the staticOperation applicable to the types managed by the given Standard Library.

Specified by:

lookupImplementation in interface CompleteInheritance

lookupLocalOperation

@Nullable
public Operation lookupLocalOperation(@NonNull
                                                 StandardLibrary standardLibrary,
                                                 @NonNull
                                                 java.lang.String operationName,
                                                 CompleteInheritance... argumentTypes)

Specified by:

lookupLocalOperation in interface CompleteInheritance