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

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.model.AbstractContents
      extended by 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)