Code

[issue1146] Validate SAS file#227

Code

Draft

tanjaschindler wants to merge 41 commits intoaibasel:mainaibasel/downward:mainfrom tanjaschindler:issue1146tanjaschindler/downward:issue1146Copy head branch name to clipboard

+658-161

Commits

Commits on Jul 12, 2024

• [issue 1146] Check that the input contains a number where expected.

  tanjaschindler

  committed
  729fcbe

• Add fact check for initial state and mutexes.

  grucla

  committed
  7659cd6

Commits on Jul 17, 2024

• [Issue 1146] First version of sas file parser.

  tanjaschindler

  committed
  777bef8

• [Issue 1146] Error handling only on InputFileParser level; get rid of InputFileLine in root_task

  tanjaschindler

  committed
  5c189e7

Commits on Jul 18, 2024

• [Issue 1146] Simplify InputFileParser, fix usage in RootTask.

  tanjaschindler

  committed
  53c5096

Commits on Jul 19, 2024

• [Issue 1146] Add documentation to parser.

  tanjaschindler

  committed
  62c7e7f

• [Issue1146] Check that there is at least one state variable and domain value.

  grucla

  committed
  0ba73dc

• [Issue1146] Check that mutex groups have unique facts and at least size 1.

  grucla

  committed
  f30e600

Commits on Nov 14, 2024

• Address parts of reviews. Main changes: may_start_line is now a function, more documentation

  tanjaschindler

  committed
  9ae051f

Commits on Nov 15, 2024

• Rename InputFIleParser to TaskParser.

  tanjaschindler

  committed
  96a85aa

Commits on Nov 18, 2024

• Make find_next_line a void function.

  tanjaschindler

  committed
  5d3c78f

• Add documentation to TaskParser.

  tanjaschindler

  committed
  2e1e822

• Improve error messages.

  tanjaschindler

  committed
  dd210fe

Commits on Nov 25, 2024

• Rework duplicate code.

  tanjaschindler

  committed
  5d2e7e9

• Use template to avoid code duplication.

  tanjaschindler

  committed
  cd034bf

Commits on Dec 10, 2024

• small fixes

  FlorianPommerening

  committed
  4de84a3

• fix includes

  FlorianPommerening

  committed
  05efd05

• use context

  FlorianPommerening

  committed
  6f0e262

• Rename task parser to task lexer

  FlorianPommerening

  committed
  d92ea31

Commits on Dec 13, 2024

• move task parsing to its own class

  FlorianPommerening

  committed
  09815b0

• initialize token_number in lexer

  FlorianPommerening

  committed
  96ca8a9

• rename local variable to reduce next diff

  FlorianPommerening

  committed
  be1333b

• move parsing functionality into parser class

  FlorianPommerening

  committed
  bee1bb4

• Split parsing operators and axioms and remove dependency.

  Show description for a7cecd6
  FlorianPommerening

  committed
  a7cecd6

• remove unused includes

  FlorianPommerening

  committed
  f2fa8e4

Commits on Dec 14, 2024

• move int parsing to parser

  FlorianPommerening

  committed
  a577d0e

• move magic line check out of lexer

  FlorianPommerening

  committed
  c6cdea1

• use parser context instead of lexer context for error handling

  FlorianPommerening

  committed
  d84cb3b

• move initial state parsing into a method

  FlorianPommerening

  committed
  6ebe2d4

• add more trace blocks

  FlorianPommerening

  committed
  c45d8c0

• decorate traceback with line numbers

  FlorianPommerening

  committed
  ff14625

Commits on Dec 15, 2024

• Restructure TaskLexer. It now explicitly enters a line reading mode

  Show description for 8ebdfbe
  FlorianPommerening

  committed
  8ebdfbe

Commits on Dec 17, 2024

• Check facts immediately after reading them.

  tanjaschindler

  committed
  358a8a1

• Check operator cost.

  tanjaschindler

  committed
  3f38b07

• Check that goal variables are unique.

  tanjaschindler

  committed
  3f17f87

• Check that variable affected by axiom is derived, and variables affected by operator are not derived.

  tanjaschindler

  committed
  6afb7b6

• Check layering condition and pre-post-value condition for axioms.

  tanjaschindler

  committed
  c60a402

Commits on Dec 18, 2024

• Check that derived variables are binary.

  tanjaschindler

  committed
  cba9cd5

• Separate read_pre_post for operators.

  tanjaschindler

  committed
  ed520a1

Commits on Dec 19, 2024

• Small fix.

  tanjaschindler

  committed
  83c3318

Commits on Dec 20, 2024

• Small fix.

  tanjaschindler

  committed
  a14e96b