Home

Contribute

Source code


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

package foo

/* XPECT validationIssues ---
error at 'contains A a oppos it e b' message 'A containment reference of a type with a container feature foo.A.c that requires instances to be contained elsewhere cannot be populated'
error at 'contains A a opposite c' message 'A containment reference of a type with a container feature foo.A.b that requires instances to be contained elsewhere cannot be populated'
--- */

class A
{
  container B [1] b opposite a
  container C [1] c opposite a
} 

class B
{
  contains A a opposite b
}

class C
{
  contains A a opposite c
}