Home » Modeling » Epsilon » EVL: Constraint cross-referencing
| EVL: Constraint cross-referencing [message #1717457] |
Mon, 14 December 2015 07:38  |
 Alireza Rouhi
Messages: 148
Registered: December 2015 |
Senior Member |
|
|
Hi,
How can I refer to a specific constraint which is defined in the other context?
For example, in the following code, the c2 constraint must satisfy the c1 constraint of context1. Here, the code self.satisfies("context1:c1")
context context1 {
constraint c1 {
.
.
.
}
}
...
context context2 {
constraint c2 {
guard: self.satisfies("context1:c1") and ...
.
.
.
}
}
Kind regards,
Alireza
[Updated on: Sat, 30 January 2016 14:35] Report message to a moderator |
|
| | | | | | |
| Re: EVL: Constraint cross-referencing [message #1720904 is a reply to message #1717480] |
Thu, 21 January 2016 18:00  |
Alireza Rouhi
Messages: 148
Registered: December 2015 |
Senior Member |
|
|
Dear Dimitris,
Hi,
I have another problem in this topic. Please, consider the following scenario:
context A {
constraint A1 {
.
.
.
}
.
.
.
constraint An {
.
.
.
}
}
context B {
constraint B1 {
.
.
.
}
.
.
.
constraint Bm {
.
.
.
}
}
context C {
constraint C1 {
.
.
.
}
.
.
.
constraint Ck {
.
.
.
}
}
How to make the context A involved constraints, i.e., A1 through An, a prerequisite for evaluating other contexts' constraints like B and C here?
In other words, I would like to have the execution semantics as (A and B and C), but the execution order must be first A, and then B and C.
I used the statements like,
guard: A.satisfiesAll("A1", ..., "An")
in the guard section of the context B, but the displayed error is:
Method 'satisfiesAll' not found for: A
Please, help me to resolve this problem. Thank you very much.
Best regards,
Alireza
|
|
| | | |
Goto Forum:
Current Time: Wed Sep 25 16:41:16 GMT 2024
Powered by FUDForum. Page generated in 0.04663 seconds |
] 
Search
Help
Register
Login
Home
