| EVL: Constraint cross-referencing [message #1717457] |
Mon, 14 December 2015 02:38  |
Eclipse User |
|
|
|
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 09:35] by Moderator |
|
|
|
|
|
|
|
|
| Re: EVL: Constraint cross-referencing [message #1720904 is a reply to message #1717480] |
Thu, 21 January 2016 13:00  |
| Eclipse User |
|
|
|
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
|
|
|
|
|
|
Powered by
FUDForum. Page generated in 0.04854 seconds
Home