org.eclipse.ocl.examples.pivot.model
Class OCLMetaModel.LibraryContents

java.lang.Object
  org.eclipse.ocl.examples.pivot.model.AbstractContents
      org.eclipse.ocl.examples.pivot.model.OCLMetaModel.LibraryContents

Direct Known Subclasses:

OCLMetaModel.Contents

Enclosing class:

OCLMetaModel

protected static class OCLMetaModel.LibraryContents
extends AbstractContents

Field Summary

protected PivotStandardLibrary

standardLibrary

Constructor Summary

protected

OCLMetaModel.LibraryContents(PivotStandardLibrary standardLibrary)

Method Summary

Methods inherited from class org.eclipse.ocl.examples.pivot.model.AbstractContents

createAnyType, createBagType, createClass, createClass, createCollectionType, createDataType, createDataType, createEnumeration, createEnumeration, createEnumerationLiteral, createEnumerationLiteral, createInvalidType, createIteration, createLambdaType, createLibrary, createMetaclass, createOpaqueExpression, createOperation, createOperation, createOrderedSetType, createPackage, createPackage, createParameter, createPrecedence, createPrimitiveType, createProperty, createProperty, createRoot, createRoot, createSelfType, createSequenceType, createSetType, createTemplateBinding, createTemplateParameterSubstitution, createTemplateSignature, createTupleType, createTypeTemplateParameter, createVoidType, installComment

Methods inherited from class java.lang.Object

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

Field Detail

standardLibrary

@NonNull
protected final PivotStandardLibrary standardLibrary

Constructor Detail

OCLMetaModel.LibraryContents

protected OCLMetaModel.LibraryContents(@NonNull
                                       PivotStandardLibrary standardLibrary)