org.eclipse.ocl.pivot.internal.manager

Class FinalAnalysis

java.lang.Object

org.eclipse.ocl.pivot.internal.manager.FinalAnalysis

public class FinalAnalysis
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected CompleteModelInternal	completeModel
protected PivotMetamodelManager	metamodelManager Deprecated.

Constructor Summary

Constructors

Constructor and Description
FinalAnalysis(CompleteModelInternal completeModel)

Method Summary

Modifier and Type	Method and Description
java.lang.Iterable<Operation>	getOverrides(Operation operation) Return the overrides of operation.
java.lang.Iterable<Operation>	getOverrides(Operation operation, CompleteClass completeClass) Return the overrides of operation that are applicable to a source type of completeClass.
boolean	isFinal(CompleteClass completeClass) Return true if no classes derive from completeClass.
boolean	isFinal(Operation operation) Return true if no derived classes override operation.
Operation	isFinal(Operation operation, CompleteClass completeClass)
void	print(java.lang.StringBuilder s)

Methods inherited from class java.lang.Object

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

Field Detail

completeModel

@NonNull
protected final CompleteModelInternal completeModel

metamodelManager

@Deprecated
 @NonNull
protected final PivotMetamodelManager metamodelManager

Deprecated.

Constructor Detail

FinalAnalysis

public FinalAnalysis(@NonNull
                     CompleteModelInternal completeModel)

Method Detail

getOverrides

@NonNull
public java.lang.Iterable<Operation> getOverrides(@NonNull
                                                            Operation operation)

Return the overrides of operation. If there are no overrides the original operation is returned.

Since:

1.1

getOverrides

@NonNull
public java.lang.Iterable<Operation> getOverrides(@NonNull
                                                            Operation operation,
                                                            @NonNull
                                                            CompleteClass completeClass)

Return the overrides of operation that are applicable to a source type of completeClass. If there are no overrides the original operation is returned.

Since:

1.1

isFinal

public boolean isFinal(@NonNull
                       CompleteClass completeClass)

Return true if no classes derive from completeClass.

Parameters:

completeClass -

Returns:

isFinal

public boolean isFinal(@NonNull
                       Operation operation)

Return true if no derived classes override operation.

Parameters:

completeClass -

Returns:

isFinal

@Nullable
public Operation isFinal(@NonNull
                                    Operation operation,
                                    @NonNull
                                    CompleteClass completeClass)

print

public void print(@NonNull
                  java.lang.StringBuilder s)