From c7102508bcdd6c93ceebcad3b4c31a1923e06dcb Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Thu, 31 Aug 2023 13:55:53 +0200
Subject: [PATCH] improve trace page

---
 pages/docs/cleaning-parsing.md     | 76 +++++++++++++++---------------
 pages/docs/cleaning/make-sort.bash |  2 +-
 2 files changed, 39 insertions(+), 39 deletions(-)

diff --git a/pages/docs/cleaning-parsing.md b/pages/docs/cleaning-parsing.md
index f3da680..79f5316 100644
--- a/pages/docs/cleaning-parsing.md
+++ b/pages/docs/cleaning-parsing.md
@@ -2,41 +2,41 @@
 
 | Action                     | Context Update  | Timestamp    | Parse Tree                                                                             |
 |----------------------------|-----------------|--------------|----------------------------------------------------------------------------------------|
-| - | initial | 2023.08.30.17.22.35.713 | ![](cleaning/) |
-| - | Robot.addSelection() | 2023.08.30.17.22.35.930 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.35.930-Robot.addSelection()-AFTER.svg) |
-| - | Robot.addSelection() | 2023.08.30.17.22.36.135 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.36.135-Robot.addSelection()-AFTER.svg) |
-| - | Robot.addSelection() | 2023.08.30.17.22.36.299 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.36.299-Robot.addSelection()-AFTER.svg) |
-| - | Robot.addSelection() | 2023.08.30.17.22.36.472 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.36.472-Robot.addSelection()-AFTER.svg) |
-| - | Robot.addSelection() | 2023.08.30.17.22.36.694 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.36.694-Robot.addSelection()-AFTER.svg) |
-| - | Robot.addSelection() | 2023.08.30.17.22.36.916 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.36.916-Robot.addSelection()-AFTER.svg) |
-| initial | - | 2023.08.30.17.22.37.084 | ![](cleaning/AST-000-2023.08.30.17.22.37.084-initial.svg) |
-| parseNotEmptyTable | - | 2023.08.30.17.22.37.118 | ![](cleaning/AST-001-2023.08.30.17.22.37.118-parseNotEmptyTable.svg) |
-| parseMisplacedObject | - | 2023.08.30.17.22.37.222 | ![](cleaning/AST-002-2023.08.30.17.22.37.222-parseMisplacedObject.svg) |
-| parsePickUpObject | - | 2023.08.30.17.22.37.354 | ![](cleaning/AST-003-2023.08.30.17.22.37.354-parsePickUpObject.svg) |
-| - | Robot.setIsIdle() | 2023.08.30.17.22.37.370 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.37.370-Robot.setIsIdle()-AFTER.svg) |
-| - | Robot.setAttachedItem() | 2023.08.30.17.22.40.610 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.40.610-Robot.setAttachedItem()-AFTER.svg) |
-| - | MovableObject.setPose() | 2023.08.30.17.22.40.843 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.40.843-MovableObject.setPose()-AFTER.svg) |
-| - | Robot.setIsIdle() | 2023.08.30.17.22.44.046 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.44.046-Robot.setIsIdle()-AFTER.svg) |
-| parseRobotIsReadyToDropToken | - | 2023.08.30.17.22.44.077 | ![](cleaning/AST-004-2023.08.30.17.22.44.077-parseRobotIsReadyToDropToken.svg) |
-| parseDropObjectAtRightPlace | - | 2023.08.30.17.22.44.299 | ![](cleaning/AST-005-2023.08.30.17.22.44.299-parseDropObjectAtRightPlace.svg) |
-| - | Robot.setIsIdle() | 2023.08.30.17.22.44.393 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.44.393-Robot.setIsIdle()-AFTER.svg) |
-| - | Robot.setAttachedItem() | 2023.08.30.17.22.47.502 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.47.502-Robot.setAttachedItem()-AFTER.svg) |
-| - | Robot.setIsIdle() | 2023.08.30.17.22.50.697 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.50.697-Robot.setIsIdle()-AFTER.svg) |
-| parseRobotIsReadyToPickToken | - | 2023.08.30.17.22.50.740 | ![](cleaning/AST-006-2023.08.30.17.22.50.740-parseRobotIsReadyToPickToken.svg) |
-| parseMoveObjectToCorrectPlace | - | 2023.08.30.17.22.50.845 | ![](cleaning/AST-007-2023.08.30.17.22.50.845-parseMoveObjectToCorrectPlace.svg) |
-| parseMisplacedObject | - | 2023.08.30.17.22.51.015 | ![](cleaning/AST-008-2023.08.30.17.22.51.015-parseMisplacedObject.svg) |
-| parsePickUpObject | - | 2023.08.30.17.22.51.183 | ![](cleaning/AST-009-2023.08.30.17.22.51.183-parsePickUpObject.svg) |
-| - | Robot.setIsIdle() | 2023.08.30.17.22.51.188 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.51.188-Robot.setIsIdle()-AFTER.svg) |
-| - | Robot.setAttachedItem() | 2023.08.30.17.22.54.469 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.54.469-Robot.setAttachedItem()-AFTER.svg) |
-| - | MovableObject.setPose() | 2023.08.30.17.22.54.605 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.54.605-MovableObject.setPose()-AFTER.svg) |
-| - | Robot.setIsIdle() | 2023.08.30.17.22.57.777 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.57.777-Robot.setIsIdle()-AFTER.svg) |
-| parseRobotIsReadyToDropToken | - | 2023.08.30.17.22.57.844 | ![](cleaning/AST-010-2023.08.30.17.22.57.844-parseRobotIsReadyToDropToken.svg) |
-| parseDropObjectAtRightPlace | - | 2023.08.30.17.22.57.973 | ![](cleaning/AST-011-2023.08.30.17.22.57.973-parseDropObjectAtRightPlace.svg) |
-| - | Robot.setIsIdle() | 2023.08.30.17.22.57.974 | ![](cleaning/Context-RobotWorld-2023.08.30.17.22.57.974-Robot.setIsIdle()-AFTER.svg) |
-| - | Robot.setAttachedItem() | 2023.08.30.17.23.01.134 | ![](cleaning/Context-RobotWorld-2023.08.30.17.23.01.134-Robot.setAttachedItem()-AFTER.svg) |
-| - | Robot.setIsIdle() | 2023.08.30.17.23.04.221 | ![](cleaning/Context-RobotWorld-2023.08.30.17.23.04.221-Robot.setIsIdle()-AFTER.svg) |
-| parseRobotIsReadyToPickToken | - | 2023.08.30.17.23.04.245 | ![](cleaning/AST-012-2023.08.30.17.23.04.245-parseRobotIsReadyToPickToken.svg) |
-| parseMoveObjectToCorrectPlace | - | 2023.08.30.17.23.04.375 | ![](cleaning/AST-013-2023.08.30.17.23.04.375-parseMoveObjectToCorrectPlace.svg) |
-| parseEmptyTable | - | 2023.08.30.17.23.04.482 | ![](cleaning/AST-014-2023.08.30.17.23.04.482-parseEmptyTable.svg) |
-| parseTidy | - | 2023.08.30.17.23.04.592 | ![](cleaning/AST-015-2023.08.30.17.23.04.592-parseTidy.svg) |
-| complete | - | 2023.08.30.17.23.04.699 | ![](cleaning/AST-016-2023.08.30.17.23.04.699-complete.svg) |
+| - | initial | 17:22:35:713 | [![](cleaning/)](cleaning/) |
+| - | Robot.addSelection | 17:22:35:930 | [![Context-RobotWorld-2023.08.30.17.22.35.930-Robot.addSelection()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.35.930-Robot.addSelection()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.35.930-Robot.addSelection()-AFTER.svg) |
+| - | Robot.addSelection | 17:22:36:135 | [![Context-RobotWorld-2023.08.30.17.22.36.135-Robot.addSelection()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.36.135-Robot.addSelection()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.36.135-Robot.addSelection()-AFTER.svg) |
+| - | Robot.addSelection | 17:22:36:299 | [![Context-RobotWorld-2023.08.30.17.22.36.299-Robot.addSelection()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.36.299-Robot.addSelection()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.36.299-Robot.addSelection()-AFTER.svg) |
+| - | Robot.addSelection | 17:22:36:472 | [![Context-RobotWorld-2023.08.30.17.22.36.472-Robot.addSelection()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.36.472-Robot.addSelection()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.36.472-Robot.addSelection()-AFTER.svg) |
+| - | Robot.addSelection | 17:22:36:694 | [![Context-RobotWorld-2023.08.30.17.22.36.694-Robot.addSelection()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.36.694-Robot.addSelection()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.36.694-Robot.addSelection()-AFTER.svg) |
+| - | Robot.addSelection | 17:22:36:916 | [![Context-RobotWorld-2023.08.30.17.22.36.916-Robot.addSelection()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.36.916-Robot.addSelection()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.36.916-Robot.addSelection()-AFTER.svg) |
+| initial | - | 17:22:37:084 | [![AST-000-2023.08.30.17.22.37.084-initial.svg](cleaning/AST-000-2023.08.30.17.22.37.084-initial.svg)](cleaning/AST-000-2023.08.30.17.22.37.084-initial.svg) |
+| parseNotEmptyTable | - | 17:22:37:118 | [![AST-001-2023.08.30.17.22.37.118-parseNotEmptyTable.svg](cleaning/AST-001-2023.08.30.17.22.37.118-parseNotEmptyTable.svg)](cleaning/AST-001-2023.08.30.17.22.37.118-parseNotEmptyTable.svg) |
+| parseMisplacedObject | - | 17:22:37:222 | [![AST-002-2023.08.30.17.22.37.222-parseMisplacedObject.svg](cleaning/AST-002-2023.08.30.17.22.37.222-parseMisplacedObject.svg)](cleaning/AST-002-2023.08.30.17.22.37.222-parseMisplacedObject.svg) |
+| parsePickUpObject | - | 17:22:37:354 | [![AST-003-2023.08.30.17.22.37.354-parsePickUpObject.svg](cleaning/AST-003-2023.08.30.17.22.37.354-parsePickUpObject.svg)](cleaning/AST-003-2023.08.30.17.22.37.354-parsePickUpObject.svg) |
+| - | Robot.setIsIdle | 17:22:37:370 | [![Context-RobotWorld-2023.08.30.17.22.37.370-Robot.setIsIdle()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.37.370-Robot.setIsIdle()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.37.370-Robot.setIsIdle()-AFTER.svg) |
+| - | Robot.setAttachedItem | 17:22:40:610 | [![Context-RobotWorld-2023.08.30.17.22.40.610-Robot.setAttachedItem()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.40.610-Robot.setAttachedItem()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.40.610-Robot.setAttachedItem()-AFTER.svg) |
+| - | MovableObject.setPose | 17:22:40:843 | [![Context-RobotWorld-2023.08.30.17.22.40.843-MovableObject.setPose()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.40.843-MovableObject.setPose()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.40.843-MovableObject.setPose()-AFTER.svg) |
+| - | Robot.setIsIdle | 17:22:44:046 | [![Context-RobotWorld-2023.08.30.17.22.44.046-Robot.setIsIdle()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.44.046-Robot.setIsIdle()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.44.046-Robot.setIsIdle()-AFTER.svg) |
+| parseRobotIsReadyToDropToken | - | 17:22:44:077 | [![AST-004-2023.08.30.17.22.44.077-parseRobotIsReadyToDropToken.svg](cleaning/AST-004-2023.08.30.17.22.44.077-parseRobotIsReadyToDropToken.svg)](cleaning/AST-004-2023.08.30.17.22.44.077-parseRobotIsReadyToDropToken.svg) |
+| parseDropObjectAtRightPlace | - | 17:22:44:299 | [![AST-005-2023.08.30.17.22.44.299-parseDropObjectAtRightPlace.svg](cleaning/AST-005-2023.08.30.17.22.44.299-parseDropObjectAtRightPlace.svg)](cleaning/AST-005-2023.08.30.17.22.44.299-parseDropObjectAtRightPlace.svg) |
+| - | Robot.setIsIdle | 17:22:44:393 | [![Context-RobotWorld-2023.08.30.17.22.44.393-Robot.setIsIdle()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.44.393-Robot.setIsIdle()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.44.393-Robot.setIsIdle()-AFTER.svg) |
+| - | Robot.setAttachedItem | 17:22:47:502 | [![Context-RobotWorld-2023.08.30.17.22.47.502-Robot.setAttachedItem()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.47.502-Robot.setAttachedItem()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.47.502-Robot.setAttachedItem()-AFTER.svg) |
+| - | Robot.setIsIdle | 17:22:50:697 | [![Context-RobotWorld-2023.08.30.17.22.50.697-Robot.setIsIdle()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.50.697-Robot.setIsIdle()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.50.697-Robot.setIsIdle()-AFTER.svg) |
+| parseRobotIsReadyToPickToken | - | 17:22:50:740 | [![AST-006-2023.08.30.17.22.50.740-parseRobotIsReadyToPickToken.svg](cleaning/AST-006-2023.08.30.17.22.50.740-parseRobotIsReadyToPickToken.svg)](cleaning/AST-006-2023.08.30.17.22.50.740-parseRobotIsReadyToPickToken.svg) |
+| parseMoveObjectToCorrectPlace | - | 17:22:50:845 | [![AST-007-2023.08.30.17.22.50.845-parseMoveObjectToCorrectPlace.svg](cleaning/AST-007-2023.08.30.17.22.50.845-parseMoveObjectToCorrectPlace.svg)](cleaning/AST-007-2023.08.30.17.22.50.845-parseMoveObjectToCorrectPlace.svg) |
+| parseMisplacedObject | - | 17:22:51:015 | [![AST-008-2023.08.30.17.22.51.015-parseMisplacedObject.svg](cleaning/AST-008-2023.08.30.17.22.51.015-parseMisplacedObject.svg)](cleaning/AST-008-2023.08.30.17.22.51.015-parseMisplacedObject.svg) |
+| parsePickUpObject | - | 17:22:51:183 | [![AST-009-2023.08.30.17.22.51.183-parsePickUpObject.svg](cleaning/AST-009-2023.08.30.17.22.51.183-parsePickUpObject.svg)](cleaning/AST-009-2023.08.30.17.22.51.183-parsePickUpObject.svg) |
+| - | Robot.setIsIdle | 17:22:51:188 | [![Context-RobotWorld-2023.08.30.17.22.51.188-Robot.setIsIdle()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.51.188-Robot.setIsIdle()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.51.188-Robot.setIsIdle()-AFTER.svg) |
+| - | Robot.setAttachedItem | 17:22:54:469 | [![Context-RobotWorld-2023.08.30.17.22.54.469-Robot.setAttachedItem()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.54.469-Robot.setAttachedItem()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.54.469-Robot.setAttachedItem()-AFTER.svg) |
+| - | MovableObject.setPose | 17:22:54:605 | [![Context-RobotWorld-2023.08.30.17.22.54.605-MovableObject.setPose()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.54.605-MovableObject.setPose()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.54.605-MovableObject.setPose()-AFTER.svg) |
+| - | Robot.setIsIdle | 17:22:57:777 | [![Context-RobotWorld-2023.08.30.17.22.57.777-Robot.setIsIdle()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.57.777-Robot.setIsIdle()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.57.777-Robot.setIsIdle()-AFTER.svg) |
+| parseRobotIsReadyToDropToken | - | 17:22:57:844 | [![AST-010-2023.08.30.17.22.57.844-parseRobotIsReadyToDropToken.svg](cleaning/AST-010-2023.08.30.17.22.57.844-parseRobotIsReadyToDropToken.svg)](cleaning/AST-010-2023.08.30.17.22.57.844-parseRobotIsReadyToDropToken.svg) |
+| parseDropObjectAtRightPlace | - | 17:22:57:973 | [![AST-011-2023.08.30.17.22.57.973-parseDropObjectAtRightPlace.svg](cleaning/AST-011-2023.08.30.17.22.57.973-parseDropObjectAtRightPlace.svg)](cleaning/AST-011-2023.08.30.17.22.57.973-parseDropObjectAtRightPlace.svg) |
+| - | Robot.setIsIdle | 17:22:57:974 | [![Context-RobotWorld-2023.08.30.17.22.57.974-Robot.setIsIdle()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.22.57.974-Robot.setIsIdle()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.22.57.974-Robot.setIsIdle()-AFTER.svg) |
+| - | Robot.setAttachedItem | 17:23:01:134 | [![Context-RobotWorld-2023.08.30.17.23.01.134-Robot.setAttachedItem()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.23.01.134-Robot.setAttachedItem()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.23.01.134-Robot.setAttachedItem()-AFTER.svg) |
+| - | Robot.setIsIdle | 17:23:04:221 | [![Context-RobotWorld-2023.08.30.17.23.04.221-Robot.setIsIdle()-AFTER.svg](cleaning/Context-RobotWorld-2023.08.30.17.23.04.221-Robot.setIsIdle()-AFTER.svg)](cleaning/Context-RobotWorld-2023.08.30.17.23.04.221-Robot.setIsIdle()-AFTER.svg) |
+| parseRobotIsReadyToPickToken | - | 17:23:04:245 | [![AST-012-2023.08.30.17.23.04.245-parseRobotIsReadyToPickToken.svg](cleaning/AST-012-2023.08.30.17.23.04.245-parseRobotIsReadyToPickToken.svg)](cleaning/AST-012-2023.08.30.17.23.04.245-parseRobotIsReadyToPickToken.svg) |
+| parseMoveObjectToCorrectPlace | - | 17:23:04:375 | [![AST-013-2023.08.30.17.23.04.375-parseMoveObjectToCorrectPlace.svg](cleaning/AST-013-2023.08.30.17.23.04.375-parseMoveObjectToCorrectPlace.svg)](cleaning/AST-013-2023.08.30.17.23.04.375-parseMoveObjectToCorrectPlace.svg) |
+| parseEmptyTable | - | 17:23:04:482 | [![AST-014-2023.08.30.17.23.04.482-parseEmptyTable.svg](cleaning/AST-014-2023.08.30.17.23.04.482-parseEmptyTable.svg)](cleaning/AST-014-2023.08.30.17.23.04.482-parseEmptyTable.svg) |
+| parseTidy | - | 17:23:04:592 | [![AST-015-2023.08.30.17.23.04.592-parseTidy.svg](cleaning/AST-015-2023.08.30.17.23.04.592-parseTidy.svg)](cleaning/AST-015-2023.08.30.17.23.04.592-parseTidy.svg) |
+| complete | - | 17:23:04:699 | [![AST-016-2023.08.30.17.23.04.699-complete.svg](cleaning/AST-016-2023.08.30.17.23.04.699-complete.svg)](cleaning/AST-016-2023.08.30.17.23.04.699-complete.svg) |
diff --git a/pages/docs/cleaning/make-sort.bash b/pages/docs/cleaning/make-sort.bash
index 8026841..33309bf 100644
--- a/pages/docs/cleaning/make-sort.bash
+++ b/pages/docs/cleaning/make-sort.bash
@@ -15,6 +15,6 @@ cat << EOF > ../cleaning-parsing.md
 |----------------------------|-----------------|--------------|----------------------------------------------------------------------------------------|
 EOF
 
-awk '{print "| " (($1=="AST")?$4:"-") " | " (($1=="Context")?$4:"-") " | " $3 " | ![](cleaning/" (($1=="AST")?$5:$6) ") |"}' table-sorted.csv >> ../cleaning-parsing.md
+awk '{gsub("\\.", ":", $3);gsub("\\(\\)", "", $4); print "| " (($1=="AST")?$4:"-") " | " (($1=="Context")?$4:"-") " | " substr($3,12) " | [![" (($1=="AST")?$5:$6) "](cleaning/" (($1=="AST")?$5:$6) ")](cleaning/" (($1=="AST")?$5:$6) ") |"}' table-sorted.csv >> ../cleaning-parsing.md
 rm table.csv
 rm table-sorted.csv
-- 
GitLab