Eclipse Community Forums: Epsilon » [EVL] Can a context ever be depended on/have dependencies?

Help

Home

Home » Modeling » Epsilon » [EVL] Can a context ever be depended on/have dependencies?

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

[EVL] Can a context ever be depended on/have dependencies? [message #1760665]

Sun, 30 April 2017 21:44

Sina Madani

Messages: 160
Registered: November 2015
Location: York, UK

Senior Member

Hello,

I was just wondering whether theoretically it is possible / valid for a context in EVL to have dependencies? Specifically, would it even make sense to have a "satisfies" call in the guard block of a context? If so, would contexts depend on other contexts and/or constraints?

Thanks,
Sina

Report message to a moderator

Re: [EVL] Can a context ever be depended on/have dependencies? [message #1760672 is a reply to message #1760665]

Mon, 01 May 2017 08:45

Dimitris Kolovos

Messages: 2163
Registered: July 2009
Location: York, UK

Senior Member

Hi Sina,

Adding a satisfies call in the guard of a context would be a shorthand for calling satisfies in each of the contained constraints' guards, so that's a perfectly plausible scenario.

Cheers,
Dimitris

Report message to a moderator

Previous Topic:	Explanation view Validation
Next Topic:	Saving uml model

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Apr 23 16:55:42 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter