org.eclipse.ocl.pivot.internal.manager

Class FinalAnalysis

java.lang.Object

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

public class FinalAnalysis
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
static TracingOption	FINAL_ANALYSIS

Constructor Summary

Constructors

Constructor and Description
FinalAnalysis(CompleteModelInternal completeModel)

Method Summary

Modifier and Type	Method and Description
Iterable<Operation>	getOverrides(Operation operation) Return the overrides of operation.
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(StringBuilder s)

Methods inherited from class java.lang.Object

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

Field Detail

FINAL_ANALYSIS

public static final TracingOption FINAL_ANALYSIS

Since:

1.3

Constructor Detail

FinalAnalysis

public FinalAnalysis(CompleteModelInternal completeModel)

Method Detail

getOverrides

public Iterable<Operation> getOverrides(Operation operation)

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

Since:

1.1

getOverrides

public Iterable<Operation> getOverrides(Operation operation,
                                        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(CompleteClass completeClass)

Return true if no classes derive from completeClass.

Parameters:

completeClass -

Returns:

isFinal

public boolean isFinal(Operation operation)

Return true if no derived classes override operation.

Parameters:

completeClass -

Returns:

isFinal

public Operation isFinal(Operation operation,
                         CompleteClass completeClass)

print

public void print(StringBuilder s)