org.eclipse.ocl.examples.pivot.manager
Class FinalAnalysis

java.lang.Object
  org.eclipse.ocl.examples.pivot.manager.FinalAnalysis

public class FinalAnalysis
extends java.lang.Object

Field Summary

protected MetaModelManager

metaModelManager

Constructor Summary

FinalAnalysis(PackageManager packageManager)

Method Summary

boolean	isFinal(DomainInheritance domainInheritance)
boolean	isFinal(DomainOperation operation)
DomainOperation	isFinal(DomainOperation operation, DomainInheritance domainInheritance)
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

metaModelManager

@NonNull
protected final MetaModelManager metaModelManager

Constructor Detail

FinalAnalysis

public FinalAnalysis(@NonNull
                     PackageManager packageManager)

Method Detail

isFinal

public boolean isFinal(@NonNull
                       DomainInheritance domainInheritance)

isFinal

public boolean isFinal(@NonNull
                       DomainOperation operation)

isFinal

@Nullable
public DomainOperation isFinal(@NonNull
                                        DomainOperation operation,
                                        @NonNull
                                        DomainInheritance domainInheritance)

print

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