From e06f9c7f38e269d713e0e8dcd570f982c019a2a2 Mon Sep 17 00:00:00 2001 From: Johannes Mey <johannes.mey@tu-dresden.de> Date: Thu, 31 Aug 2023 13:15:17 +0200 Subject: [PATCH] forgot to run trace page build script after changes --- pages/docs/cleaning-parsing.md | 77 +++++++++++++++++----------------- 1 file changed, 39 insertions(+), 38 deletions(-) diff --git a/pages/docs/cleaning-parsing.md b/pages/docs/cleaning-parsing.md index a5d6143..f3da680 100644 --- a/pages/docs/cleaning-parsing.md +++ b/pages/docs/cleaning-parsing.md @@ -1,41 +1,42 @@ +# Parsing the Robot Sorting World (Current Version) | Action | Context Update | Timestamp | Parse Tree | |----------------------------|-----------------|--------------|----------------------------------------------------------------------------------------| -| - | initial | 2023.08.30.17.22.35.713 |  | -| - | Robot.addSelection() | 2023.08.30.17.22.35.930 | -AFTER.svg) | -| - | Robot.addSelection() | 2023.08.30.17.22.36.135 | -AFTER.svg) | -| - | Robot.addSelection() | 2023.08.30.17.22.36.299 | -AFTER.svg) | -| - | Robot.addSelection() | 2023.08.30.17.22.36.472 | -AFTER.svg) | -| - | Robot.addSelection() | 2023.08.30.17.22.36.694 | -AFTER.svg) | -| - | Robot.addSelection() | 2023.08.30.17.22.36.916 | -AFTER.svg) | -| initial | - | 2023.08.30.17.22.37.084 |  | -| parseNotEmptyTable | - | 2023.08.30.17.22.37.118 |  | -| parseMisplacedObject | - | 2023.08.30.17.22.37.222 |  | -| parsePickUpObject | - | 2023.08.30.17.22.37.354 |  | -| - | Robot.setIsIdle() | 2023.08.30.17.22.37.370 | -AFTER.svg) | -| - | Robot.setAttachedItem() | 2023.08.30.17.22.40.610 | -AFTER.svg) | -| - | MovableObject.setPose() | 2023.08.30.17.22.40.843 | -AFTER.svg) | -| - | Robot.setIsIdle() | 2023.08.30.17.22.44.046 | -AFTER.svg) | -| parseRobotIsReadyToDropToken | - | 2023.08.30.17.22.44.077 |  | -| parseDropObjectAtRightPlace | - | 2023.08.30.17.22.44.299 |  | -| - | Robot.setIsIdle() | 2023.08.30.17.22.44.393 | -AFTER.svg) | -| - | Robot.setAttachedItem() | 2023.08.30.17.22.47.502 | -AFTER.svg) | -| - | Robot.setIsIdle() | 2023.08.30.17.22.50.697 | -AFTER.svg) | -| parseRobotIsReadyToPickToken | - | 2023.08.30.17.22.50.740 |  | -| parseMoveObjectToCorrectPlace | - | 2023.08.30.17.22.50.845 |  | -| parseMisplacedObject | - | 2023.08.30.17.22.51.015 |  | -| parsePickUpObject | - | 2023.08.30.17.22.51.183 |  | -| - | Robot.setIsIdle() | 2023.08.30.17.22.51.188 | -AFTER.svg) | -| - | Robot.setAttachedItem() | 2023.08.30.17.22.54.469 | -AFTER.svg) | -| - | MovableObject.setPose() | 2023.08.30.17.22.54.605 | -AFTER.svg) | -| - | Robot.setIsIdle() | 2023.08.30.17.22.57.777 | -AFTER.svg) | -| parseRobotIsReadyToDropToken | - | 2023.08.30.17.22.57.844 |  | -| parseDropObjectAtRightPlace | - | 2023.08.30.17.22.57.973 |  | -| - | Robot.setIsIdle() | 2023.08.30.17.22.57.974 | -AFTER.svg) | -| - | Robot.setAttachedItem() | 2023.08.30.17.23.01.134 | -AFTER.svg) | -| - | Robot.setIsIdle() | 2023.08.30.17.23.04.221 | -AFTER.svg) | -| parseRobotIsReadyToPickToken | - | 2023.08.30.17.23.04.245 |  | -| parseMoveObjectToCorrectPlace | - | 2023.08.30.17.23.04.375 |  | -| parseEmptyTable | - | 2023.08.30.17.23.04.482 |  | -| parseTidy | - | 2023.08.30.17.23.04.592 |  | -| complete | - | 2023.08.30.17.23.04.699 |  | +| - | initial | 2023.08.30.17.22.35.713 |  | +| - | Robot.addSelection() | 2023.08.30.17.22.35.930 | -AFTER.svg) | +| - | Robot.addSelection() | 2023.08.30.17.22.36.135 | -AFTER.svg) | +| - | Robot.addSelection() | 2023.08.30.17.22.36.299 | -AFTER.svg) | +| - | Robot.addSelection() | 2023.08.30.17.22.36.472 | -AFTER.svg) | +| - | Robot.addSelection() | 2023.08.30.17.22.36.694 | -AFTER.svg) | +| - | Robot.addSelection() | 2023.08.30.17.22.36.916 | -AFTER.svg) | +| initial | - | 2023.08.30.17.22.37.084 |  | +| parseNotEmptyTable | - | 2023.08.30.17.22.37.118 |  | +| parseMisplacedObject | - | 2023.08.30.17.22.37.222 |  | +| parsePickUpObject | - | 2023.08.30.17.22.37.354 |  | +| - | Robot.setIsIdle() | 2023.08.30.17.22.37.370 | -AFTER.svg) | +| - | Robot.setAttachedItem() | 2023.08.30.17.22.40.610 | -AFTER.svg) | +| - | MovableObject.setPose() | 2023.08.30.17.22.40.843 | -AFTER.svg) | +| - | Robot.setIsIdle() | 2023.08.30.17.22.44.046 | -AFTER.svg) | +| parseRobotIsReadyToDropToken | - | 2023.08.30.17.22.44.077 |  | +| parseDropObjectAtRightPlace | - | 2023.08.30.17.22.44.299 |  | +| - | Robot.setIsIdle() | 2023.08.30.17.22.44.393 | -AFTER.svg) | +| - | Robot.setAttachedItem() | 2023.08.30.17.22.47.502 | -AFTER.svg) | +| - | Robot.setIsIdle() | 2023.08.30.17.22.50.697 | -AFTER.svg) | +| parseRobotIsReadyToPickToken | - | 2023.08.30.17.22.50.740 |  | +| parseMoveObjectToCorrectPlace | - | 2023.08.30.17.22.50.845 |  | +| parseMisplacedObject | - | 2023.08.30.17.22.51.015 |  | +| parsePickUpObject | - | 2023.08.30.17.22.51.183 |  | +| - | Robot.setIsIdle() | 2023.08.30.17.22.51.188 | -AFTER.svg) | +| - | Robot.setAttachedItem() | 2023.08.30.17.22.54.469 | -AFTER.svg) | +| - | MovableObject.setPose() | 2023.08.30.17.22.54.605 | -AFTER.svg) | +| - | Robot.setIsIdle() | 2023.08.30.17.22.57.777 | -AFTER.svg) | +| parseRobotIsReadyToDropToken | - | 2023.08.30.17.22.57.844 |  | +| parseDropObjectAtRightPlace | - | 2023.08.30.17.22.57.973 |  | +| - | Robot.setIsIdle() | 2023.08.30.17.22.57.974 | -AFTER.svg) | +| - | Robot.setAttachedItem() | 2023.08.30.17.23.01.134 | -AFTER.svg) | +| - | Robot.setIsIdle() | 2023.08.30.17.23.04.221 | -AFTER.svg) | +| parseRobotIsReadyToPickToken | - | 2023.08.30.17.23.04.245 |  | +| parseMoveObjectToCorrectPlace | - | 2023.08.30.17.23.04.375 |  | +| parseEmptyTable | - | 2023.08.30.17.23.04.482 |  | +| parseTidy | - | 2023.08.30.17.23.04.592 |  | +| complete | - | 2023.08.30.17.23.04.699 |  | -- GitLab