[Avida-SVN] r1114 - branches/uml/source/main

[hjg at myxo.css.msu.edu]

Author: hjg
Date: 2006-12-05 22:04:46 -0500 (Tue, 05 Dec 2006)
New Revision: 1114

Modified:
   branches/uml/source/main/cOrganism.cc
   branches/uml/source/main/cOrganism.h
Log:


Modified: branches/uml/source/main/cOrganism.cc
===================================================================
--- branches/uml/source/main/cOrganism.cc	2006-12-06 02:43:42 UTC (rev 1113)
+++ branches/uml/source/main/cOrganism.cc	2006-12-06 03:04:46 UTC (rev 1114)
@@ -839,6 +839,7 @@
 
 void cOrganism::InitHILBandE()
 {
+/*
 	hil_begin = "Formalize as promela ;\n \
 	Model XDEModel{\n \
 	Class BrightnessSensor {\n \
@@ -848,9 +849,8 @@
         Signal getBrightnessValue( ) ;\n \
         Signal getOperationalState( ) ;\n \
         Signal setBrightnessValue(int ) ;\n ";
-
-
-	hil_end = " } \n \
+	
+	hil_end = "}\n\
 	Class ComputingComponent {\n \
         InstanceVar bool automaticMode ;\n \
         InstanceVar int brightnessValue ;\n \
@@ -1077,6 +1077,7 @@
 }\n \
 \n \
 }\n \ "; 
+*/
 	return;
 }
 

Modified: branches/uml/source/main/cOrganism.h
===================================================================
--- branches/uml/source/main/cOrganism.h	2006-12-06 02:43:42 UTC (rev 1113)
+++ branches/uml/source/main/cOrganism.h	2006-12-06 03:04:46 UTC (rev 1114)
@@ -256,7 +256,7 @@
   // on its placement in the trans_set, but this has already been solved by HIL printing. Check there after dinner.
  // stl::set<int> getTransBetweenVertices(State, State);
   std::string StringifyAnInt (int x);
-  std::string cOrganism::getHil();
+  std::string getHil();