|
From: <ma...@us...> - 2012-01-09 00:32:47
|
Revision: 1266
http://scstudio.svn.sourceforge.net/scstudio/?rev=1266&view=rev
Author: madzin
Date: 2012-01-09 00:32:40 +0000 (Mon, 09 Jan 2012)
Log Message:
-----------
Fix small bug in error messages
Modified Paths:
--------------
trunk/src/membership/membership_time.cpp
trunk/tests/membership/CMakeLists.txt
trunk/tests/membership/TODO
trunk/tests/membership/complete_pat4.mpr.result
Modified: trunk/src/membership/membership_time.cpp
===================================================================
--- trunk/src/membership/membership_time.cpp 2012-01-09 00:25:13 UTC (rev 1265)
+++ trunk/src/membership/membership_time.cpp 2012-01-09 00:32:40 UTC (rev 1266)
@@ -441,7 +441,7 @@
{
std::wstring msg = L"Error: not decidable which event is the ";
msg += map_it->first->is_top_node_a()?L"minimal":L"maximal";
- msg += L"one of the ";
+ msg += L" one of the ";
msg += map_it->first->get_ref_node_a()->get_msc()->get_label() + L" node.";
c->get_mem()->print_report(RS_ERROR, msg);
@@ -450,7 +450,7 @@
{
std::wstring msg = L"Error: not decidable which event is the ";
msg += map_it->first->is_top_node_b()?L"minimal":L"maximal";
- msg += L"one of the ";
+ msg += L" one of the ";
msg += map_it->first->get_ref_node_b()->get_msc()->get_label() + L" node.";
c->get_mem()->print_report(RS_ERROR, msg);
Modified: trunk/tests/membership/CMakeLists.txt
===================================================================
--- trunk/tests/membership/CMakeLists.txt 2012-01-09 00:25:13 UTC (rev 1265)
+++ trunk/tests/membership/CMakeLists.txt 2012-01-09 00:32:40 UTC (rev 1266)
@@ -198,6 +198,8 @@
ADD_MEMBER_TEST(complete.mpr complete_pat5.mpr 1)
ADD_MEMBER_TEST(complete1.mpr complete_pat3.mpr 1)
+#see TODO
+#ADD_MEMBER_TEST(time_maximal.mpr time_maximal_pat.mpr 1)
#complete.mpr separeted into small pieces
ADD_MEMBER_TEST(test_bmsc32.mpr test_bmsc32_1.mpr 1)
Modified: trunk/tests/membership/TODO
===================================================================
--- trunk/tests/membership/TODO 2012-01-09 00:25:13 UTC (rev 1265)
+++ trunk/tests/membership/TODO 2012-01-09 00:32:40 UTC (rev 1266)
@@ -17,11 +17,6 @@
-----------------------------------------------------------------
-minimalone -> minimal one
-maximalone -> maximal one
-
------------------------------------------------------------------
-
Get minimal event of BMSC
Get maximal event of BMSC
Modified: trunk/tests/membership/complete_pat4.mpr.result
===================================================================
--- trunk/tests/membership/complete_pat4.mpr.result 2012-01-09 00:25:13 UTC (rev 1265)
+++ trunk/tests/membership/complete_pat4.mpr.result 2012-01-09 00:32:40 UTC (rev 1266)
@@ -1,2 +1,2 @@
-Error: not decidable which event is the minimalone of the C node.
+Error: not decidable which event is the minimal one of the C node.
Flow "Page_2" not found.
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|