Eclipse Community Forums: Ecore Tools » How to use EType "Sequence"

Help

Home

Home » Modeling » Ecore Tools » How to use EType "Sequence"

Show: Today's Messages :: Show Polls :: Message Navigator

How to use EType "Sequence" [message #633954]

Wed, 20 October 2010 03:36

hutzu

Messages: 15
Registered: September 2010

Junior Member

I design a stack.ecore and stack.ocl.
stack.ocl showing~
context Stack:: Stack():
post: stack = Sequence{}

context Stack::push(element: Integer):
post: stack = stack@pre->prepend(element)

context Stack::pop():
pre: stack@pre->size() > 0
post: stack = stack@pre->
subSequence(2, stack@pre->size())

context Stack::peek(): Integer
pre: stack@pre->size() > 0
post: result = stack@pre->first()

context Stack::size(): Integer
post: result = stack@pre->size()

and then i want to finish stack.ecore
i suddenly found ecore has no EType "Sequence"
i look for Package org.eclipse.ocl.ecore
it reallys had "SequenceType"
or how to extend it. thanks a lot
hutzu

Report message to a moderator