📄 checkmarte4cheddar.asm
字号:
<?xml version = '1.0' encoding = 'ISO-8859-1' ?>
<asm name="0">
<cp>
<constant value="CheckMARTE4cheddar"/>
<constant value="links"/>
<constant value="NTransientLinkSet;"/>
<constant value="col"/>
<constant value="J;"/>
<constant value="KnownNames"/>
<constant value="QS"/>
<constant value="ProcessorNames"/>
<constant value="TaskNames"/>
<constant value="AddressSpaceNames"/>
<constant value="ResourceNames"/>
<constant value="MessageNames"/>
<constant value="BufferNames"/>
<constant value="EANames"/>
<constant value="AnalysisContextCount"/>
<constant value="I"/>
<constant value="main"/>
<constant value="A"/>
<constant value="0"/>
<constant value="OclParametrizedType"/>
<constant value="#native"/>
<constant value="Collection"/>
<constant value="J.setName(S):V"/>
<constant value="OclSimpleType"/>
<constant value="OclAny"/>
<constant value="J.setElementType(J):V"/>
<constant value="TransientLinkSet"/>
<constant value="A.__initKnownNames():V"/>
<constant value="A.__initProcessorNames():V"/>
<constant value="A.__initTaskNames():V"/>
<constant value="A.__initAddressSpaceNames():V"/>
<constant value="A.__initResourceNames():V"/>
<constant value="A.__initMessageNames():V"/>
<constant value="A.__initBufferNames():V"/>
<constant value="A.__initEANames():V"/>
<constant value="A.__initAnalysisContextCount():V"/>
<constant value="A.__matcher__():V"/>
<constant value="A.__exec__():V"/>
<constant value="self"/>
<constant value="__initKnownNames"/>
<constant value="Sequence"/>
<constant value="109:46-109:57"/>
<constant value="__initProcessorNames"/>
<constant value="110:50-110:61"/>
<constant value="__initTaskNames"/>
<constant value="111:45-111:56"/>
<constant value="__initAddressSpaceNames"/>
<constant value="112:53-112:64"/>
<constant value="__initResourceNames"/>
<constant value="113:49-113:60"/>
<constant value="__initMessageNames"/>
<constant value="114:48-114:59"/>
<constant value="__initBufferNames"/>
<constant value="115:47-115:58"/>
<constant value="__initEANames"/>
<constant value="116:43-116:54"/>
<constant value="__initAnalysisContextCount"/>
<constant value="117:47-117:48"/>
<constant value="__matcher__"/>
<constant value="A.__matchAnalysisContext():V"/>
<constant value="__matchAnalysisContext"/>
<constant value="Element"/>
<constant value="UML"/>
<constant value="IN"/>
<constant value="MMOF!Classifier;.allInstancesFrom(S):QJ"/>
<constant value="CJ.union(CJ):CJ"/>
<constant value="parameters"/>
<constant value="1"/>
<constant value="J.GaAnalysisContext():J"/>
<constant value="J.marteIsTypeOf(J):J"/>
<constant value="J.SaAnalysisContext():J"/>
<constant value="J.or(J):J"/>
<constant value="J.isTarget():J"/>
<constant value="J.and(J):J"/>
<constant value="B.not():B"/>
<constant value="47"/>
<constant value="TransientLink"/>
<constant value="AnalysisContext"/>
<constant value="NTransientLink;.setRule(MATL!Rule;):V"/>
<constant value="e"/>
<constant value="NTransientLink;.addSourceElement(SJ):V"/>
<constant value="NTransientLinkSet;.addLink(NTransientLink;):V"/>
<constant value="530:30-530:31"/>
<constant value="530:46-530:47"/>
<constant value="530:46-530:67"/>
<constant value="530:30-530:68"/>
<constant value="530:72-530:73"/>
<constant value="530:88-530:89"/>
<constant value="530:88-530:109"/>
<constant value="530:72-530:110"/>
<constant value="530:30-530:110"/>
<constant value="530:117-530:118"/>
<constant value="530:117-530:129"/>
<constant value="530:29-530:129"/>
<constant value="__resolve__"/>
<constant value="J"/>
<constant value="J.oclIsKindOf(J):B"/>
<constant value="18"/>
<constant value="NTransientLinkSet;.getLinkBySourceElement(S):QNTransientLink;"/>
<constant value="J.oclIsUndefined():J"/>
<constant value="15"/>
<constant value="NTransientLink;.getTargetFromSource(J):J"/>
<constant value="17"/>
<constant value="30"/>
<constant value="2"/>
<constant value="A.__resolve__(J):J"/>
<constant value="QJ.including(J):QJ"/>
<constant value="QJ.flatten():QJ"/>
<constant value="value"/>
<constant value="resolveTemp"/>
<constant value="S"/>
<constant value="NTransientLink;.getNamedTargetFromSource(JS):J"/>
<constant value="name"/>
<constant value="__exec__"/>
<constant value="NTransientLinkSet;.getLinksByRule(S):QNTransientLink;"/>
<constant value="A.__applyAnalysisContext(NTransientLink;):V"/>
<constant value="isTarget"/>
<constant value="MUML!Element;"/>
<constant value="targetElement"/>
<constant value="J.hasParameter(J):J"/>
<constant value="6"/>
<constant value="24"/>
<constant value="NamedElement"/>
<constant value="J.oclIsKindOf(J):J"/>
<constant value="14"/>
<constant value="J.getParameter(J):J"/>
<constant value="J.getQualifiedName():J"/>
<constant value="J.=(J):J"/>
<constant value="23"/>
<constant value="29:12-29:22"/>
<constant value="29:36-29:51"/>
<constant value="29:12-29:52"/>
<constant value="35:22-35:26"/>
<constant value="30:28-30:32"/>
<constant value="30:45-30:61"/>
<constant value="30:28-30:62"/>
<constant value="34:30-34:34"/>
<constant value="31:36-31:46"/>
<constant value="31:60-31:75"/>
<constant value="31:36-31:76"/>
<constant value="31:79-31:83"/>
<constant value="31:79-31:102"/>
<constant value="31:36-31:102"/>
<constant value="33:38-33:43"/>
<constant value="32:41-32:45"/>
<constant value="31:33-33:49"/>
<constant value="30:25-34:40"/>
<constant value="29:9-35:32"/>
<constant value="getErrorTarget"/>
<constant value=""/>
<constant value="13"/>
<constant value=" ("/>
<constant value="J.+(J):J"/>
<constant value=")"/>
<constant value="38:12-38:22"/>
<constant value="38:36-38:51"/>
<constant value="38:12-38:52"/>
<constant value="40:14-40:16"/>
<constant value="39:17-39:21"/>
<constant value="39:24-39:34"/>
<constant value="39:48-39:63"/>
<constant value="39:24-39:64"/>
<constant value="39:17-39:64"/>
<constant value="39:67-39:70"/>
<constant value="39:17-39:70"/>
<constant value="38:9-40:22"/>
<constant value="critic"/>
<constant value="MUML!NamedElement;"/>
<constant value="Problem"/>
<constant value="PROBLEM"/>
<constant value="3"/>
<constant value="EnumLiteral"/>
<constant value="severity"/>
<constant value="J.getErrorTarget():J"/>
<constant value="location"/>
<constant value="description"/>
<constant value="47:12-51:10"/>
<constant value="48:29-48:36"/>
<constant value="48:17-48:36"/>
<constant value="49:29-49:30"/>
<constant value="49:29-49:49"/>
<constant value="49:52-49:62"/>
<constant value="49:52-49:79"/>
<constant value="49:29-49:79"/>
<constant value="49:17-49:79"/>
<constant value="50:31-50:32"/>
<constant value="50:17-50:32"/>
<constant value="p"/>
<constant value="s"/>
<constant value="error"/>
<constant value="54:12-58:10"/>
<constant value="55:29-55:35"/>
<constant value="55:17-55:35"/>
<constant value="56:29-56:30"/>
<constant value="56:29-56:49"/>
<constant value="56:52-56:62"/>
<constant value="56:52-56:79"/>
<constant value="56:29-56:79"/>
<constant value="56:17-56:79"/>
<constant value="57:31-57:32"/>
<constant value="57:17-57:32"/>
<constant value="warning"/>
<constant value="61:12-65:10"/>
<constant value="62:29-62:37"/>
<constant value="62:17-62:37"/>
<constant value="63:29-63:30"/>
<constant value="63:29-63:49"/>
<constant value="63:52-63:62"/>
<constant value="63:52-63:79"/>
<constant value="63:29-63:79"/>
<constant value="63:17-63:79"/>
<constant value="64:31-64:32"/>
<constant value="64:17-64:32"/>
<constant value="info"/>
<constant value="INFO: "/>
<constant value="69:12-73:10"/>
<constant value="70:29-70:37"/>
<constant value="70:17-70:37"/>
<constant value="71:29-71:32"/>
<constant value="71:35-71:45"/>
<constant value="71:35-71:62"/>
<constant value="71:29-71:62"/>
<constant value="71:17-71:62"/>
<constant value="72:32-72:40"/>
<constant value="72:41-72:46"/>
<constant value="72:32-72:46"/>
<constant value="72:17-72:46"/>
<constant value="loc"/>
<constant value="descr"/>
<constant value="unkerror2"/>
<constant value=" is not a known element (it may be missing in a resources list)"/>
<constant value="78:12-82:10"/>
<constant value="79:29-79:35"/>
<constant value="79:17-79:35"/>
<constant value="80:29-80:33"/>
<constant value="80:36-80:46"/>
<constant value="80:36-80:63"/>
<constant value="80:29-80:63"/>
<constant value="80:17-80:63"/>
<constant value="81:31-81:32"/>
<constant value="81:31-81:51"/>
<constant value="81:54-81:119"/>
<constant value="81:31-81:119"/>
<constant value="81:17-81:119"/>
<constant value="cont"/>
<constant value="undeferror"/>
<constant value=" is not defined"/>
<constant value="J.error(JJ):J"/>
<constant value="87:17-87:27"/>
<constant value="87:34-87:35"/>
<constant value="87:36-87:37"/>
<constant value="87:38-87:55"/>
<constant value="87:36-87:55"/>
<constant value="87:17-87:56"/>
<constant value="unkerror"/>
<constant value="92:17-92:27"/>
<constant value="92:34-92:35"/>
<constant value="92:36-92:38"/>
<constant value="92:36-92:57"/>
<constant value="92:60-92:125"/>
<constant value="92:36-92:125"/>
<constant value="92:17-92:126"/>
<constant value="e2"/>
<constant value="unkwarning"/>
<constant value="J.warning(JJ):J"/>
<constant value="97:17-97:27"/>
<constant value="97:36-97:37"/>
<constant value="97:38-97:40"/>
<constant value="97:38-97:59"/>
<constant value="97:62-97:127"/>
<constant value="97:38-97:127"/>
<constant value="97:17-97:128"/>
<constant value="undefwarning"/>
<constant value="102:17-102:27"/>
<constant value="102:36-102:37"/>
<constant value="102:38-102:39"/>
<constant value="102:40-102:57"/>
<constant value="102:38-102:57"/>
<constant value="102:17-102:58"/>
<constant value="scheduler"/>
<constant value="J.Scheduler():J"/>
<constant value="J.Scheduler_schedPolicy():J"/>
<constant value="J.marteGetAttributeValue(JJ):J"/>
<constant value="J.toString():J"/>
<constant value="IN!"/>
<constant value="J.SchedPolicyKind_EarliestDeadlineFirst():J"/>
<constant value="134"/>
<constant value="J.SchedPolicyKind_LeastLaxityFirst():J"/>
<constant value="132"/>
<constant value="J.SchedPolicyKind_FixedPriority():J"/>
<constant value="130"/>
<constant value="J.SchedPolicyKind_RoundRobin():J"/>
<constant value="128"/>
<constant value="J.SchedPolicyKind_Other():J"/>
<constant value="62"/>
<constant value="J.SchedPolicyKind_Undef():J"/>
<constant value="55"/>
<constant value="Invalid scheduling policy, Scheduler::schedPolicy and/or Scheduler::otherSchedPolicy seems to be invalid"/>
<constant value="61"/>
<constant value="PIPELINE_USER_DEFINED_PROTOCOL"/>
<constant value="127"/>
<constant value="J.Scheduler_otherSchedPolicy():J"/>
<constant value="J.marteHasAttributeValue(JJ):J"/>
<constant value="74"/>
<constant value="RATE_MONOTONIC_PROTOCOL"/>
<constant value="126"/>
<constant value="DEADLINE_MONOTONIC_PROTOCOL"/>
<constant value="124"/>
<constant value="TIME_SHARING_BASED_ON_WAIT_TIME_PROTOCOL"/>
<constant value="122"/>
<constant value="MAXIMUM_URGENCY_FIRST_BASED_ON_LAXITY_PROTOCOL"/>
<constant value="120"/>
<constant value="MAXIMUM_URGENCY_FIRST_BASED_ON_DEADLINE_PROTOCOL"/>
<constant value="118"/>
<constant value="D_OVER_PROTOCOL"/>
<constant value="116"/>
<constant value="TIME_SHARING_BASED_ON_CPU_USAGE_PROTOCOL"/>
<constant value="114"/>
<constant value="115"/>
<constant value="117"/>
<constant value="119"/>
<constant value="121"/>
<constant value="123"/>
<constant value="125"/>
<constant value="129"/>
<constant value="131"/>
<constant value="133"/>
<constant value="135"/>
<constant value="J.Scheduler_isPreemptible():J"/>
<constant value="147"/>
<constant value="Scheduler::isPreemtible"/>
<constant value="J.undefwarning(JJ):J"/>
<constant value="172"/>
<constant value="true"/>
<constant value="J.not():J"/>
<constant value="false"/>
<constant value="168"/>
<constant value="Scheduler::isPreemtible invalid"/>
<constant value="186"/>
<constant value="199"/>
<constant value="195"/>
<constant value="otherSchedPolicy (parametric_filename) undefined with scheduling policy Undef"/>
<constant value="127:35-127:36"/>
<constant value="127:60-127:61"/>
<constant value="127:60-127:73"/>
<constant value="127:75-127:76"/>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -