| <?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="674" 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 518 360" 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="468" 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="19" x2="313" y1="201" gradientUnits="userSpaceOnUse" y2="397" 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="10" x2="321" y1="63" gradientUnits="userSpaceOnUse" y2="252" 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(255,252,216)" offset="100%"/> |
| </linearGradient> |
| <linearGradient x1="350" x2="506" y1="-4" gradientUnits="userSpaceOnUse" y2="123" 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> |
| <linearGradient x1="360" x2="506" y1="230" gradientUnits="userSpaceOnUse" y2="357" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient4" 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> |
| <linearGradient x1="93" x2="239" y1="27" gradientUnits="userSpaceOnUse" y2="120" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient5" 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="375" x2="506" y1="118" gradientUnits="userSpaceOnUse" y2="224" xlink:type="simple" xlink:actuate="onLoad" id="linearGradient6" 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="M18 249 L316 249 L316 351 L18 351 L18 249 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath2"> |
| <path d="M18 249 L314 249 L314 349 L18 349 L18 249 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath3"> |
| <path d="M126 254 L205 254 L205 272 L126 272 L126 254 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath4"> |
| <path d="M126 254 L208 254 L208 272 L126 272 L126 254 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath5"> |
| <path d="M23 277 L292 277 L292 295 L23 295 L23 277 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath6"> |
| <path d="M23 277 L294 277 L294 295 L23 295 L23 277 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath7"> |
| <path d="M23 293 L211 293 L211 311 L23 311 L23 293 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath8"> |
| <path d="M23 293 L213 293 L213 311 L23 311 L23 293 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath9"> |
| <path d="M23 309 L174 309 L174 327 L23 327 L23 309 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath10"> |
| <path d="M23 309 L176 309 L176 327 L23 327 L23 309 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath11"> |
| <path d="M23 325 L255 325 L255 343 L23 343 L23 325 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath12"> |
| <path d="M23 325 L257 325 L257 343 L23 343 L23 325 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath13"> |
| <path d="M19 275 L313 275 L313 348 L19 348 L19 275 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath14"> |
| <path d="M9 122 L324 122 L324 194 L9 194 L9 122 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath15"> |
| <path d="M9 122 L322 122 L322 192 L9 192 L9 122 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath16"> |
| <path d="M109 127 L221 127 L221 145 L109 145 L109 127 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath17"> |
| <path d="M109 127 L224 127 L224 145 L109 145 L109 127 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath18"> |
| <path d="M14 150 L274 150 L274 168 L14 168 L14 150 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath19"> |
| <path d="M14 150 L276 150 L276 168 L14 168 L14 150 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath20"> |
| <path d="M14 166 L304 166 L304 184 L14 184 L14 166 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath21"> |
| <path d="M14 166 L306 166 L306 184 L14 184 L14 166 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath22"> |
| <path d="M10 148 L321 148 L321 191 L10 191 L10 148 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath23"> |
| <path d="M349 9 L509 9 L509 111 L349 111 L349 9 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath24"> |
| <path d="M349 9 L507 9 L507 109 L349 109 L349 9 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath25"> |
| <path d="M357 14 L498 14 L498 32 L357 32 L357 14 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath26"> |
| <path d="M357 14 L501 14 L501 32 L357 32 L357 14 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath27"> |
| <path d="M354 37 L439 37 L439 55 L354 55 L354 37 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath28"> |
| <path d="M354 37 L441 37 L441 55 L354 55 L354 37 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath29"> |
| <path d="M354 53 L414 53 L414 71 L354 71 L354 53 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath30"> |
| <path d="M354 53 L416 53 L416 71 L354 71 L354 53 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath31"> |
| <path d="M354 69 L420 69 L420 87 L354 87 L354 69 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath32"> |
| <path d="M354 69 L422 69 L422 87 L354 87 L354 69 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath33"> |
| <path d="M354 85 L411 85 L411 103 L354 103 L354 85 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath34"> |
| <path d="M354 85 L413 85 L413 103 L354 103 L354 85 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath35"> |
| <path d="M350 35 L506 35 L506 108 L350 108 L350 35 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath36"> |
| <path d="M359 238 L509 238 L509 351 L359 351 L359 238 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath37"> |
| <path d="M359 238 L507 238 L507 349 L359 349 L359 238 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath38"> |
| <path d="M382 243 L484 243 L484 261 L382 261 L382 243 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath39"> |
| <path d="M382 243 L487 243 L487 261 L382 261 L382 243 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath40"> |
| <path d="M364 266 L449 266 L449 284 L364 284 L364 266 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath41"> |
| <path d="M364 266 L451 266 L451 284 L364 284 L364 266 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath42"> |
| <path d="M364 282 L492 282 L492 300 L364 300 L364 282 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath43"> |
| <path d="M364 282 L495 282 L495 300 L364 300 L364 282 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath44"> |
| <path d="M364 298 L432 298 L432 316 L364 316 L364 298 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath45"> |
| <path d="M364 298 L434 298 L434 316 L364 316 L364 298 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath46"> |
| <path d="M364 314 L429 314 L429 332 L364 332 L364 314 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath47"> |
| <path d="M364 314 L431 314 L431 332 L364 332 L364 314 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath48"> |
| <path d="M364 330 L417 330 L417 348 L364 348 L364 330 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath49"> |
| <path d="M364 330 L420 330 L420 348 L364 348 L364 330 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath50"> |
| <path d="M360 264 L506 264 L506 348 L360 348 L360 264 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath51"> |
| <path d="M92 52 L242 52 L242 97 L92 97 L92 52 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath52"> |
| <path d="M92 52 L240 52 L240 95 L92 95 L92 52 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath53"> |
| <path d="M112 57 L220 57 L220 75 L112 75 L112 57 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath54"> |
| <path d="M112 57 L222 57 L222 75 L112 75 L112 57 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath55"> |
| <path d="M93 78 L239 78 L239 94 L93 94 L93 78 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath56"> |
| <path d="M374 129 L509 129 L509 214 L374 214 L374 129 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath57"> |
| <path d="M374 129 L507 129 L507 212 L374 212 L374 129 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath58"> |
| <path d="M384 134 L497 134 L497 152 L384 152 L384 134 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath59"> |
| <path d="M384 134 L499 134 L499 152 L384 152 L384 134 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath60"> |
| <path d="M379 157 L464 157 L464 175 L379 175 L379 157 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath61"> |
| <path d="M379 157 L466 157 L466 175 L379 175 L379 157 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath62"> |
| <path d="M379 173 L429 173 L429 191 L379 191 L379 173 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath63"> |
| <path d="M379 173 L431 173 L431 191 L379 191 L379 173 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath64"> |
| <path d="M379 189 L437 189 L437 207 L379 207 L379 189 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath65"> |
| <path d="M379 189 L439 189 L439 207 L379 207 L379 189 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath66"> |
| <path d="M375 155 L506 155 L506 211 L375 211 L375 155 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath67"> |
| <path d="M-1 -1 L519 -1 L519 361 L-1 361 L-1 -1 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath68"> |
| <path d="M84 194 L219 194 L219 209 L84 209 L84 194 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath69"> |
| <path d="M76 190 L85 190 L85 200 L76 200 L76 190 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath70"> |
| <path d="M173 229 L264 229 L264 244 L173 244 L173 229 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath71"> |
| <path d="M261 242 L270 242 L270 252 L261 252 L261 242 Z"/> |
| </clipPath> |
| <clipPath clipPathUnits="userSpaceOnUse" id="clipPath72"> |
| <path d="M160 93 L171 93 L171 104 L160 104 L160 93 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="20" y="251" clip-path="url(#clipPath1)" width="294" rx="4" opacity="0.255" ry="4" height="98" stroke="none"/> |
| <rect x="21" y="252" clip-path="url(#clipPath1)" width="294" rx="4" opacity="0.255" ry="4" height="98" stroke="none"/> |
| <rect x="19" y="250" clip-path="url(#clipPath2)" fill="url(#linearGradient1)" width="294" 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="19" y="250" clip-path="url(#clipPath2)" fill="none" width="293" rx="4" ry="4" height="97"/> |
| <image x="127" y="255" 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="146" xml:space="preserve" y="267" clip-path="url(#clipPath4)" stroke="none">Semaphore</text> |
| <image x="24" y="278" 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="43" xml:space="preserve" y="290" clip-path="url(#clipPath6)" stroke="none">semaphoreType : SemaphoreType = _undefined_</text> |
| <image x="24" y="294" 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="43" xml:space="preserve" y="306" clip-path="url(#clipPath8)" stroke="none">initialValue : NonNegativeInt = 0</text> |
| <image x="24" y="310" 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="43" xml:space="preserve" y="322" clip-path="url(#clipPath10)" stroke="none">maxValue : PositiveInt = 1</text> |
| <image x="24" y="326" 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="43" xml:space="preserve" y="338" clip-path="url(#clipPath12)" stroke="none">priorityCeilingProtocol : EBoolean = false</text> |
| <line y2="276" fill="none" x1="20" clip-path="url(#clipPath13)" x2="312" y1="276"/> |
| <rect x="11" y="124" clip-path="url(#clipPath14)" fill="rgb(131,122,133)" width="311" rx="4" opacity="0.255" ry="4" height="68" stroke="none"/> |
| <rect x="12" y="125" clip-path="url(#clipPath14)" fill="rgb(131,122,133)" width="311" rx="4" opacity="0.255" ry="4" height="68" stroke="none"/> |
| <rect x="10" y="123" clip-path="url(#clipPath15)" fill="url(#linearGradient2)" width="311" rx="4" ry="4" height="68" stroke="none"/> |
| <rect x="10" y="123" clip-path="url(#clipPath15)" fill="none" width="310" rx="4" ry="4" height="67"/> |
| <image x="110" y="128" 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="129" xml:space="preserve" y="140" clip-path="url(#clipPath17)" stroke="none">SemaphoreAccess</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(#clipPath19)" stroke="none">access : SemaphoreAccessEnum = _undefined_</text> |
| <image x="15" y="167" 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="179" clip-path="url(#clipPath21)" stroke="none">waitingBehaviour : WaitingBehaviour = _undefined_</text> |
| <line y2="149" fill="none" x1="11" clip-path="url(#clipPath22)" x2="320" y1="149"/> |
| <rect x="351" y="11" clip-path="url(#clipPath23)" fill="rgb(131,122,133)" width="156" rx="0" opacity="0.255" ry="0" height="98" stroke="none"/> |
| <rect x="352" y="12" clip-path="url(#clipPath23)" fill="rgb(131,122,133)" width="156" rx="0" opacity="0.255" ry="0" height="98" stroke="none"/> |
| <rect x="350" y="10" clip-path="url(#clipPath24)" fill="url(#linearGradient3)" width="156" rx="0" ry="0" height="98" stroke="none"/> |
| <rect x="350" y="10" clip-path="url(#clipPath24)" fill="none" width="155" rx="0" ry="0" height="97" 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="358" y="15" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAe0lEQVR4XmP4//8/ AyUYQ4BUjCFAKsYQAOHSthP/tczT/yOLgfggcXS1eDXD2DCN2AzBqRmmAYaRxZAN oa4LYHjTngdYwwAkjq4WQzOpGEMAhLOS7P+DcGGa7f/aHMv/XUWm/6dWGP6fW6P/ H10thmZSMYYACI+6gDQMAIBP1wRewdGqAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> |
| <text x="377" xml:space="preserve" y="27" clip-path="url(#clipPath26)" stroke="none">SemaphoreAccessEnum</text> |
| <image x="355" y="38" 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="374" xml:space="preserve" y="50" clip-path="url(#clipPath28)" stroke="none">_undefined_</text> |
| <image x="355" y="54" 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="374" xml:space="preserve" y="66" clip-path="url(#clipPath30)" stroke="none">request</text> |
| <image x="355" y="70" 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="374" xml:space="preserve" y="82" clip-path="url(#clipPath32)" stroke="none">exclusive</text> |
| <image x="355" y="86" 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="374" xml:space="preserve" y="98" clip-path="url(#clipPath34)" stroke="none">release</text> |
| <line clip-path="url(#clipPath35)" fill="none" x1="351" x2="505" y1="36" y2="36" stroke="rgb(125,125,125)"/> |
| <rect x="361" y="240" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="146" rx="0" opacity="0.255" ry="0" height="109" stroke="none"/> |
| <rect x="362" y="241" clip-path="url(#clipPath36)" fill="rgb(131,122,133)" width="146" rx="0" opacity="0.255" ry="0" height="109" stroke="none"/> |
| <rect x="360" y="239" clip-path="url(#clipPath37)" fill="url(#linearGradient4)" width="146" rx="0" ry="0" height="109" stroke="none"/> |
| <rect x="360" y="239" clip-path="url(#clipPath37)" fill="none" width="145" rx="0" ry="0" height="108" 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="383" y="244" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAe0lEQVR4XmP4//8/ AyUYQ4BUjCFAKsYQAOHSthP/tczT/yOLgfggcXS1eDXD2DCN2AzBqRmmAYaRxZAN oa4LYHjTngdYwwAkjq4WQzOpGEMAhLOS7P+DcGGa7f/aHMv/XUWm/6dWGP6fW6P/ H10thmZSMYYACI+6gDQMAIBP1wRewdGqAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> |
| <text x="402" xml:space="preserve" y="256" clip-path="url(#clipPath39)" stroke="none">SemaphoreType</text> |
| <image x="365" y="267" 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="384" xml:space="preserve" y="279" clip-path="url(#clipPath41)" stroke="none">_undefined_</text> |
| <image x="365" y="283" 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="384" xml:space="preserve" y="295" clip-path="url(#clipPath43)" stroke="none">CountingSemaphore</text> |
| <image x="365" y="299" 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="384" xml:space="preserve" y="311" clip-path="url(#clipPath45)" stroke="none">Resource</text> |
| <image x="365" y="315" 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="384" xml:space="preserve" y="327" clip-path="url(#clipPath47)" stroke="none">Spinlock</text> |
| <image x="365" y="331" 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="384" xml:space="preserve" y="343" clip-path="url(#clipPath49)" stroke="none">Mutex</text> |
| <line clip-path="url(#clipPath50)" fill="none" x1="361" x2="505" y1="265" y2="265" stroke="rgb(125,125,125)"/> |
| <rect x="94" y="54" clip-path="url(#clipPath51)" fill="rgb(131,122,133)" width="146" rx="4" opacity="0.255" ry="4" height="41" stroke="none"/> |
| <rect x="95" y="55" clip-path="url(#clipPath51)" fill="rgb(131,122,133)" width="146" rx="4" opacity="0.255" ry="4" height="41" stroke="none"/> |
| <rect x="93" y="53" clip-path="url(#clipPath52)" fill="url(#linearGradient5)" width="146" rx="4" ry="4" height="41" stroke="none"/> |
| <rect x="93" y="53" clip-path="url(#clipPath52)" fill="none" width="145" rx="4" ry="4" height="40" 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="113" y="58" 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="132" xml:space="preserve" y="70" clip-path="url(#clipPath54)" stroke="none">ActivityGraphItem</text> |
| <line clip-path="url(#clipPath55)" fill="none" x1="94" x2="238" y1="79" y2="79" stroke="rgb(125,125,125)"/> |
| <rect x="376" y="131" clip-path="url(#clipPath56)" fill="rgb(131,122,133)" width="131" rx="0" opacity="0.255" ry="0" height="81" stroke="none"/> |
| <rect x="377" y="132" clip-path="url(#clipPath56)" fill="rgb(131,122,133)" width="131" rx="0" opacity="0.255" ry="0" height="81" stroke="none"/> |
| <rect x="375" y="130" clip-path="url(#clipPath57)" fill="url(#linearGradient6)" width="131" rx="0" ry="0" height="81" stroke="none"/> |
| <rect x="375" y="130" clip-path="url(#clipPath57)" fill="none" width="130" rx="0" ry="0" height="80" 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="385" y="135" xlink:href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAe0lEQVR4XmP4//8/ AyUYQ4BUjCFAKsYQAOHSthP/tczT/yOLgfggcXS1eDXD2DCN2AzBqRmmAYaRxZAN oa4LYHjTngdYwwAkjq4WQzOpGEMAhLOS7P+DcGGa7f/aHMv/XUWm/6dWGP6fW6P/ H10thmZSMYYACI+6gDQMAIBP1wRewdGqAAAAAElFTkSuQmCC" xlink:actuate="onLoad"/> |
| <text x="404" xml:space="preserve" y="147" clip-path="url(#clipPath59)" stroke="none">WaitingBehaviour</text> |
| <image x="380" y="158" 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="399" xml:space="preserve" y="170" clip-path="url(#clipPath61)" stroke="none">_undefined_</text> |
| <image x="380" y="174" 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="399" xml:space="preserve" y="186" clip-path="url(#clipPath63)" stroke="none">active</text> |
| <image x="380" y="190" 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="399" xml:space="preserve" y="202" clip-path="url(#clipPath65)" stroke="none">passive</text> |
| <line clip-path="url(#clipPath66)" fill="none" x1="376" x2="505" y1="156" y2="156" stroke="rgb(125,125,125)"/> |
| <line clip-path="url(#clipPath67)" fill="none" x1="80" x2="80" y1="250" y2="191" stroke="rgb(114,159,207)"/> |
| <text fill="rgb(39,76,114)" x="85" xml:space="preserve" y="206" clip-path="url(#clipPath68)" stroke="none">[0..*] /semaphoreAccesses</text> |
| <line clip-path="url(#clipPath69)" fill="none" x1="83" x2="80" y1="198" y2="191" stroke="rgb(114,159,207)"/> |
| <line clip-path="url(#clipPath69)" fill="none" x1="80" x2="77" y1="191" y2="198" stroke="rgb(114,159,207)"/> |
| <line y2="250" fill="none" x1="265" clip-path="url(#clipPath67)" x2="265" y1="191"/> |
| <text x="174" xml:space="preserve" y="241" clip-path="url(#clipPath70)" font-weight="bold" stroke="none">[1..1] semaphore</text> |
| <line y2="250" fill="none" x1="262" clip-path="url(#clipPath71)" x2="265" y1="243"/> |
| <line y2="243" fill="none" x1="265" clip-path="url(#clipPath71)" x2="268" y1="250"/> |
| <line clip-path="url(#clipPath67)" fill="none" x1="165" x2="165" y1="123" y2="94" stroke="rgb(136,136,136)"/> |
| <polygon fill="white" clip-path="url(#clipPath72)" points=" 165 94 169 102 161 102" stroke="none"/> |
| <polygon fill="none" clip-path="url(#clipPath72)" points=" 165 94 169 102 161 102" stroke="rgb(136,136,136)"/> |
| </g> |
| </g> |
| </svg> |
