<?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"/>