[GME-commit] GMESRC/Paradigms/HFSM HFSM-Meta.xme,1.5,1.6

gme-commit at list.isis.vanderbilt.edu gme-commit at list.isis.vanderbilt.edu
Wed Mar 15 17:49:11 CST 2006


Update of /project/gme-repository/GMESRC/Paradigms/HFSM
In directory escher:/tmp/cvs-serv16587/HFSM

Modified Files:
	HFSM-Meta.xme 
Log Message:
MetaGME paradigm changed:
"Bond" type conn end enumitem renamed to "Half Arrow Up"
"Half Arrow Down" also introduced.

SF, HFSM, UML paradigms imported, reexported with this changed new paradigm.


CVS User: Zoltan Molnar, ISIS (zolmol)

Index: HFSM-Meta.xme
===================================================================
RCS file: /project/gme-repository/GMESRC/Paradigms/HFSM/HFSM-Meta.xme,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** HFSM-Meta.xme	20 Jul 2004 17:03:55 -0000	1.5
--- HFSM-Meta.xme	15 Mar 2006 17:49:08 -0000	1.6
***************
*** 1,6 ****
! <?xml version="1.0" encoding="UTF-8"?>
  <!DOCTYPE project SYSTEM "mga.dtd">
  
! <project guid="{00000000-0000-0000-0000-000000000000}" cdate="Thu Mar 11 11:09:09 2004" mdate="Thu Mar 11 11:09:10 2004" metaguid="{66BBE690-DEAD-BEEF-FEED-DAD000000001}" metaname="MetaGME">
  	<name>HFSM</name>
  	<comment></comment>
--- 1,6 ----
! <?xml version="1.0" encoding="UTF-8"?>
  <!DOCTYPE project SYSTEM "mga.dtd">
  
! <project guid="{00000000-0000-0000-0000-000000000000}" cdate="Wed Mar 15 11:39:16 2006" mdate="Wed Mar 15 11:39:16 2006" version="" metaguid="{B3568889-311A-4E5A-A3DD-A8AC2BD7DE71}" metaversion="" metaname="MetaGME">
  	<name>HFSM</name>
  	<comment></comment>
***************
*** 14,18 ****
  				<regnode name="Sequence" isopaque="yes">
  					<value></value>
! 					<regnode name="MetaRef">
  						<value></value>
  						<regnode name="InputSequence" isopaque="yes">
--- 14,18 ----
  				<regnode name="Sequence" isopaque="yes">
  					<value></value>
! 					<regnode name="MetaRef" isopaque="yes">
  						<value></value>
  						<regnode name="InputSequence" isopaque="yes">
***************
*** 23,27 ****
  				<regnode name="StateMachine" isopaque="yes">
  					<value></value>
! 					<regnode name="MetaRef">
  						<value></value>
  						<regnode name="State" isopaque="yes">
--- 23,27 ----
  				<regnode name="StateMachine" isopaque="yes">
  					<value></value>
! 					<regnode name="MetaRef" isopaque="yes">
  						<value></value>
  						<regnode name="State" isopaque="yes">
***************
*** 68,72 ****
  				<regnode name="MetaRef" isopaque="yes">
  					<value>1013</value>
! 					<regnode name="State">
  						<value></value>
  						<regnode name="State" isopaque="yes">
--- 68,72 ----
  				<regnode name="MetaRef" isopaque="yes">
  					<value>1013</value>
! 					<regnode name="State" isopaque="yes">
  						<value></value>
  						<regnode name="State" isopaque="yes">
***************
*** 125,129 ****
  				<regnode name="MetaRef" isopaque="yes">
  					<value>1004</value>
! 					<regnode name="InputSequence">
  						<value></value>
  						<regnode name="Events" isopaque="yes">
--- 125,129 ----
  				<regnode name="MetaRef" isopaque="yes">
  					<value>1004</value>
! 					<regnode name="InputSequence" isopaque="yes">
  						<value></value>
  						<regnode name="Events" isopaque="yes">
***************
*** 155,159 ****
  				<regnode name="MetaRef" isopaque="yes">
  					<value>1005</value>
! 					<regnode name="InputSequence">
  						<value></value>
  						<regnode name="Sequence" isopaque="yes">
--- 155,159 ----
  				<regnode name="MetaRef" isopaque="yes">
  					<value>1005</value>
! 					<regnode name="InputSequence" isopaque="yes">
  						<value></value>
  						<regnode name="Sequence" isopaque="yes">
***************
*** 178,182 ****
  		<model id="id-0065-00000001" kind="ParadigmSheet" relid="0x1" childrelidcntr="0x43">
  			<name>HFSM</name>
- 			
  			<atom id="id-0066-00000001" kind="BooleanAttribute" role="BooleanAttribute" relid="0x36">
  				<name>StartState</name>
--- 178,181 ----
***************
*** 245,252 ****
  				</attribute>
  				<attribute kind="ConstraintEqn">
! 					<value><![CDATA[let states = self.parts( State ) in
! states->size > 0
  implies
! states->select( s : State | s.StartState )->size = 1]]></value>
  				</attribute>
  				<attribute kind="ConstraintParam" status="meta">
--- 244,251 ----
  				</attribute>
  				<attribute kind="ConstraintEqn">
! 					<value>let states = self.parts( State ) in
! states-&gt;size &gt; 0
  implies
! states-&gt;select( s : State | s.StartState )-&gt;size = 1</value>
  				</attribute>
  				<attribute kind="ConstraintParam" status="meta">
***************
*** 304,307 ****
--- 303,309 ----
  					</regnode>
  				</regnode>
+ 				<attribute kind="ContentType" status="meta">
+ 					<value></value>
+ 				</attribute>
  				<attribute kind="DataType" status="meta">
  					<value>string</value>
***************
*** 601,606 ****
  					<value></value>
  				</attribute>
- 				<connpoint role="src" target="id-0066-00000006"/>
  				<connpoint role="dst" target="id-0066-00000006"/>
  			</connection>
  			<connection id="id-0068-00000005" kind="AssociationClass" role="AssociationClass" relid="0x18">
--- 603,608 ----
  					<value></value>
  				</attribute>
  				<connpoint role="dst" target="id-0066-00000006"/>
+ 				<connpoint role="src" target="id-0066-00000006"/>
  			</connection>
  			<connection id="id-0068-00000005" kind="AssociationClass" role="AssociationClass" relid="0x18">
***************
*** 644,648 ****
  				<connpoint role="dst" target="id-0066-00000006"/>
  			</connection>
! 			<set id="id-0069-00000001" kind="Aspect" role="Aspect" relid="0x0" members="id-0066-00000006 id-0066-00000004">
  				<name>StateMachine</name>
  				<regnode name="MetaRef" isopaque="yes">
--- 646,650 ----
  				<connpoint role="dst" target="id-0066-00000006"/>
  			</connection>
! 			<set id="id-0069-00000001" kind="Aspect" role="Aspect" relid="0x0" members="id-0066-00000004 id-0066-00000006">
  				<name>StateMachine</name>
  				<regnode name="MetaRef" isopaque="yes">
***************
*** 668,672 ****
  		<model id="id-0065-00000002" kind="ParadigmSheet" relid="0x3" childrelidcntr="0x1e">
  			<name>InputSequence</name>
- 			
  			<atom id="id-0066-00000007" kind="FieldAttribute" role="FieldAttribute" relid="0x1d">
  				<name>Delay</name>
--- 670,673 ----
***************
*** 683,686 ****
--- 684,690 ----
  					</regnode>
  				</regnode>
+ 				<attribute kind="ContentType" status="meta">
+ 					<value></value>
+ 				</attribute>
  				<attribute kind="DataType">
  					<value>integer</value>
***************
*** 738,742 ****
  				</attribute>
  				<attribute kind="ConstraintEqn">
! 					<value><![CDATA[self.attachingConnections( "dst", Sequence )->size < 2]]></value>
  				</attribute>
  				<attribute kind="ConstraintParam" status="meta">
--- 742,746 ----
  				</attribute>
  				<attribute kind="ConstraintEqn">
! 					<value>self.attachingConnections( &quot;dst&quot;, Sequence )-&gt;size &lt; 2</value>
  				</attribute>
  				<attribute kind="ConstraintParam" status="meta">



More information about the GME-commit mailing list