Updated help and ecore/genmodel files
diff --git a/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile b/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile index 93f371d..e5b5f24 100644 --- a/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile +++ b/plugins/org.eclipse.app4mc.amalthea.model.help/docu/model_os.textile
@@ -183,7 +183,7 @@ With this object, a semaphore or locking mechanism can be described which restricts the access of several processes to one resource at the same time. -!../pictures/model_os_semaphore.svg! +!../pictures/model_os_semaphore.png! table(classic). |_. Attribute |_. Description | @@ -191,6 +191,7 @@ | __semaphoreType__ | Defines how the semaphore is implemented (see below) | | __initialValue__ | Initial number of already used/locked resources | | __maxValue__ | Maximum possible number of available locks/resources | +| __ownership__ | Defines if the lock can only be released by the process that acquired it | | __priorityCeilingPrototcol__ | Defines if the priority ceiling protocol is activated. If it is activated, a process that accesses the semaphore gets a higher priority as the processes that can also access the same semaphore | The different types of semaphores are summarized in the following table. For the ownership there are two possibilities: central (only the process that acquired the lock can release it), decentral (any process can release it). Since the ownership is a fixed property of the specific semaphore type, the user cannot explicitly change/model it. The priority ceiling property specifies whether the locking mechanism can be used with the priority ceiling protocol to avoid priority inversion, or not. The waiting behavior specifies how a requesting process is allowed to wait for the lock (during a SemaphoreAccess, see Software Model). The access type specifies how different access types will be interpreted, i.e., spinlocks can only be requested exclusively, since there is only one lock.
diff --git a/plugins/org.eclipse.app4mc.amalthea.model.help/pictures/model_os_semaphore.png b/plugins/org.eclipse.app4mc.amalthea.model.help/pictures/model_os_semaphore.png new file mode 100644 index 0000000..e5021e5 --- /dev/null +++ b/plugins/org.eclipse.app4mc.amalthea.model.help/pictures/model_os_semaphore.png Binary files differ
diff --git a/plugins/org.eclipse.app4mc.amalthea.model.help/pictures/model_os_semaphore.svg b/plugins/org.eclipse.app4mc.amalthea.model.help/pictures/model_os_semaphore.svg deleted file mode 100644 index 7d7f5c0..0000000 --- a/plugins/org.eclipse.app4mc.amalthea.model.help/pictures/model_os_semaphore.svg +++ /dev/null
@@ -1,171 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?><svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" stroke-dasharray="none" shape-rendering="auto" font-family="'Dialog'" width="628" text-rendering="auto" fill-opacity="1" contentScriptType="text/ecmascript" color-interpolation="auto" color-rendering="auto" preserveAspectRatio="xMidYMid meet" font-size="12px" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" diagram:semanticRoot="platform:/resource/org.eclipse.app4mc.amalthea.model.help/help-model/ecore/amalthea.ecore#/" viewBox="0 0 483 185" fill="black" stroke="black" image-rendering="auto" stroke-miterlimit="10" zoomAndPan="magnify" version="1.0" stroke-linecap="square" stroke-linejoin="miter" contentStyleType="text/css" font-style="normal" height="241" stroke-width="1" stroke-dashoffset="0" font-weight="normal" stroke-opacity="1"> - <!--Generated by the Batik Graphics2D SVG Generator--> - <defs id="genericDefs"/> - <g> - <defs id="defs1"> - <linearGradient x1="10" x2="301" y1="27" gradientUnits="userSpaceOnUse" y2="221" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient1" xlink:show="other" spreadMethod="pad"> - <stop stop-opacity="1" stop-color="white" offset="0%"/> - <stop stop-opacity="1" stop-color="rgb(255,252,216)" offset="100%"/> - </linearGradient> - <linearGradient x1="80" x2="221" y1="-15" gradientUnits="userSpaceOnUse" y2="75" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient2" xlink:show="other" spreadMethod="pad"> - <stop stop-opacity="1" stop-color="white" offset="0%"/> - <stop stop-opacity="1" stop-color="rgb(228,228,228)" offset="100%"/> - </linearGradient> - <linearGradient x1="325" x2="471" y1="52" gradientUnits="userSpaceOnUse" y2="181" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient3" xlink:show="other" spreadMethod="pad"> - <stop stop-opacity="1" stop-color="white" offset="0%"/> - <stop stop-opacity="1" stop-color="rgb(221,236,202)" offset="100%"/> - </linearGradient> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath1"> - <path d="M9 74 L304 74 L304 176 L9 176 L9 74 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath2"> - <path d="M9 74 L302 74 L302 174 L9 174 L9 74 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath3"> - <path d="M116 79 L195 79 L195 97 L116 97 L116 79 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath4"> - <path d="M116 79 L198 79 L198 97 L116 97 L116 79 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath5"> - <path d="M14 102 L283 102 L283 120 L14 120 L14 102 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath6"> - <path d="M14 102 L285 102 L285 120 L14 120 L14 102 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath7"> - <path d="M14 118 L202 118 L202 136 L14 136 L14 118 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath8"> - <path d="M14 118 L204 118 L204 136 L14 136 L14 118 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath9"> - <path d="M14 134 L165 134 L165 152 L14 152 L14 134 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath10"> - <path d="M14 134 L167 134 L167 152 L14 152 L14 134 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath11"> - <path d="M14 150 L246 150 L246 168 L14 168 L14 150 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath12"> - <path d="M14 150 L248 150 L248 168 L14 168 L14 150 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath13"> - <path d="M10 100 L301 100 L301 173 L10 173 L10 100 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath14"> - <path d="M79 9 L224 9 L224 52 L79 52 L79 9 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath15"> - <path d="M79 9 L222 9 L222 50 L79 50 L79 9 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath16"> - <path d="M92 14 L208 14 L208 32 L92 32 L92 14 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath17"> - <path d="M92 14 L210 14 L210 32 L92 32 L92 14 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath18"> - <path d="M80 35 L221 35 L221 49 L80 49 L80 35 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath19"> - <path d="M324 59 L474 59 L474 176 L324 176 L324 59 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath20"> - <path d="M324 59 L472 59 L472 174 L324 174 L324 59 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath21"> - <path d="M347 64 L449 64 L449 82 L347 82 L347 64 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath22"> - <path d="M347 64 L452 64 L452 82 L347 82 L347 64 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath23"> - <path d="M329 87 L414 87 L414 105 L329 105 L329 87 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath24"> - <path d="M329 87 L416 87 L416 105 L329 105 L329 87 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath25"> - <path d="M329 103 L457 103 L457 121 L329 121 L329 103 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath26"> - <path d="M329 103 L460 103 L460 121 L329 121 L329 103 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath27"> - <path d="M329 119 L397 119 L397 137 L329 137 L329 119 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath28"> - <path d="M329 119 L399 119 L399 137 L329 137 L329 119 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath29"> - <path d="M329 135 L394 135 L394 153 L329 153 L329 135 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath30"> - <path d="M329 135 L396 135 L396 153 L329 153 L329 135 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath31"> - <path d="M329 151 L382 151 L382 169 L329 169 L329 151 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath32"> - <path d="M329 151 L385 151 L385 169 L329 169 L329 151 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath33"> - <path d="M325 85 L471 85 L471 173 L325 173 L325 85 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath34"> - <path d="M-1 -1 L484 -1 L484 186 L-1 186 L-1 -1 Z"/> - </clipPath> - <clipPath clipPathUnits="userSpaceOnUse" id="clipPath35"> - <path d="M145 48 L156 48 L156 59 L145 59 L145 48 Z"/> - </clipPath> - </defs> - <g font-size="10px" fill="rgb(131,122,133)" font-family="'Segoe UI'" stroke-linejoin="round" stroke="rgb(131,122,133)" stroke-width="0" stroke-miterlimit="0"> - <rect x="11" y="76" clip-path="url(#clipPath1)" width="291" rx="4" opacity="0.255" ry="4" height="98" stroke="none"/> - <rect x="12" y="77" clip-path="url(#clipPath1)" width="291" rx="4" opacity="0.255" ry="4" height="98" stroke="none"/> - <rect x="10" y="75" clip-path="url(#clipPath2)" fill="url(#linearGradient1)" width="291" rx="4" ry="4" height="98" stroke="none"/> - </g> - <g font-size="10px" stroke-width="1.1" font-family="'Segoe UI'" stroke-linecap="butt"> - <rect x="10" y="75" clip-path="url(#clipPath2)" fill="none" width="290" rx="4" ry="4" height="97"/> - <image x="117" y="80" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAsklEQVR4XqWQ0QoB QRSG941sEhJ5F1HaViRCpKwoN25cUFI8khuvYvbq8IuaOuaftr34mmm+ztdpAhEJ 8qAesqIeLouC+PAGTHp34g2c56EasoGngeM0lKd5fDDpl9/9fcLTwGFSlNsplqsD eBrYj0tqbRt4GtgNy2rIBp4G1v0K/QN4GljGVUm2K0k2/4GngVlUU2vbwNPAqFtX QzbwNDDoNOgfwNNAr92UqOUGngay8gIKdwdeFkAbDAAAAABJRU5ErkJggg==" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="136" xml:space="preserve" y="92" clip-path="url(#clipPath4)" stroke="none">Semaphore</text> - <image x="15" y="103" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAWUlEQVR4XmNgGAWD EMyt0f9PCKPrQQFTKwz///h5EScGyaPrQQFdRaYYmpAxSB5dDwqozbH8//3HNTD+ 8ROKYWwgDZJH14MCitJs/2cl2ePEIHl0PaOAQgAAf2WC/D0GsQEAAAAASUVORK5C YII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="34" xml:space="preserve" y="115" clip-path="url(#clipPath6)" stroke="none">semaphoreType : SemaphoreType = _undefined_</text> - <image x="15" y="119" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAWUlEQVR4XmNgGAWD EMyt0f9PCKPrQQFTKwz///h5EScGyaPrQQFdRaYYmpAxSB5dDwqozbH8//3HNTD+ 8ROKYWwgDZJH14MCitJs/2cl2ePEIHl0PaOAQgAAf2WC/D0GsQEAAAAASUVORK5C YII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="34" xml:space="preserve" y="131" clip-path="url(#clipPath8)" stroke="none">initialValue : NonNegativeInt = 0</text> - <image x="15" y="135" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAWUlEQVR4XmNgGAWD EMyt0f9PCKPrQQFTKwz///h5EScGyaPrQQFdRaYYmpAxSB5dDwqozbH8//3HNTD+ 8ROKYWwgDZJH14MCitJs/2cl2ePEIHl0PaOAQgAAf2WC/D0GsQEAAAAASUVORK5C YII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="34" xml:space="preserve" y="147" clip-path="url(#clipPath10)" stroke="none">maxValue : PositiveInt = 1</text> - <image x="15" y="151" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAWUlEQVR4XmNgGAWD EMyt0f9PCKPrQQFTKwz///h5EScGyaPrQQFdRaYYmpAxSB5dDwqozbH8//3HNTD+ 8ROKYWwgDZJH14MCitJs/2cl2ePEIHl0PaOAQgAAf2WC/D0GsQEAAAAASUVORK5C YII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="34" xml:space="preserve" y="163" clip-path="url(#clipPath12)" stroke="none">priorityCeilingProtocol : EBoolean = false</text> - <line y2="101" fill="none" x1="11" clip-path="url(#clipPath13)" x2="300" y1="101"/> - <rect x="81" y="11" clip-path="url(#clipPath14)" fill="rgb(131,122,133)" width="141" rx="4" opacity="0.255" ry="4" height="39" stroke="none"/> - <rect x="82" y="12" clip-path="url(#clipPath14)" fill="rgb(131,122,133)" width="141" rx="4" opacity="0.255" ry="4" height="39" stroke="none"/> - <rect x="80" y="10" clip-path="url(#clipPath15)" fill="url(#linearGradient2)" width="141" rx="4" ry="4" height="39" stroke="none"/> - <rect x="80" y="10" clip-path="url(#clipPath15)" fill="none" width="140" rx="4" ry="4" height="38" stroke="rgb(125,125,125)"/> - <image stroke="rgb(125,125,125)" width="16" xlink:show="embed" xlink:type="simple" fill="rgb(125,125,125)" preserveAspectRatio="none" height="16" font-style="italic" x="93" y="15" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAw0lEQVR4XmP4//8/ AyUYQgApZIyuCB8Ga0YHILG5Nfo4MUgJDMMNQLIdTP/4eRErxmkAMsBnwOxqA7AS GMbpgu8/rgE1QDGMDaSnV2AxAKoRJgDmL5iRgxVPLjdCNQCZA8J9pSYYzkbGIHm8 BnQWmWFoQsYgebwGNOebg/2PKwxA8ngNqMux+N/U1vi/qRU7BsnjNaAyywrD2cgY JI/XgJIMGwxNyBgkj9eAglRbvGEAksdrQG6K/f+sJNwYJI/XAFIxAHIn7dCPjVWK AAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> - <text font-style="italic" x="112" xml:space="preserve" y="27" clip-path="url(#clipPath17)" stroke="none">ReferableBaseObject</text> - <line clip-path="url(#clipPath18)" fill="none" x1="81" x2="220" y1="36" y2="36" stroke="rgb(125,125,125)"/> - <rect x="326" y="61" clip-path="url(#clipPath19)" fill="rgb(131,122,133)" width="146" rx="0" opacity="0.255" ry="0" height="113" stroke="none"/> - <rect x="327" y="62" clip-path="url(#clipPath19)" fill="rgb(131,122,133)" width="146" rx="0" opacity="0.255" ry="0" height="113" stroke="none"/> - <rect x="325" y="60" clip-path="url(#clipPath20)" fill="url(#linearGradient3)" width="146" rx="0" ry="0" height="113" stroke="none"/> - <rect x="325" y="60" clip-path="url(#clipPath20)" fill="none" width="145" rx="0" ry="0" height="112" stroke="rgb(125,125,125)"/> - <image stroke="rgb(125,125,125)" width="16" xlink:show="embed" xlink:type="simple" fill="rgb(125,125,125)" preserveAspectRatio="none" height="16" x="348" y="65" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAe0lEQVR4XmP4//8/ AyUYQ4BUjCFAKsYQAOHSthP/tczT/yOLgfggcXS1eDXD2DCN2AzBqRmmAYaRxZAN oa4LYHjTngdYwwAkjq4WQzOpGEMAhLOS7P+DcGGa7f/aHMv/XUWm/6dWGP6fW6P/ H10thmZSMYYACI+6gDQMAIBP1wRewdGqAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> - <text x="367" xml:space="preserve" y="77" clip-path="url(#clipPath22)" stroke="none">SemaphoreType</text> - <image x="330" y="88" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAYklEQVR4XqXMIQ6A MBBE0d6IICpIINylAgEYUAh6ATySsw6phK8GxDM/uxMkhT8QXAguBBeCC8GF4EIo xtSrWIZWeWp0rFHnVuvaK71v8fwc6JTnDwMOBBeCC8GF4EJwIbhulQfxP3tA33YAAAAASUVORK5CYII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="349" xml:space="preserve" y="100" clip-path="url(#clipPath24)" stroke="none">_undefined_</text> - <image x="330" y="104" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAYklEQVR4XqXMIQ6A MBBE0d6IICpIINylAgEYUAh6ATySsw6phK8GxDM/uxMkhT8QXAguBBeCC8GF4EIo xtSrWIZWeWp0rFHnVuvaK71v8fwc6JTnDwMOBBeCC8GF4EJwIbhulQfxP3tA33YAAAAASUVORK5CYII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="349" xml:space="preserve" y="116" clip-path="url(#clipPath26)" stroke="none">CountingSemaphore</text> - <image x="330" y="120" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAYklEQVR4XqXMIQ6A MBBE0d6IICpIINylAgEYUAh6ATySsw6phK8GxDM/uxMkhT8QXAguBBeCC8GF4EIo xtSrWIZWeWp0rFHnVuvaK71v8fwc6JTnDwMOBBeCC8GF4EJwIbhulQfxP3tA33YAAAAASUVORK5CYII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="349" xml:space="preserve" y="132" clip-path="url(#clipPath28)" stroke="none">Resource</text> - <image x="330" y="136" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAYklEQVR4XqXMIQ6A MBBE0d6IICpIINylAgEYUAh6ATySsw6phK8GxDM/uxMkhT8QXAguBBeCC8GF4EIo xtSrWIZWeWp0rFHnVuvaK71v8fwc6JTnDwMOBBeCC8GF4EJwIbhulQfxP3tA33YAAAAASUVORK5CYII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="349" xml:space="preserve" y="148" clip-path="url(#clipPath30)" stroke="none">Spinlock</text> - <image x="330" y="152" width="16" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAYklEQVR4XqXMIQ6A MBBE0d6IICpIINylAgEYUAh6ATySsw6phK8GxDM/uxMkhT8QXAguBBeCC8GF4EIo xtSrWIZWeWp0rFHnVuvaK71v8fwc6JTnDwMOBBeCC8GF4EJwIbhulQfxP3tA33YAAAAASUVORK5CYII=" xlink:type="simple" xlink:actuate="onLoad" height="16" preserveAspectRatio="none" xlink:show="embed"/> - <text x="349" xml:space="preserve" y="164" clip-path="url(#clipPath32)" stroke="none">Mutex</text> - <line clip-path="url(#clipPath33)" fill="none" x1="326" x2="470" y1="86" y2="86" stroke="rgb(125,125,125)"/> - <line clip-path="url(#clipPath34)" fill="none" x1="150" x2="150" y1="75" y2="49" stroke="rgb(136,136,136)"/> - <polygon fill="white" clip-path="url(#clipPath35)" points=" 150 49 154 57 146 57" stroke="none"/> - <polygon fill="none" clip-path="url(#clipPath35)" points=" 150 49 154 57 146 57" stroke="rgb(136,136,136)"/> - </g> - </g> -</svg>
diff --git a/plugins/org.eclipse.app4mc.amalthea.model/model-gen/ecore/amalthea.ecore b/plugins/org.eclipse.app4mc.amalthea.model/model-gen/ecore/amalthea.ecore index f5207f5..b95c5e9 100644 --- a/plugins/org.eclipse.app4mc.amalthea.model/model-gen/ecore/amalthea.ecore +++ b/plugins/org.eclipse.app4mc.amalthea.model/model-gen/ecore/amalthea.ecore
@@ -2587,6 +2587,9 @@ eType="#//NonNegativeInt" defaultValueLiteral="0"/> <eStructuralFeatures xsi:type="ecore:EAttribute" name="maxValue" unique="false" eType="#//PositiveInt" defaultValueLiteral="1"/> + <eStructuralFeatures xsi:type="ecore:EAttribute" name="ownership" unique="false" + eType="ecore:EDataType ecore.ecore#//EBoolean" + defaultValueLiteral="true"/> <eStructuralFeatures xsi:type="ecore:EAttribute" name="priorityCeilingProtocol" unique="false" eType="ecore:EDataType ecore.ecore#//EBoolean" defaultValueLiteral="false"/>
diff --git a/plugins/org.eclipse.app4mc.amalthea.model/model-gen/ecore/amalthea.genmodel b/plugins/org.eclipse.app4mc.amalthea.model/model-gen/ecore/amalthea.genmodel index 3a9bc84..4625176 100644 --- a/plugins/org.eclipse.app4mc.amalthea.model/model-gen/ecore/amalthea.genmodel +++ b/plugins/org.eclipse.app4mc.amalthea.model/model-gen/ecore/amalthea.genmodel
@@ -1514,6 +1514,7 @@ <genFeatures createChild="false" ecoreFeature="ecore:EAttribute amalthea.ecore#//Semaphore/semaphoreType"/> <genFeatures createChild="false" ecoreFeature="ecore:EAttribute amalthea.ecore#//Semaphore/initialValue"/> <genFeatures createChild="false" ecoreFeature="ecore:EAttribute amalthea.ecore#//Semaphore/maxValue"/> + <genFeatures createChild="false" ecoreFeature="ecore:EAttribute amalthea.ecore#//Semaphore/ownership"/> <genFeatures createChild="false" ecoreFeature="ecore:EAttribute amalthea.ecore#//Semaphore/priorityCeilingProtocol"/> <genFeatures property="Readonly" notify="false" createChild="false" propertyCategory="Read only" ecoreFeature="ecore:EReference amalthea.ecore#//Semaphore/semaphoreAccesses"