|
| 1 | +//* |
| 2 | +XPECT_SETUP org.omg.sysml.xpect.tests.validation.valid.SysMLTests |
| 3 | + ResourceSet { |
| 4 | + ThisFile {} |
| 5 | + File {from ="/library.kernel/Base.kerml"} |
| 6 | + File {from ="/library.kernel/Links.kerml"} |
| 7 | + File {from ="/library.kernel/Occurrences.kerml"} |
| 8 | + File {from ="/library.kernel/Objects.kerml"} |
| 9 | + File {from ="/library.kernel/Performances.kerml"} |
| 10 | + File {from ="/library.kernel/BaseFunctions.kerml"} |
| 11 | + File {from ="/library.kernel/ScalarValues.kerml"} |
| 12 | + File {from ="/library.kernel/ScalarFunctions.kerml"} |
| 13 | + File {from ="/library.systems/Items.sysml"} |
| 14 | + File {from ="/library.systems/Parts.sysml"} |
| 15 | + File {from ="/library.systems/Ports.sysml"} |
| 16 | + File {from ="/library.domain/Quantities and Units/ISQ.sysml"} |
| 17 | + File {from ="/library.domain/Quantities and Units/SI.sysml"} |
| 18 | + |
| 19 | + |
| 20 | + } |
| 21 | + Workspace { |
| 22 | + JavaProject { |
| 23 | + SrcFolder { |
| 24 | + ThisFile {} |
| 25 | + File {from ="/library.kernel/Base.kerml"} |
| 26 | + File {from ="/library.kernel/Links.kerml"} |
| 27 | + File {from ="/library.kernel/Occurrences.kerml"} |
| 28 | + File {from ="/library.kernel/Objects.kerml"} |
| 29 | + File {from ="/library.kernel/Performances.kerml"} |
| 30 | + File {from ="/library.kernel/BaseFunctions.kerml"} |
| 31 | + File {from ="/library.kernel/ScalarValues.kerml"} |
| 32 | + File {from ="/library.kernel/ScalarFunctions.kerml"} |
| 33 | + File {from ="/library.systems/Items.sysml"} |
| 34 | + File {from ="/library.systems/Parts.sysml"} |
| 35 | + File {from ="/library.systems/Ports.sysml"} |
| 36 | + File {from ="/library.domain/Quantities and Units/ISQ.sysml"} |
| 37 | + File {from ="/library.domain/Quantities and Units/SI.sysml"} |
| 38 | + } |
| 39 | + } |
| 40 | + } |
| 41 | +END_SETUP |
| 42 | +*/ |
| 43 | +package PortionUsage_Invalid { |
| 44 | + part p1 { |
| 45 | + snapshot s1; |
| 46 | + timeslice t1 { |
| 47 | + snapshot s2; |
| 48 | + } |
| 49 | + } |
| 50 | + |
| 51 | + // XPECT errors -->"Must be owned by an occurrence definition or usage." at "snapshot s2;" |
| 52 | + snapshot s2; |
| 53 | + // XPECT errors -->"Must be owned by an occurrence definition or usage." at "timeslice t2;" |
| 54 | + timeslice t2; |
| 55 | +} |
0 commit comments