org.eclipse.ocl.examples.pivot
Interface OCLFactory

All Known Implementing Classes:
OCLFactoryImpl

public interface OCLFactory

Interface for a factory of OCl Abstract Syntax elements.

Author:
Christian W. Damus (cdamus

Method Summary
 AssociationClassCallExp createAssociationClassCallExp()
          Returns a new object of class 'Association Class Call Exp'.
 BagType createBagType(Type elementType)
          Returns a new object of class 'Bag Type'.
 BooleanLiteralExp createBooleanLiteralExp()
          Returns a new object of class 'Boolean Literal Exp'.
 CollectionItem createCollectionItem()
          Returns a new object of class 'Collection Item'.
 CollectionLiteralExp createCollectionLiteralExp()
          Returns a new object of class 'Collection Literal Exp'.
 CollectionRange createCollectionRange()
          Returns a new object of class 'Collection Range'.
 CollectionType createCollectionType(CollectionKind kind, Type elementType)
          Returns a new object of class 'Collection Type'.
 CollectionType createCollectionType(Type elementType)
          Returns a new object of class 'Collection Type'.
 EnumLiteralExp createEnumLiteralExp()
          Returns a new object of class 'Enum Literal Exp'.
 IfExp createIfExp()
          Returns a new object of class 'If Exp'.
 IntegerLiteralExp createIntegerLiteralExp()
          Returns a new object of class 'Integer Literal Exp'.
 InvalidLiteralExp createInvalidLiteralExp()
          Returns a new object of class 'Invalid Literal Exp'.
 LetExp createLetExp()
          Returns a new object of class 'Let Exp'.
 MessageExp createMessageExp()
          Returns a new object of class 'Message Exp'.
 NullLiteralExp createNullLiteralExp()
          Returns a new object of class 'Null Literal Exp'.
 OperationCallExp createOperationCallExp()
          Returns a new object of class 'Operation Call Exp'.
 MessageType createOperationMessageType(Operation operation)
          Creates the type for the messages representing invocation of the specified operation.
 OrderedSetType createOrderedSetType(Type elementType)
          Returns a new object of class 'Ordered Set Type'.
 PropertyCallExp createPropertyCallExp()
          Returns a new object of class 'Property Call Exp'.
 RealLiteralExp createRealLiteralExp()
          Returns a new object of class 'Real Literal Exp'.
 SequenceType createSequenceType(Type elementType)
          Returns a new object of class 'Sequence Type'.
 SetType createSetType(Type elementType)
          Returns a new object of class 'Set Type'.
 MessageType createSignalMessageType(Signal signal)
          Creates the type for the messages representing invocation of the specified signal.
 StateExp createStateExp()
          Returns a new object of class 'State Exp'.
 StringLiteralExp createStringLiteralExp()
          Returns a new object of class 'String Literal Exp'.
 TupleLiteralExp createTupleLiteralExp()
          Returns a new object of class 'Tuple Literal Exp'.
 TupleLiteralPart createTupleLiteralPart()
          Returns a new object of class 'Tuple Literal Part'.
 TypeExp createTypeExp()
          Returns a new object of class 'Type Exp'.
 UnlimitedNaturalLiteralExp createUnlimitedNaturalLiteralExp()
          Returns a new object of class 'Unlimited Natural Literal Exp'.
 UnspecifiedValueExp createUnspecifiedValueExp()
          Returns a new object of class 'Unspecified Value Exp'.
 Variable createVariable()
          Returns a new object of class 'Variable'.
 VariableExp createVariableExp()
          Returns a new object of class 'Variable Exp'.
 

Method Detail

createBagType

BagType createBagType(Type elementType)
Returns a new object of class 'Bag Type'.

Returns:
a new object of class 'Bag Type'.
Generated
NOT

createCollectionType

CollectionType createCollectionType(Type elementType)
Returns a new object of class 'Collection Type'.

Returns:
a new object of class 'Collection Type'.
Generated
NOT

createCollectionType

CollectionType createCollectionType(CollectionKind kind,
                                    Type elementType)
Returns a new object of class 'Collection Type'.

Returns:
a new object of class 'Collection Type'.
Generated
NOT

createOrderedSetType

OrderedSetType createOrderedSetType(Type elementType)
Returns a new object of class 'Ordered Set Type'.

Returns:
a new object of class 'Ordered Set Type'.
Generated
NOT

createSequenceType

SequenceType createSequenceType(Type elementType)
Returns a new object of class 'Sequence Type'.

Returns:
a new object of class 'Sequence Type'.
Generated
NOT

createSetType

SetType createSetType(Type elementType)
Returns a new object of class 'Set Type'.

Returns:
a new object of class 'Set Type'.
Generated
NOT

createSignalMessageType

MessageType createSignalMessageType(Signal signal)
Creates the type for the messages representing invocation of the specified signal.

Parameters:
signal - either a sent signal
Returns:
the message type
Generated
NOT

createOperationMessageType

MessageType createOperationMessageType(Operation operation)
Creates the type for the messages representing invocation of the specified operation.

Parameters:
operation - a called operation
Returns:
the message type
Generated
NOT

createAssociationClassCallExp

AssociationClassCallExp createAssociationClassCallExp()
Returns a new object of class 'Association Class Call Exp'.

Returns:
a new object of class 'Association Class Call Exp'.
Generated

createBooleanLiteralExp

BooleanLiteralExp createBooleanLiteralExp()
Returns a new object of class 'Boolean Literal Exp'.

Returns:
a new object of class 'Boolean Literal Exp'.
Generated

createCollectionItem

CollectionItem createCollectionItem()
Returns a new object of class 'Collection Item'.

Returns:
a new object of class 'Collection Item'.
Generated

createCollectionLiteralExp

CollectionLiteralExp createCollectionLiteralExp()
Returns a new object of class 'Collection Literal Exp'.

Returns:
a new object of class 'Collection Literal Exp'.
Generated

createCollectionRange

CollectionRange createCollectionRange()
Returns a new object of class 'Collection Range'.

Returns:
a new object of class 'Collection Range'.
Generated

createEnumLiteralExp

EnumLiteralExp createEnumLiteralExp()
Returns a new object of class 'Enum Literal Exp'.

Returns:
a new object of class 'Enum Literal Exp'.
Generated

createIfExp

IfExp createIfExp()
Returns a new object of class 'If Exp'.

Returns:
a new object of class 'If Exp'.
Generated

createIntegerLiteralExp

IntegerLiteralExp createIntegerLiteralExp()
Returns a new object of class 'Integer Literal Exp'.

Returns:
a new object of class 'Integer Literal Exp'.
Generated

createUnlimitedNaturalLiteralExp

UnlimitedNaturalLiteralExp createUnlimitedNaturalLiteralExp()
Returns a new object of class 'Unlimited Natural Literal Exp'.

Returns:
a new object of class 'Unlimited Natural Literal Exp'.
Generated

createInvalidLiteralExp

InvalidLiteralExp createInvalidLiteralExp()
Returns a new object of class 'Invalid Literal Exp'.

Returns:
a new object of class 'Invalid Literal Exp'.
Generated

createLetExp

LetExp createLetExp()
Returns a new object of class 'Let Exp'.

Returns:
a new object of class 'Let Exp'.
Generated

createMessageExp

MessageExp createMessageExp()
Returns a new object of class 'Message Exp'.

Returns:
a new object of class 'Message Exp'.
Generated

createNullLiteralExp

NullLiteralExp createNullLiteralExp()
Returns a new object of class 'Null Literal Exp'.

Returns:
a new object of class 'Null Literal Exp'.
Generated

createOperationCallExp

OperationCallExp createOperationCallExp()
Returns a new object of class 'Operation Call Exp'.

Returns:
a new object of class 'Operation Call Exp'.
Generated

createPropertyCallExp

PropertyCallExp createPropertyCallExp()
Returns a new object of class 'Property Call Exp'.

Returns:
a new object of class 'Property Call Exp'.
Generated

createRealLiteralExp

RealLiteralExp createRealLiteralExp()
Returns a new object of class 'Real Literal Exp'.

Returns:
a new object of class 'Real Literal Exp'.
Generated

createStateExp

StateExp createStateExp()
Returns a new object of class 'State Exp'.

Returns:
a new object of class 'State Exp'.
Generated

createStringLiteralExp

StringLiteralExp createStringLiteralExp()
Returns a new object of class 'String Literal Exp'.

Returns:
a new object of class 'String Literal Exp'.
Generated

createTupleLiteralExp

TupleLiteralExp createTupleLiteralExp()
Returns a new object of class 'Tuple Literal Exp'.

Returns:
a new object of class 'Tuple Literal Exp'.
Generated

createTupleLiteralPart

TupleLiteralPart createTupleLiteralPart()
Returns a new object of class 'Tuple Literal Part'.

Returns:
a new object of class 'Tuple Literal Part'.
Generated

createTypeExp

TypeExp createTypeExp()
Returns a new object of class 'Type Exp'.

Returns:
a new object of class 'Type Exp'.
Generated

createUnspecifiedValueExp

UnspecifiedValueExp createUnspecifiedValueExp()
Returns a new object of class 'Unspecified Value Exp'.

Returns:
a new object of class 'Unspecified Value Exp'.
Generated

createVariable

Variable createVariable()
Returns a new object of class 'Variable'.

Returns:
a new object of class 'Variable'.
Generated

createVariableExp

VariableExp createVariableExp()
Returns a new object of class 'Variable Exp'.

Returns:
a new object of class 'Variable Exp'.
Generated