v0.7.0-rc.0

[Luna-Klatzer]

What type of change does this PR perform?

• New feature (Non-breaking change which adds functionality)

Summary

Merges new release candidate v0.7.0-rc.0 into main.

Changes

• Implemented assignment and variable definition type checking
• Implemented extended type checking and semantic analysis using KipperSemanticChecker and KipperTypeChecker.
• Restructured the core project.

Does this PR create new warnings?

No.

Changelog

Added

• New fields:
  • VariableDeclarationSemantics.value, which represents the expression that was assigned in the definition.
    This field is undefined if VariableDeclarationSemantics.isDefined is false.
• New functions:
  • CompileAssert.validAssignment(), which asserts that an assignment expression is valid.
  • abstract CompilableParseToken.semanticTypeChecking(), which must be implemented by every child and should serve
    as a separate semantic type checking step outside of primarySemanticAnalysis().
• New classes:
  • KipperAsserter, which is an abstract base class that represents a class that can be used to assert certain truths
    and handle/throw compile errors.
  • KipperTypeChecker and KipperSemanticChecker, which perform specialised semantic checking and verify logical
    integrity and cohesion. These two classes replace CompileAssert.

Changed

• Updated logger messages.
• Updated compiler folder structure of the core package:
  • compiler/parser from now on contains everything parser and lexer-related.
  • compiler/parser/antlr from now on contains the Antlr4 generated parser and lexer files.
  • compiler/semantics from now on contains everything semantics related, such as the file listener, the Kipper
    tokens, logical constants etc.
  • compiler/translation from now on contains the classes and tools used for translating Kipper code into another
    language.
  • compiler/targets from now on contains the existing targets for Kipper, such as typescript.
  • compiler/lib from now on contains the standard library and built-ins for Kipper.
  • compiler/lib/import from now on contains the default importable libraries for Kipper.
• Renamed:
  • Error InvalidTypeError to TypeError.
  • Function KipperProgramContext.addNewGlobalScopeEntry to addGlobalVariable().
  • Function CompoundStatement.addNewLocalVariable to addLocalVariable().

Removed

• Option to use unary expressions for the left-hand side of an assignment expression in Kipper.g4. (Only identifiers may be used.)

Linked other issues or PRs

• Implemented KipperSemanticChecker and KipperTypeChecker #125
• [Feature] Implement seperate classes KipperSemanticChecker and KipperTypeChecker as a replacement for CompileAssert #124
• Restructured @kipper/core package #123