org.eclipse.ocl.examples.pivot.model
Class AbstractContents

java.lang.Object
  extended by org.eclipse.ocl.examples.pivot.model.AbstractContents
Direct Known Subclasses:
OCLMetaModel.Contents, OCLstdlib.Contents

public class AbstractContents
extends java.lang.Object


Field Summary
protected  PivotStandardLibrary standardLibrary
           
 
Constructor Summary
protected AbstractContents()
           
protected AbstractContents(PivotStandardLibrary standardLibrary)
           
 
Method Summary
protected  AnyType createAnyType(java.lang.String name)
           
protected  BagType createBagType(java.lang.String name)
           
protected  Class createClass(java.lang.String name)
           
protected  ClassifierType createClassifierType(java.lang.String name)
           
protected  CollectionType createCollectionType(java.lang.String name)
           
protected  DataType createDataType(java.lang.String name)
           
protected  Enumeration createEnumeration(java.lang.String name)
           
protected  EnumerationLiteral createEnumerationLiteral(java.lang.String name)
           
protected  InvalidType createInvalidType(java.lang.String name)
           
protected  Iteration createIteration(java.lang.String name, Type type, java.lang.String implementationClass, LibraryFeature implementation)
           
protected  LambdaType createLambdaType(java.lang.String name)
           
protected  Library createLibrary(java.lang.String name, java.lang.String nsPrefix, java.lang.String nsURI)
           
protected  Operation createOperation(java.lang.String name, Type type, java.lang.String implementationClass, LibraryFeature implementation)
           
protected  OrderedSetType createOrderedSetType(java.lang.String name)
           
protected  Package createPackage(java.lang.String name, java.lang.String nsPrefix, java.lang.String nsURI)
           
protected  Parameter createParameter(java.lang.String name, Type type)
           
protected  Precedence createPrecedence(java.lang.String name, AssociativityKind kind)
           
protected  PrimitiveType createPrimitiveType(java.lang.String name)
           
protected  Property createProperty(java.lang.String name, Type type)
           
protected  SelfType createSelfType(java.lang.String name)
           
protected  SequenceType createSequenceType(java.lang.String name)
           
protected  SetType createSetType(java.lang.String name)
           
protected  TemplateBinding createTemplateBinding(TemplateSignature templateSignature, TemplateParameterSubstitution... templateParameterSubstitutions)
           
protected  TemplateParameterSubstitution createTemplateParameterSubstitution(TemplateParameter formal, ParameterableElement actual)
           
protected  TemplateSignature createTemplateSignature(TemplateableElement templateableElement, TemplateParameter... templateParameters)
           
protected  TupleType createTupleType(java.lang.String name, Property... properties)
           
protected  TypeTemplateParameter createTypeTemplateParameter(Type type)
           
protected  VoidType createVoidType(java.lang.String name)
           
protected  void installComment(Element element, java.lang.String body)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

standardLibrary

protected final PivotStandardLibrary standardLibrary
Constructor Detail

AbstractContents

protected AbstractContents()

AbstractContents

protected AbstractContents(PivotStandardLibrary standardLibrary)
Method Detail

createAnyType

protected AnyType createAnyType(java.lang.String name)

createBagType

protected BagType createBagType(java.lang.String name)

createClass

protected Class createClass(java.lang.String name)

createClassifierType

protected ClassifierType createClassifierType(java.lang.String name)

createCollectionType

protected CollectionType createCollectionType(java.lang.String name)

createDataType

protected DataType createDataType(java.lang.String name)

createEnumeration

protected Enumeration createEnumeration(java.lang.String name)

createEnumerationLiteral

protected EnumerationLiteral createEnumerationLiteral(java.lang.String name)

createIteration

protected Iteration createIteration(java.lang.String name,
                                    Type type,
                                    java.lang.String implementationClass,
                                    LibraryFeature implementation)

createInvalidType

protected InvalidType createInvalidType(java.lang.String name)

createLambdaType

protected LambdaType createLambdaType(java.lang.String name)

createLibrary

protected Library createLibrary(java.lang.String name,
                                java.lang.String nsPrefix,
                                java.lang.String nsURI)

createOperation

protected Operation createOperation(java.lang.String name,
                                    Type type,
                                    java.lang.String implementationClass,
                                    LibraryFeature implementation)

createOrderedSetType

protected OrderedSetType createOrderedSetType(java.lang.String name)

createPackage

protected Package createPackage(java.lang.String name,
                                java.lang.String nsPrefix,
                                java.lang.String nsURI)

createParameter

protected Parameter createParameter(java.lang.String name,
                                    Type type)

createPrecedence

protected Precedence createPrecedence(java.lang.String name,
                                      AssociativityKind kind)

createPrimitiveType

protected PrimitiveType createPrimitiveType(java.lang.String name)

createProperty

protected Property createProperty(java.lang.String name,
                                  Type type)

createSelfType

protected SelfType createSelfType(java.lang.String name)

createSequenceType

protected SequenceType createSequenceType(java.lang.String name)

createSetType

protected SetType createSetType(java.lang.String name)

createTemplateBinding

protected TemplateBinding createTemplateBinding(TemplateSignature templateSignature,
                                                TemplateParameterSubstitution... templateParameterSubstitutions)

createTemplateParameterSubstitution

protected TemplateParameterSubstitution createTemplateParameterSubstitution(TemplateParameter formal,
                                                                            ParameterableElement actual)

createTemplateSignature

protected TemplateSignature createTemplateSignature(TemplateableElement templateableElement,
                                                    TemplateParameter... templateParameters)

createTupleType

protected TupleType createTupleType(java.lang.String name,
                                    Property... properties)

createTypeTemplateParameter

protected TypeTemplateParameter createTypeTemplateParameter(Type type)

createVoidType

protected VoidType createVoidType(java.lang.String name)

installComment

protected void installComment(Element element,
                              java.lang.String body)