• Page
• Discussion
• View source
• History
• Edit

From Eclipsepedia

Major Facilities

Topic	OMG OCL 2.3	Ecore binding	UML binding	Pivot binding
OCL Standard Library	textual	hard coded	hard coded	modeled as a prototype for OCL 2.4
XMI interchange	under-specified	Proprietary Ecore-based	Proprietary UML and Ecore-based	Prototype for OCL 2.4
Editors	n/a	none	none	Essential OCL, Complete OCL, OCLinEcore, OCLstdlib
Evaluation	n/a	on Ecore models	on Ecore models	on Ecore models
Impact Analyzer	n/a	supported	none	none

Library

Topic	OMG OCL 2.3	Ecore binding	UML binding	Pivot binding
'container'	no operation	eContainer() if EObject	as Ecore	oclContainer()
'contents'	no operation	eContents() if EObject	as Ecore	oclContents()
oclIsNew()			? supported	dummy operation
oclType()	unclear	identity at most	as Ecore	fully reflective
String::toLowerCase	String::toLowerCase	String::toLower	as Ecore	String::toLowerCaseor String::toLower
String::toUpperCase	String::toUpperCase	String::toUpper	as Ecore	String::toUpperCase or String::toUpper

Detailed Functionality

Topic	OMG OCL 2.3	Ecore binding	UML binding	Pivot binding
Integer	unlimited range	Integer on Indigo, Integer or Long on Juno	as Ecore	BigInteger on Indigo, Integer or Long or BigInteger on Juno
Real	unlimited range	Double	as Ecore	BigDecimal
Nested Collections			as Ecore	fully supported
null			as Ecore	fully supported
invalid			as Ecore	fully supported
unlimited			as Ecore	fully supported
@pre	not EssentialOCL	n/a	parsed and ? evaluated	parsed only
pre-conditions	not EssentialOCL	parsed only	parsed only	parsed only
post-conditions	not EssentialOCL	parsed only	parsed only	parsed only
Associations	not EssentialOCL	n/a	supported	work in progress
Non-navigable opposites	optional	configurable	supported	supported
OclMessage	not EssentialOCL	n/a	supported	parsed
OclState	not EssentialOCL	n/a	supported	parsed