Uses of Interface
org.eclipse.ocl.examples.pivot.StandardLibrary

Packages that use StandardLibrary

org.eclipse.ocl.examples.pivot
org.eclipse.ocl.examples.pivot.model
org.eclipse.ocl.examples.pivot.utilities
org.eclipse.ocl.examples.xtext.console

Uses of StandardLibrary in org.eclipse.ocl.examples.pivot

Methods in org.eclipse.ocl.examples.pivot that return StandardLibrary

StandardLibrary

Environment.getOCLStandardLibrary() Obtains the collection of core types representing the OCL Standard Library.

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

Methods in org.eclipse.ocl.examples.pivot.model with parameters of type StandardLibrary

static Package

OclMetaModel.create(StandardLibrary standardLibrary) Create and return a pivot model of the Pivot Model.

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

OclMetaModel(StandardLibrary standardLibrary)

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

Classes in org.eclipse.ocl.examples.pivot.utilities that implement StandardLibrary

class	PivotStandardLibrary
class	TypeCaches
class	TypeManager A TypeManager adapts a ResourceSet to provide facilities for the pivot model.

Methods in org.eclipse.ocl.examples.pivot.utilities that return StandardLibrary

StandardLibrary

PivotEnvironment.getOCLStandardLibrary()

Uses of StandardLibrary in org.eclipse.ocl.examples.xtext.console

Classes in org.eclipse.ocl.examples.xtext.console that implement StandardLibrary

protected static class

OCLConsolePage.CancelableTypeManager