📄 checkmarte4cheddar.asm
字号:
<constant value="327:42-327:43"/>
<constant value="327:45-327:67"/>
<constant value="327:25-327:68"/>
<constant value="326:17-331:18"/>
<constant value="as"/>
<constant value="exechost"/>
<constant value="resource_user"/>
<constant value="MUML!Dependency;"/>
<constant value="resource_user "/>
<constant value="J.getClients():J"/>
<constant value="J.first():J"/>
<constant value="J.getSuppliers():J"/>
<constant value="J.unkwarning(JJ):J"/>
<constant value="35"/>
<constant value="Constraint"/>
<constant value="J.allInstances():J"/>
<constant value="J.getConstrainedElements():J"/>
<constant value="58"/>
<constant value="77"/>
<constant value="No start time constraint on resource used by"/>
<constant value="98"/>
<constant value="J.getSpecification():J"/>
<constant value="J.isIntegral():J"/>
<constant value="87"/>
<constant value="Invalid constraint on resource used by"/>
<constant value="J.ResourceUsage():J"/>
<constant value="J.ResourceUsage_execTime():J"/>
<constant value="J.marteHasVSLInteger(JJJ):J"/>
<constant value="execTime is required on resource used by"/>
<constant value="338:17-338:21"/>
<constant value="338:37-338:53"/>
<constant value="338:55-338:59"/>
<constant value="338:55-338:72"/>
<constant value="338:55-338:80"/>
<constant value="338:55-338:91"/>
<constant value="338:37-338:91"/>
<constant value="338:17-338:92"/>
<constant value="340:20-340:30"/>
<constant value="340:20-340:40"/>
<constant value="340:53-340:54"/>
<constant value="340:58-340:62"/>
<constant value="340:58-340:75"/>
<constant value="340:58-340:83"/>
<constant value="340:58-340:94"/>
<constant value="340:53-340:94"/>
<constant value="340:20-340:95"/>
<constant value="341:22-341:32"/>
<constant value="341:44-341:48"/>
<constant value="341:44-341:63"/>
<constant value="341:44-341:71"/>
<constant value="341:72-341:76"/>
<constant value="341:72-341:89"/>
<constant value="341:72-341:97"/>
<constant value="341:22-341:98"/>
<constant value="340:101-340:113"/>
<constant value="340:17-341:104"/>
<constant value="343:43-343:57"/>
<constant value="343:43-343:72"/>
<constant value="343:85-343:86"/>
<constant value="343:85-343:111"/>
<constant value="343:125-343:127"/>
<constant value="343:128-343:132"/>
<constant value="343:125-343:132"/>
<constant value="343:85-343:133"/>
<constant value="343:43-343:134"/>
<constant value="343:43-343:143"/>
<constant value="343:21-343:143"/>
<constant value="344:27-344:29"/>
<constant value="344:27-344:46"/>
<constant value="344:23-344:46"/>
<constant value="349:25-349:35"/>
<constant value="349:42-349:46"/>
<constant value="349:42-349:61"/>
<constant value="349:42-349:69"/>
<constant value="349:71-349:117"/>
<constant value="349:120-349:124"/>
<constant value="349:120-349:137"/>
<constant value="349:120-349:145"/>
<constant value="349:120-349:164"/>
<constant value="349:71-349:164"/>
<constant value="349:25-349:165"/>
<constant value="345:32-345:34"/>
<constant value="345:32-345:53"/>
<constant value="345:32-345:66"/>
<constant value="345:28-345:66"/>
<constant value="347:30-347:42"/>
<constant value="346:33-346:43"/>
<constant value="346:50-346:54"/>
<constant value="346:50-346:69"/>
<constant value="346:50-346:77"/>
<constant value="346:79-346:119"/>
<constant value="346:122-346:126"/>
<constant value="346:122-346:139"/>
<constant value="346:122-346:147"/>
<constant value="346:122-346:166"/>
<constant value="346:79-346:166"/>
<constant value="346:33-346:167"/>
<constant value="345:25-347:48"/>
<constant value="344:20-350:22"/>
<constant value="343:17-350:22"/>
<constant value="352:20-352:24"/>
<constant value="352:44-352:48"/>
<constant value="352:44-352:64"/>
<constant value="352:66-352:70"/>
<constant value="352:66-352:95"/>
<constant value="352:105-352:112"/>
<constant value="352:96-352:113"/>
<constant value="352:20-352:114"/>
<constant value="356:25-356:35"/>
<constant value="356:42-356:46"/>
<constant value="356:42-356:61"/>
<constant value="356:42-356:69"/>
<constant value="356:71-356:113"/>
<constant value="356:116-356:120"/>
<constant value="356:116-356:133"/>
<constant value="356:116-356:141"/>
<constant value="356:116-356:160"/>
<constant value="356:71-356:160"/>
<constant value="356:25-356:161"/>
<constant value="354:25-354:37"/>
<constant value="352:17-357:22"/>
<constant value="ce"/>
<constant value="c"/>
<constant value="mc"/>
<constant value="link"/>
<constant value="resource"/>
<constant value="resource "/>
<constant value="J.SwMutualExclusionResource():J"/>
<constant value="J.SwMutualExclusionResource_concurrentAccessProtocol():J"/>
<constant value="J.ConcurrentAccessProtocolKind_PIP():J"/>
<constant value="J.ConcurrentAccessProtocolKind_PCP():J"/>
<constant value="82"/>
<constant value="J.ConcurrentAccessProtocolKind_NoPreemption():J"/>
<constant value="J.ConcurrentAccessProtocolKind_Other():J"/>
<constant value="concurrentAccessProtocol"/>
<constant value="76"/>
<constant value="J.getOwnedAttributes():J"/>
<constant value="cheddar_IPCP"/>
<constant value="72"/>
<constant value="element must have a cheddar_IPCP attribute if the concurrent access protocol is Other"/>
<constant value="81"/>
<constant value="86"/>
<constant value="91"/>
<constant value="J.SwMutualExclusionResource_mechanism():J"/>
<constant value="J.MutualExclusionResourceKind_BooleanSemaphore():J"/>
<constant value="146"/>
<constant value="J.MutualExclusionResourceKind_Mutex():J"/>
<constant value="144"/>
<constant value="J.MutualExclusionResourceKind_CountSemaphore():J"/>
<constant value="mechanism is invalid"/>
<constant value="143"/>
<constant value="cheddar_state"/>
<constant value="139"/>
<constant value="cheddar_state is missing, using default value 0 for count semaphore initial state"/>
<constant value="145"/>
<constant value="J.getSuppliersKindOf(J):J"/>
<constant value="171"/>
<constant value="182"/>
<constant value="address space"/>
<constant value="J.getSupplyingDependencies():J"/>
<constant value="J.marteIsKindOf(J):J"/>
<constant value="201"/>
<constant value="J.resource_user(J):J"/>
<constant value="235"/>
<constant value="239"/>
<constant value="366:17-366:18"/>
<constant value="366:34-366:45"/>
<constant value="366:48-366:49"/>
<constant value="366:48-366:60"/>
<constant value="366:34-366:60"/>
<constant value="366:17-366:61"/>
<constant value="368:36-368:37"/>
<constant value="368:66-368:67"/>
<constant value="368:66-368:95"/>
<constant value="368:96-368:97"/>
<constant value="368:96-368:150"/>
<constant value="368:36-368:151"/>
<constant value="368:36-368:162"/>
<constant value="368:21-368:162"/>
<constant value="369:28-369:31"/>
<constant value="369:34-369:39"/>
<constant value="369:40-369:41"/>
<constant value="369:40-369:76"/>
<constant value="369:34-369:76"/>
<constant value="369:28-369:76"/>
<constant value="370:36-370:39"/>
<constant value="370:42-370:47"/>
<constant value="370:48-370:49"/>
<constant value="370:48-370:84"/>
<constant value="370:42-370:84"/>
<constant value="370:36-370:84"/>
<constant value="371:36-371:39"/>
<constant value="371:42-371:47"/>
<constant value="371:48-371:49"/>
<constant value="371:48-371:93"/>
<constant value="371:42-371:93"/>
<constant value="371:36-371:93"/>
<constant value="372:36-372:39"/>
<constant value="372:42-372:47"/>
<constant value="372:48-372:49"/>
<constant value="372:48-372:86"/>
<constant value="372:42-372:86"/>
<constant value="372:36-372:86"/>
<constant value="375:30-375:40"/>
<constant value="375:52-375:53"/>
<constant value="375:54-375:80"/>
<constant value="375:30-375:81"/>
<constant value="373:48-373:49"/>
<constant value="373:48-373:70"/>
<constant value="373:81-373:82"/>
<constant value="373:81-373:87"/>
<constant value="373:88-373:102"/>
<constant value="373:81-373:102"/>
<constant value="373:48-373:103"/>
<constant value="373:48-373:111"/>
<constant value="373:48-373:128"/>
<constant value="373:44-373:128"/>
<constant value="374:46-374:56"/>
<constant value="374:63-374:64"/>
<constant value="374:65-374:152"/>
<constant value="374:46-374:153"/>
<constant value="373:134-373:146"/>
<constant value="373:41-374:159"/>
<constant value="372:33-375:87"/>
<constant value="371:100-371:112"/>
<constant value="371:33-375:93"/>
<constant value="370:91-370:103"/>
<constant value="370:33-375:99"/>
<constant value="369:82-369:94"/>
<constant value="369:25-375:105"/>
<constant value="368:17-375:105"/>
<constant value="378:35-378:36"/>
<constant value="378:65-378:66"/>
<constant value="378:65-378:94"/>
<constant value="378:95-378:96"/>
<constant value="378:95-378:134"/>
<constant value="378:35-378:135"/>
<constant value="378:35-378:146"/>
<constant value="378:21-378:146"/>
<constant value="379:36-379:37"/>
<constant value="379:40-379:45"/>
<constant value="379:47-379:48"/>
<constant value="379:47-379:95"/>
<constant value="379:40-379:95"/>
<constant value="379:36-379:95"/>
<constant value="380:44-380:45"/>
<constant value="380:48-380:53"/>
<constant value="380:55-380:56"/>
<constant value="380:55-380:92"/>
<constant value="380:48-380:92"/>
<constant value="380:44-380:92"/>
<constant value="381:44-381:45"/>
<constant value="381:48-381:53"/>
<constant value="381:55-381:56"/>
<constant value="381:55-381:101"/>
<constant value="381:48-381:101"/>
<constant value="381:44-381:101"/>
<constant value="385:30-385:40"/>
<constant value="385:47-385:48"/>
<constant value="385:49-385:71"/>
<constant value="385:30-385:72"/>
<constant value="382:41-382:42"/>
<constant value="382:56-382:57"/>
<constant value="382:56-382:85"/>
<constant value="382:87-382:88"/>
<constant value="382:87-382:115"/>
<constant value="382:117-382:132"/>
<constant value="382:41-382:133"/>
<constant value="382:41-382:150"/>
<constant value="384:38-384:50"/>
<constant value="383:41-383:51"/>
<constant value="383:60-383:61"/>
<constant value="383:62-383:145"/>
<constant value="383:41-383:146"/>
<constant value="382:33-384:56"/>
<constant value="381:41-385:78"/>
<constant value="380:98-380:99"/>
<constant value="380:41-385:84"/>
<constant value="379:101-379:102"/>
<constant value="379:33-385:90"/>
<constant value="378:17-385:90"/>
<constant value="388:36-388:46"/>
<constant value="388:36-388:64"/>
<constant value="388:78-388:79"/>
<constant value="388:99-388:100"/>
<constant value="388:99-388:118"/>
<constant value="388:78-388:119"/>
<constant value="388:132-388:133"/>
<constant value="388:132-388:144"/>
<constant value="388:147-388:149"/>
<constant value="388:132-388:149"/>
<constant value="388:78-388:150"/>
<constant value="388:36-388:151"/>
<constant value="388:36-388:160"/>
<constant value="388:21-388:160"/>
<constant value="389:32-389:35"/>
<constant value="389:32-389:52"/>
<constant value="389:104-389:116"/>
<constant value="389:58-389:68"/>
<constant value="389:80-389:81"/>
<constant value="389:82-389:97"/>
<constant value="389:58-389:98"/>
<constant value="389:28-389:126"/>
<constant value="388:17-389:126"/>
<constant value="391:26-391:27"/>
<constant value="391:26-391:54"/>
<constant value="391:69-391:72"/>
<constant value="391:87-391:88"/>
<constant value="391:87-391:104"/>
<constant value="391:69-391:105"/>
<constant value="391:26-391:106"/>
<constant value="392:25-392:35"/>
<constant value="392:50-392:51"/>
<constant value="392:25-392:52"/>
<constant value="391:17-393:18"/>
<constant value="396:20-396:30"/>
<constant value="396:20-396:41"/>
<constant value="396:54-396:55"/>
<constant value="396:58-396:59"/>
<constant value="396:58-396:70"/>
<constant value="396:54-396:70"/>
<constant value="396:20-396:71"/>
<constant value="399:25-399:35"/>
<constant value="399:50-399:60"/>
<constant value="399:50-399:71"/>
<constant value="399:80-399:81"/>
<constant value="399:80-399:92"/>
<constant value="399:50-399:93"/>
<constant value="400:25-400:35"/>
<constant value="400:53-400:63"/>
<constant value="400:53-400:77"/>
<constant value="400:86-400:87"/>
<constant value="400:86-400:98"/>
<constant value="400:53-400:99"/>
<constant value="397:25-397:35"/>
<constant value="397:42-397:43"/>
<constant value="397:45-397:67"/>
<constant value="397:25-397:68"/>
<constant value="396:17-401:18"/>
<constant value="cap"/>
<constant value="m"/>
<constant value="a"/>
<constant value="mas"/>
<constant value="dep"/>
<constant value="d"/>
<constant value="buffer_user"/>
<constant value="buffer_user "/>
<constant value="No time constraint on buffer used by "/>
<constant value="Invalid constraint on buffer used by "/>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -