Uses of Class
org.eclipse.ocl.examples.pivot.manager.PivotStandardLibrary

Packages that use PivotStandardLibrary

org.eclipse.ocl.examples.pivot.manager
org.eclipse.ocl.examples.pivot.model
org.eclipse.ocl.examples.pivot.utilities

Uses of PivotStandardLibrary in org.eclipse.ocl.examples.pivot.manager

Subclasses of PivotStandardLibrary in org.eclipse.ocl.examples.pivot.manager

class

MetaModelManager

Uses of PivotStandardLibrary in org.eclipse.ocl.examples.pivot.model

Fields in org.eclipse.ocl.examples.pivot.model declared as PivotStandardLibrary

protected PivotStandardLibrary

AbstractContents.standardLibrary

Constructors in org.eclipse.ocl.examples.pivot.model with parameters of type PivotStandardLibrary

AbstractContents(PivotStandardLibrary standardLibrary)

OCLMetaModel.Contents(PivotStandardLibrary standardLibrary)

OCLMetaModel(PivotStandardLibrary standardLibrary, java.lang.String name, java.lang.String nsPrefix, java.lang.String nsURI)

Uses of PivotStandardLibrary in org.eclipse.ocl.examples.pivot.utilities

Subclasses of PivotStandardLibrary in org.eclipse.ocl.examples.pivot.utilities

class

TypeManager Deprecated.