|
From: <tm...@us...> - 2013-05-25 21:01:45
|
Revision: 1816
http://sourceforge.net/p/scstudio/code/1816
Author: tmarton
Date: 2013-05-25 21:01:42 +0000 (Sat, 25 May 2013)
Log Message:
-----------
TimeRelevantOrdering tests
Modified Paths:
--------------
trunk/tests/CMakeLists.txt
trunk/tests/time_relevant_ordering/CMakeLists.txt
Added Paths:
-----------
trunk/tests/time_relevant_ordering/reload.py
trunk/tests/time_relevant_ordering/time_relevant_ordering
trunk/tests/time_relevant_ordering/tro_diff.py
trunk/tests/time_relevant_ordering/tro_test00.mpr
trunk/tests/time_relevant_ordering/tro_test00.tex.result
trunk/tests/time_relevant_ordering/tro_test01.mpr
trunk/tests/time_relevant_ordering/tro_test01.tex.result
trunk/tests/time_relevant_ordering/tro_test02.mpr
trunk/tests/time_relevant_ordering/tro_test02.tex.result
trunk/tests/time_relevant_ordering/tro_test03.mpr
trunk/tests/time_relevant_ordering/tro_test03.tex.result
trunk/tests/time_relevant_ordering/tro_test04.mpr
trunk/tests/time_relevant_ordering/tro_test04.tex.result
trunk/tests/time_relevant_ordering/tro_test05.mpr
trunk/tests/time_relevant_ordering/tro_test05.tex.result
trunk/tests/time_relevant_ordering/tro_test06.mpr
trunk/tests/time_relevant_ordering/tro_test06.tex.result
trunk/tests/time_relevant_ordering/tro_test07.mpr
trunk/tests/time_relevant_ordering/tro_test07.tex.result
trunk/tests/time_relevant_ordering/tro_test08.mpr
trunk/tests/time_relevant_ordering/tro_test08.tex.result
trunk/tests/time_relevant_ordering/tro_test09.mpr
trunk/tests/time_relevant_ordering/tro_test09.tex.result
trunk/tests/time_relevant_ordering/tro_test10.mpr
trunk/tests/time_relevant_ordering/tro_test10.tex.result
trunk/tests/time_relevant_ordering/tro_test11.mpr
trunk/tests/time_relevant_ordering/tro_test11.tex.result
trunk/tests/time_relevant_ordering/tro_test12.mpr
trunk/tests/time_relevant_ordering/tro_test12.tex.result
trunk/tests/time_relevant_ordering/tro_test13.mpr
trunk/tests/time_relevant_ordering/tro_test13.tex.result
trunk/tests/time_relevant_ordering/tro_test14.mpr
trunk/tests/time_relevant_ordering/tro_test14.tex.result
trunk/tests/time_relevant_ordering/tro_test15.mpr
trunk/tests/time_relevant_ordering/tro_test15.tex.result
trunk/tests/time_relevant_ordering/tro_test16.mpr
trunk/tests/time_relevant_ordering/tro_test16.tex.result
trunk/tests/time_relevant_ordering/tro_test17.mpr
trunk/tests/time_relevant_ordering/tro_test17.tex.result
trunk/tests/time_relevant_ordering/tro_test18.mpr
trunk/tests/time_relevant_ordering/tro_test18.tex.result
trunk/tests/time_relevant_ordering/tro_test19.mpr
trunk/tests/time_relevant_ordering/tro_test19.tex.result
trunk/tests/time_relevant_ordering/tro_test20.mpr
trunk/tests/time_relevant_ordering/tro_test20.tex.result
trunk/tests/time_relevant_ordering/tro_test21.mpr
trunk/tests/time_relevant_ordering/tro_test21.tex.result
trunk/tests/time_relevant_ordering/tro_test22.mpr
trunk/tests/time_relevant_ordering/tro_test22.tex.result
trunk/tests/time_relevant_ordering/tro_test23.mpr
trunk/tests/time_relevant_ordering/tro_test23.tex.result
trunk/tests/time_relevant_ordering/tro_test24.mpr
trunk/tests/time_relevant_ordering/tro_test24.tex.result
trunk/tests/time_relevant_ordering/tro_test25.mpr
trunk/tests/time_relevant_ordering/tro_test25.tex.result
trunk/tests/time_relevant_ordering/tro_test26.mpr
trunk/tests/time_relevant_ordering/tro_test26.tex.result
trunk/tests/time_relevant_ordering/tro_test27.mpr
trunk/tests/time_relevant_ordering/tro_test27.tex.result
trunk/tests/time_relevant_ordering/tro_test28.mpr
trunk/tests/time_relevant_ordering/tro_test28.tex.result
trunk/tests/time_relevant_ordering/tro_test29.mpr
trunk/tests/time_relevant_ordering/tro_test29.tex.result
trunk/tests/time_relevant_ordering/tro_test30.mpr
trunk/tests/time_relevant_ordering/tro_test30.tex.result
Modified: trunk/tests/CMakeLists.txt
===================================================================
--- trunk/tests/CMakeLists.txt 2013-05-25 17:54:57 UTC (rev 1815)
+++ trunk/tests/CMakeLists.txt 2013-05-25 21:01:42 UTC (rev 1816)
@@ -111,7 +111,6 @@
ENDMACRO(ADD_Z120_TEST)
ADD_SUBDIRECTORY(z120_test)
-ADD_SUBDIRECTORY(time_relevant_ordering)
SET(EXPORTTEX_SEQUENCE 0)
MACRO(ADD_EXPORTTEX_TEST FILE SATISFIED)
@@ -126,18 +125,19 @@
MATH(EXPR EXPORTTEX_SEQUENCE ${EXPORTTEX_SEQUENCE}+1)
ENDMACRO(ADD_EXPORTTEX_TEST)
-SET(EXPORTTEX_SEQUENCE 0)
-MACRO(ADD_EXPORTTEX_TEST FILE SATISFIED)
- GET_TARGET_PROPERTY(EXPORTTEX_TEST_EXECUTABLE exporttex_test LOCATION)
+SET(TRO_SEQUENCE 0)
+MACRO(ADD_TRO_TEST FILE SATISFIED)
+ GET_TARGET_PROPERTY(TRO_TEST_EXECUTABLE tro_test LOCATION)
# Replace the "$(IntDir)", "$(OutDir)", or "$(CONFIGURATION)"
# depending on the generator being used with the test-time variable.
STRING(REGEX REPLACE "\\$\\(.*\\)" "\${CTEST_CONFIGURATION_TYPE}"
- EXPORTTEX_TEST_EXECUTABLE "${EXPORTTEX_TEST_EXECUTABLE}")
+ TRO_TEST_EXECUTABLE "${TRO_TEST_EXECUTABLE}")
- ADD_TEST("EXPORTTEX_test-${EXPORTTEX_SEQUENCE}-${FILE}"
- ${PYTHON_EXECUTABLE} "${CMAKE_SOURCE_DIR}/tests/exporttex_test/exporttex_diff.py" "${EXPORTTEX_TEST_EXECUTABLE}" "${CMAKE_CURRENT_SOURCE_DIR}/${FILE}" ${SATISFIED})
- MATH(EXPR EXPORTTEX_SEQUENCE ${EXPORTTEX_SEQUENCE}+1)
-ENDMACRO(ADD_EXPORTTEX_TEST)
+ ADD_TEST("TRO_test-${TRO_SEQUENCE}-${FILE}"
+ ${PYTHON_EXECUTABLE} "${CMAKE_SOURCE_DIR}/tests/time_relevant_ordering/tro_diff.py" "${TRO_TEST_EXECUTABLE}" "${CMAKE_CURRENT_SOURCE_DIR}/${FILE}" ${SATISFIED})
+ MATH(EXPR TRO_SEQUENCE ${TRO_SEQUENCE}+1)
+ENDMACRO(ADD_TRO_TEST)
+ADD_SUBDIRECTORY(time_relevant_ordering)
SET(PCAP_SEQUENCE 0)
MACRO(ADD_PCAP_TEST FILE1 FILE SATISFIED)
Modified: trunk/tests/time_relevant_ordering/CMakeLists.txt
===================================================================
--- trunk/tests/time_relevant_ordering/CMakeLists.txt 2013-05-25 17:54:57 UTC (rev 1815)
+++ trunk/tests/time_relevant_ordering/CMakeLists.txt 2013-05-25 21:01:42 UTC (rev 1816)
@@ -1,23 +1,43 @@
FIND_PACKAGE(PythonInterp REQUIRED)
-ADD_EXECUTABLE(time_relevant_ordering
- time_relevant_ordering_test
+ADD_EXECUTABLE(tro_test
+ time_relevant_ordering_test.cpp
)
-TARGET_LINK_LIBRARIES(time_relevant_ordering
+TARGET_LINK_LIBRARIES(tro_test
sctimerelevantordering
+ sctex
scZ120
- sctex
scbeautify
)
-ADD_TEST(test1.mpr 1)
-ADD_TEST(test2.mpr 1)
-ADD_TEST(test3.mpr 1)
-ADD_TEST(test4.mpr 1)
-
-
-
-
-
-
-# $Id$
+ADD_TRO_TEST(tro_test00.mpr 1)
+ADD_TRO_TEST(tro_test01.mpr 1)
+ADD_TRO_TEST(tro_test02.mpr 1)
+ADD_TRO_TEST(tro_test03.mpr 1)
+ADD_TRO_TEST(tro_test04.mpr 1)
+ADD_TRO_TEST(tro_test05.mpr 1)
+ADD_TRO_TEST(tro_test06.mpr 1)
+ADD_TRO_TEST(tro_test07.mpr 1)
+ADD_TRO_TEST(tro_test08.mpr 1)
+ADD_TRO_TEST(tro_test09.mpr 1)
+ADD_TRO_TEST(tro_test10.mpr 1)
+ADD_TRO_TEST(tro_test11.mpr 1)
+ADD_TRO_TEST(tro_test12.mpr 1)
+ADD_TRO_TEST(tro_test13.mpr 1)
+ADD_TRO_TEST(tro_test14.mpr 1)
+ADD_TRO_TEST(tro_test15.mpr 1)
+ADD_TRO_TEST(tro_test16.mpr 1)
+ADD_TRO_TEST(tro_test17.mpr 1)
+ADD_TRO_TEST(tro_test18.mpr 1)
+ADD_TRO_TEST(tro_test19.mpr 1)
+ADD_TRO_TEST(tro_test20.mpr 1)
+ADD_TRO_TEST(tro_test21.mpr 1)
+ADD_TRO_TEST(tro_test22.mpr 1)
+ADD_TRO_TEST(tro_test23.mpr 1)
+ADD_TRO_TEST(tro_test24.mpr 1)
+ADD_TRO_TEST(tro_test25.mpr 1)
+ADD_TRO_TEST(tro_test26.mpr 1)
+ADD_TRO_TEST(tro_test27.mpr 1)
+ADD_TRO_TEST(tro_test28.mpr 1)
+ADD_TRO_TEST(tro_test29.mpr 1)
+ADD_TRO_TEST(tro_test30.mpr 1)
Added: trunk/tests/time_relevant_ordering/reload.py
===================================================================
--- trunk/tests/time_relevant_ordering/reload.py (rev 0)
+++ trunk/tests/time_relevant_ordering/reload.py 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,56 @@
+#!/usr/bin/env python
+import subprocess
+import difflib
+import sys
+import glob
+import os
+
+#CMakeLists.txt
+cmakefile = open("./CMakeLists.txt","w")
+cmake_out = "FIND_PACKAGE(PythonInterp REQUIRED)\n\n" + \
+ "ADD_EXECUTABLE(tro_test\n" + \
+ " time_relevant_ordering_test.cpp\n)\n" + \
+ "TARGET_LINK_LIBRARIES(tro_test\n" + \
+ " sctimerelevantordering\n sctex\n scZ120\n scbeautify\n)\n\n"
+cmakefile.write(cmake_out)
+
+#generate new result files and diff with old ones
+diff_num = 0
+log_file = open("makeTest.log","w")
+#tro_test files
+for x in range(0,31):
+ file_name = "tro_test%02.d" % x
+ cmakefile.write("ADD_TRO_TEST(%s.mpr 1)\n" % file_name)
+ log_file.write("##########\n%s\n#########\n" % file_name)
+ try:
+ os.rename(file_name + ".tex.result", file_name + ".tex.old")
+ p = subprocess.Popen(["./tro_test", file_name+".mpr", "1"],stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
+ output = p.stderr.readlines() + p.stdout.readlines()
+ log_file.writelines(p.stderr.readlines())
+ fo = open(file_name + ".tex.result", "w")
+ fo.writelines(output)
+ fo.close()
+ expected_output = open(file_name + ".tex.old", "rt")
+ result = difflib.unified_diff(expected_output.readlines(), output)
+ result_lines = 0
+ for line in result:
+ log_file.write(line,)
+ result_lines += 1
+ if result_lines == 0:
+ log_file.write("-------\nPASSED\n")
+ os.remove(file_name + ".tex.old")
+ else:
+ log_file.write("-------\nFAILED\n")
+ print("FAILED file: %s\n" % file_name)
+ expected_output.close();
+ except IOError:
+ log_file.write("IOError\n")
+ except:
+ log_file.write("Error\n")
+ p = subprocess.Popen(["./tro_test", file_name+".mpr", "1"], stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
+ output = p.stderr.readlines() + p.stdout.readlines()
+ fo = open(file_name + ".tex.result", "w")
+ fo.writelines(output)
+ fo.close()
+log_file.close()
+cmakefile.close()
Property changes on: trunk/tests/time_relevant_ordering/reload.py
___________________________________________________________________
Added: svn:executable
## -0,0 +1 ##
+*
\ No newline at end of property
Added: trunk/tests/time_relevant_ordering/time_relevant_ordering
===================================================================
(Binary files differ)
Index: trunk/tests/time_relevant_ordering/time_relevant_ordering
===================================================================
--- trunk/tests/time_relevant_ordering/time_relevant_ordering 2013-05-25 17:54:57 UTC (rev 1815)
+++ trunk/tests/time_relevant_ordering/time_relevant_ordering 2013-05-25 21:01:42 UTC (rev 1816)
Property changes on: trunk/tests/time_relevant_ordering/time_relevant_ordering
___________________________________________________________________
Added: svn:executable
## -0,0 +1 ##
+*
\ No newline at end of property
Added: svn:mime-type
## -0,0 +1 ##
+application/octet-stream
\ No newline at end of property
Added: trunk/tests/time_relevant_ordering/tro_diff.py
===================================================================
--- trunk/tests/time_relevant_ordering/tro_diff.py (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_diff.py 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,58 @@
+#!/usr/bin/env python
+import subprocess
+import difflib
+import sys
+import glob
+
+p = subprocess.Popen([sys.argv[1], sys.argv[2], sys.argv[3]], stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
+
+output = p.stdout.readlines() + p.stderr.readlines()
+# print the output as it may contain valgrind error reports
+# note: ctest expects the valgring errors at stderr
+sys.stderr.writelines(output)
+
+if int(sys.argv[3]) == 0:
+ exit = p.wait()
+ sys.exit(exit)
+
+else:
+ result_files = glob.glob(sys.argv[2][:len(sys.argv[2])-3] + "tex.result*")
+ # if no result file, return the error code
+ if len(result_files) == 0:
+ exit = p.wait()
+ sys.exit(1)
+
+ error_count = 0
+ passed_count = 0
+ for result_file in result_files:
+ try:
+ expected_output = open(result_file, "rt")
+ except IOError:
+ error_count = error_count+1
+ print("----------------------------------------------------------")
+ print("FAILED: cannot open", result_file)
+ continue
+
+ result = difflib.unified_diff(expected_output.readlines(), output)
+ result_lines = 0
+ # print the differences between the real and the expected output
+ for line in result:
+ if result_lines == 0:
+ error_count = error_count+1
+ print("----------------------------------------------------------")
+ print("FAILED: does not match", result_file)
+
+ print(line,)
+ result_lines = result_lines + 1
+
+ if result_lines == 0:
+ passed_count = passed_count + 1
+ print("----------------------------------------------------------")
+ print("PASSED: matches", result_file)
+
+ if passed_count > 0:
+ sys.exit(0)
+ else:
+ sys.exit(error_count)
+
+# $Id: z120_diff.py 1269 2012-01-09 12:34:16Z xrehak $
Property changes on: trunk/tests/time_relevant_ordering/tro_diff.py
___________________________________________________________________
Added: svn:executable
## -0,0 +1 ##
+*
\ No newline at end of property
Added: trunk/tests/time_relevant_ordering/tro_test00.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test00.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test00.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,13 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+Instance_1: instance;
+out NAME,0 to Instance_2;
+time [@0];
+endinstance;
+Instance_2: instance;
+in NAME,0 from Instance_1;
+time [@0];
+endinstance;
+endmsc;
Property changes on: trunk/tests/time_relevant_ordering/tro_test00.mpr
___________________________________________________________________
Added: svn:executable
## -0,0 +1 ##
+*
\ No newline at end of property
Added: trunk/tests/time_relevant_ordering/tro_test00.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test00.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test00.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,93 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test00}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0]}{0_inst}
+\mess{NAME}{0_inst}[0.3]{1_inst}[1]
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[0]}{1_inst}
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test01.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test01.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test01.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,12 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+Instance_1: instance;
+out NAME,0 to Instance_2;
+time [@0];
+endinstance;
+Instance_2: instance;
+in NAME,0 from Instance_1;
+endinstance;
+endmsc;
Property changes on: trunk/tests/time_relevant_ordering/tro_test01.mpr
___________________________________________________________________
Added: svn:executable
## -0,0 +1 ##
+*
\ No newline at end of property
Added: trunk/tests/time_relevant_ordering/tro_test01.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test01.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test01.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,91 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test01}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0]}{0_inst}
+\mess{NAME}{0_inst}[0.3]{1_inst}[1]
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test02.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test02.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test02.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,14 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+time [@0];
+in Message_2,1 from Instance_2;
+endinstance;
+Instance_2: instance;
+in Message_1,0 from Instance_1;
+out Message_2,1 to Instance_1;
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test02.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test02.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test02.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,102 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test02}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0]}{0_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_2}{1_inst}[0.3]{0_inst}[1]
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test03.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test03.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test03.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,15 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+time [@0];
+in Message_2,1 from Instance_2;
+time [@1];
+endinstance;
+Instance_2: instance;
+in Message_1,0 from Instance_1;
+out Message_2,1 to Instance_1;
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test03.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test03.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test03.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,105 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test03}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+\def\slopeB{8mm*\real{\mscScaleY}}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0]}{0_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\mess{Message\_2}{1_inst}[0.3]{0_inst}[1]
+\nextlevel
+
+\mscmark[tl]{@[1]}{0_inst}
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test04.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test04.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test04.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,16 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+time [@1];
+in Message_2,1 from Instance_2;
+time [@3];
+endinstance;
+Instance_2: instance;
+out Message_2,1 to Instance_1;
+in Message_1,0 from Instance_1;
+time [@2];
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test04.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test04.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test04.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,110 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test04}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{8mm*\real{\mscScaleY}}
+\def\slopeB{\levelA+\slopeA+\levelA}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+
+\setlength{\levelheight}{\slopeB}
+\mess{Message\_2}{1_inst}[0.3]{0_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[1]}{0_inst}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[2]}{1_inst}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[3]}{0_inst}
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test05.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test05.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test05.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,20 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+inst Instance_3;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+in Message_4,1 from Instance_3;
+endinstance;
+Instance_2: instance;
+in Message_1,0 from Instance_1;
+out Message_2,2 to Instance_3;
+in Message_3,3 from Instance_3;
+endinstance;
+Instance_3: instance;
+in Message_2,2 from Instance_2;
+out Message_3,3 to Instance_2;
+out Message_4,1 to Instance_1;
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test05.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test05.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test05.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,102 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test05}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{15mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{5mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{5mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{5mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{10mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{25mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+\declinst{2_inst}{Instance\_3}{}
+
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_2}{1_inst}[0.3]{2_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_3}{2_inst}[0.3]{1_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_4}{2_inst}[0.3]{0_inst}[1]
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test06.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test06.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test06.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,22 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+inst Instance_3;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+time [@0];
+in Message_4,1 from Instance_3;
+endinstance;
+Instance_2: instance;
+in Message_1,0 from Instance_1;
+out Message_2,2 to Instance_3;
+in Message_3,3 from Instance_3;
+endinstance;
+Instance_3: instance;
+in Message_2,2 from Instance_2;
+time [@2];
+out Message_3,3 to Instance_2;
+out Message_4,1 to Instance_1;
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test06.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test06.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test06.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,122 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test06}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+\def\slopeB{\levelA+\levelA}
+\def\slopeC{\levelA+\levelA}
+\def\slopeD{\levelA+\levelA+\levelA+\levelA}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+\declinst{2_inst}{Instance\_3}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0]}{0_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\levelheight}{\slopeB}
+\mess{Message\_2}{1_inst}[0.3]{2_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[2]}{2_inst}
+\nextlevel
+
+\setlength{\levelheight}{\slopeB}
+\mess{Message\_3}{2_inst}[0.3]{1_inst}[-1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\levelheight}{32mm}
+\mess{Message\_4}{2_inst}[0.3]{0_inst}[-1]
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test07.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test07.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test07.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,28 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+inst Instance_3;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+time [@1];
+in Message_4,1 from Instance_3;
+time [@8];
+endinstance;
+Instance_2: instance;
+in Message_1,0 from Instance_1;
+time [@2];
+out Message_2,2 to Instance_3;
+time [@3];
+in Message_3,3 from Instance_3;
+time [@6];
+endinstance;
+Instance_3: instance;
+in Message_2,2 from Instance_2;
+time [@4];
+out Message_3,3 to Instance_2;
+time [@5];
+out Message_4,1 to Instance_1;
+time [@7];
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test07.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test07.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test07.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,127 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test07}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{8mm*\real{\mscScaleY}}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+\declinst{2_inst}{Instance\_3}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[1]}{0_inst}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[2]}{1_inst}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[3]}{1_inst}
+\mess{Message\_2}{1_inst}[0.3]{2_inst}[1]
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[4]}{2_inst}
+\nextlevel
+
+\mscmark[tr]{@[5]}{2_inst}
+\mess{Message\_3}{2_inst}[0.3]{1_inst}[1]
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[6]}{1_inst}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[7]}{2_inst}
+\mess{Message\_4}{2_inst}[0.3]{0_inst}[1]
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[8]}{0_inst}
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test08.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test08.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test08.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,20 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+inst Instance_3;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+time @[2,5];
+endinstance;
+Instance_2: instance;
+in Message_1,0 from Instance_1;
+time @[0,8];
+out Message_2,1 to Instance_3;
+time @[0,8];
+endinstance;
+Instance_3: instance;
+in Message_2,1 from Instance_2;
+time @[1,2];
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test08.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test08.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test08.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,109 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test08}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+\declinst{2_inst}{Instance\_3}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[2,5]}{0_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[2,8]}{1_inst}
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[2,8]}{1_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_2}{1_inst}[0.3]{2_inst}[1]
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[2]}{2_inst}
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test09.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test09.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test09.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,17 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+time @[3,100];
+in Message_2,1 from Instance_2;
+time [@100];
+endinstance;
+Instance_2: instance;
+out Message_2,1 to Instance_1;
+time @[0,8];
+in Message_1,0 from Instance_1;
+time @[0,1000];
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test09.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test09.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test09.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,113 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test09}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+\def\levelB{16mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+\def\slopeB{\levelA+\levelB}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[0,8]}{1_inst}
+\setlength{\levelheight}{\slopeB}
+\mess{Message\_2}{1_inst}[0.3]{0_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[3,100]}{0_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[3,1000]}{1_inst}
+\setlength{\levelheight}{\levelB}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[100]}{0_inst}
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test10.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test10.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test10.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,24 @@
+mscdocument Drawing1;
+msc Page_1;
+inst Instance_1;
+inst Instance_2;
+inst Instance_3;
+Instance_1: instance;
+out Message_1,0 to Instance_2;
+time @[3,4];
+endinstance;
+Instance_2: instance;
+out Message_2,1 to Instance_3;
+time @[0,4];
+in Message_1,0 from Instance_1;
+time @[0,4];
+out Message_3,2 to Instance_3;
+time @[4,8];
+endinstance;
+Instance_3: instance;
+in Message_2,1 from Instance_2;
+time @[2,6];
+in Message_3,2 from Instance_2;
+time [@5];
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test10.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test10.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test10.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,120 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test10}
+\setmsckeyword{Page\_1}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+\def\slopeB{8mm*\real{\mscScaleY}}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{Instance\_1}{}
+\declinst{1_inst}{Instance\_2}{}
+\declinst{2_inst}{Instance\_3}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0,4]}{1_inst}
+\mess{Message\_2}{1_inst}[0.3]{2_inst}[1]
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[2,6]}{2_inst}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[3,4]}{0_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Message\_1}{0_inst}[0.3]{1_inst}[1]
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[3,4]}{1_inst}
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[4,8]}{1_inst}
+\mess{Message\_3}{1_inst}[0.3]{2_inst}[1]
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[5]}{2_inst}
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test11.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test11.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test11.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,25 @@
+mscdocument connection_termination;
+msc Pcap;
+inst 192.168.10.226;
+inst 192.168.11.12;
+192.168.10.226: instance;
+out Ethernet_II._I_IPv4_SRC_19707_DST_23_TCP_FIN_ACK_SEQ_1_ACK_1_,0 to 192.168.11.12;
+time [@0];
+in Ethernet_II._I_IPv4_SRC_23_DST_19707_TCP_ACK_SEQ_1_ACK_2_,1 from 192.168.11.12;
+time [@0.00433];
+in Ethernet_II._I_IPv4_SRC_23_DST_19707_TCP_FIN_ACK_SEQ_1_ACK_2_,2 from 192.168.11.12;
+time [@0.015354];
+out Ethernet_II._I_IPv4_SRC_19707_DST_23_TCP_ACK_SEQ_2_ACK_2_,3 to 192.168.11.12;
+time [@0.015461];
+endinstance;
+192.168.11.12: instance;
+in Ethernet_II._I_IPv4_SRC_19707_DST_23_TCP_FIN_ACK_SEQ_1_ACK_1_,0 from 192.168.10.226;
+time [@0];
+out Ethernet_II._I_IPv4_SRC_23_DST_19707_TCP_ACK_SEQ_1_ACK_2_,1 to 192.168.10.226;
+time [@0.00433];
+out Ethernet_II._I_IPv4_SRC_23_DST_19707_TCP_FIN_ACK_SEQ_1_ACK_2_,2 to 192.168.10.226;
+time [@0.015354];
+in Ethernet_II._I_IPv4_SRC_19707_DST_23_TCP_ACK_SEQ_2_ACK_2_,3 from 192.168.10.226;
+time [@0.015461];
+endinstance;
+endmsc;
Added: trunk/tests/time_relevant_ordering/tro_test11.tex.result
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test11.tex.result (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test11.tex.result 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,126 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% You can download Msc5.sty package from:
+%%%% http://is.muni.cz/www/374320/msc5.sty
+%%%% Documentation:
+%%%% http://is.muni.cz/www/374320/manualNew.pdf
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+\documentclass{article}
+\usepackage{msc5}
+\usepackage[a4paper]{geometry}
+\begin{document}
+\drawframe{no}
+\section*{tro\_test11}
+\setmsckeyword{Pcap}
+\begin{msc}{}
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% Configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%%%% Scale:
+\def\mscScaleX{1.0}
+\def\mscScaleY{1.0}
+
+%%%% Lines width:
+\pgfsetlinewidth{0.4pt}
+
+%%%% Picture box width:
+\setlength{\envinstdist}{20mm*\real{\mscScaleX}}
+
+%%%% Picture box y-padding:
+\setlength{\topheaddist}{\topheaddist}
+\setlength{\bottomfootdist}{\bottomfootdist}
+
+%%%% Instance first and last level height:
+\setlength{\firstlevelheight}{13mm*\real{\mscScaleY}}
+\setlength{\lastlevelheight}{11mm*\real{\mscScaleY}}
+
+%%%% Levels:
+\def\levelA{8mm*\real{\mscScaleY}}
+
+\setlength{\levelheight}{\levelA}
+
+
+%%%% Slope:
+\def\slopeA{0mm*\real{\mscScaleY}}
+
+
+%%%% Width of absolute time:
+\def\absoluteTimeWidthA{10mm*\real{\mscScaleX}}
+
+
+%%%% Absolute time slope:
+\def\absoluteTimeSlopeA{5mm*\real{\mscScaleY}}
+
+\setlength{\markdist}{\absoluteTimeSlopeA}
+
+%%%% Width od time interval:
+\def\timeIntervalWidthA{7mm*\real{\mscScaleX}}
+
+
+%%%% Ordering width:
+\def\orderingWidthA{3mm*\real{\mscScaleX}}
+
+
+%%%% Width of instance head/foot:
+\def\instanceWidthA{15mm*\real{\mscScaleX}}
+
+\setlength{\instwidth}{\instanceWidthA}
+
+%%%% Height of instance head/foot:
+\def\instanceHeightA{3mm*\real{\mscScaleY}}
+
+\setlength{\instheadheight}{\instanceHeightA}
+
+\setlength{\instfootheight}{\instheadheight}
+
+%%%% Space between instances:
+\def\instanceSpaceA{30mm*\real{\mscScaleX}}
+
+\setlength{\instdist}{\instanceSpaceA}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%% End of configuration header
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\declinst{0_inst}{192.168.10.226}{}
+\declinst{1_inst}{192.168.11.12}{}
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0]}{0_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Ethernet\_II.\_I\_IPv4\_SRC\_19707\_DST\_23\_TCP\_FIN\_ACK\_SEQ\_1\_ACK\_1\_}{0_inst}[0.3]{1_inst}[1]
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[0]}{1_inst}
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0.00433]}{0_inst}
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[0.00433]}{1_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Ethernet\_II.\_I\_IPv4\_SRC\_23\_DST\_19707\_TCP\_ACK\_SEQ\_1\_ACK\_2\_}{1_inst}[0.3]{0_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0.015354]}{0_inst}
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[0.015354]}{1_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Ethernet\_II.\_I\_IPv4\_SRC\_23\_DST\_19707\_TCP\_FIN\_ACK\_SEQ\_1\_ACK\_2\_}{1_inst}[0.3]{0_inst}[1]
+\setlength{\levelheight}{\levelA}
+\nextlevel
+
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tl]{@[0.015461]}{0_inst}
+\setlength{\levelheight}{\slopeA}
+\mess{Ethernet\_II.\_I\_IPv4\_SRC\_19707\_DST\_23\_TCP\_ACK\_SEQ\_2\_ACK\_2\_}{0_inst}[0.3]{1_inst}[1]
+\setlength{\selfmesswidth}{\absoluteTimeWidthA}
+\mscmark[tr]{@[0.015461]}{1_inst}
+\end{msc}
+\end{document}
Added: trunk/tests/time_relevant_ordering/tro_test12.mpr
===================================================================
--- trunk/tests/time_relevant_ordering/tro_test12.mpr (rev 0)
+++ trunk/tests/time_relevant_ordering/tro_test12.mpr 2013-05-25 21:01:42 UTC (rev 1816)
@@ -0,0 +1,182 @@
+mscdocument NTP_sync;
+msc Pcap;
+inst 192.168.50.50;
+inst 192.168.0.1;
+inst 67.129.68.9;
+inst 69.44.57.60;
+inst 207.234.209.181;
+inst 209.132.176.4;
+inst 216.27.185.42;
+inst 24.34.79.42;
+inst 24.123.202.230;
+inst 63.164.62.249;
+inst 64.112.189.11;
+inst 65.125.233.206;
+inst 66.33.206.5;
+inst 66.33.216.11;
+inst 66.92.68.246;
+inst 66.111.46.200;
+inst 66.115.136.4;
+192.168.50.50: instance;
+out 1_DNS_QUERY_us.pool.ntp.org_,0 to 192.168.0.1;
+time [@0];
+in 2_DNS_RESP_us.pool.ntp.org_,1 from 192.168.0.1;
+time [@0.006946];
+out 3_NBNS_,2 to 67.129.68.9;
+time [@0.016303];
+out 4_NBNS_,3 to 69.44.57.60;
+time [@0.016634];
+out 5_NBNS_,4 to 207.234.209.181;
+time [@0.017088];
+out 6_NBNS_,5 to 209.132.176.4;
+time [@0.017483];
+out 7_NBNS_,6 to 216.27.185.42;
+time [@0.017905];
+out 8_NBNS_,7 to 24.34.79.42;
+time [@0.018303];
+out 9_NBNS_,8 to 24.123.202.230;
+time [@0.018785];
+out 10_NBNS_,9 to 63.164.62.249;
+time [@0.019231];
+out 11_NBNS_,10 to 64.112.189.11;
+time [@0.019953];
+out 12_NBNS_,11 to 65.125.233.206;
+time [@0.020601];
+out 13_NBNS_,12 to 66.33.206.5;
+time [@0.021393];
+out 14_NBNS_,13 to 66.33.216.11;
+time [@0.022194];
+out 15_NBNS_,14 to 66.92.68.246;
+time [@0.022803];
+out 16_NBNS_,15 to 66.111.46.200;
+time [@0.02...
[truncated message content] |