Code

Various improvements for v0.1#46

Code

Merged

JohannesMeierSE merged 37 commits intomainTypeFox/typir:mainfrom jm/improvementsTypeFox/typir:jm/improvementsCopy head branch name to clipboardDec 19, 2024

+1,833-1,573

Commits

Commits on Dec 14, 2024

• improved 'nil' for Class variables

  JohannesMeierSE

  committed
  2227d89

  Copy full SHA for 2227d89

• fixed and refactored type inference

  JohannesMeierSE

  committed
  1d947b1

  Copy full SHA for 1d947b1

• fixed comments in LOX

  JohannesMeierSE

  committed
  183ebb4

  Copy full SHA for 183ebb4

• refactoring: turned existing functions into methods, this enables to override them (if needed)

  JohannesMeierSE

  committed
  35630c4

  Copy full SHA for 35630c4

• functions and operators can be annotated with validations now, used for LOX, enabled the removal of validation rules

  JohannesMeierSE

  committed
  0540f3f

  Copy full SHA for 0540f3f

• unified the notation of comments in LOX, added TODO

  JohannesMeierSE

  committed
  cb8e78e

  Copy full SHA for cb8e78e

• refactoring of the Typir-Langium module: makes the customization easier, since not all child services need to be overridden, only the desired ones

  JohannesMeierSE

  committed
  f0c940b

  Copy full SHA for f0c940b

• removed all dependencies to 'langium/lsp' from 'typir-langium' in order to use Langium-Typir also in non-LSP projects

  JohannesMeierSE

  committed
  e94a696

  Copy full SHA for e94a696

• use service/interface with implementation/class design for the integration of validations in Typir-Langium as well

  JohannesMeierSE

  committed
  00bac47

  Copy full SHA for 00bac47

• started to make TypeScript types from the application domain explicit, might be useful in the future, improves readability already now

  JohannesMeierSE

  committed
  be5e1b7

  Copy full SHA for be5e1b7

• switched to Langium v3.3, simplified API, removed duplicated code for a fix which is part of Langium 3.3 now

  JohannesMeierSE

  committed
  92015f2

  Copy full SHA for 92015f2

• improved testing infrastructure, unified test cases for OX and LOX

  JohannesMeierSE

  committed
  adff6b9

  Copy full SHA for adff6b9

• made the TypeSelector definition more explicit, the additional features are not new but are already supported, but typechecking by TypeScript didn't show warnings due to 'unknown'

  JohannesMeierSE

  committed
  dce7cdc

  Copy full SHA for dce7cdc

• renamed factory service for operators according to the type factory services

  JohannesMeierSE

  committed
  c6db382

  Copy full SHA for c6db382

• improved comments

  JohannesMeierSE

  committed
  d727fe1

  Copy full SHA for d727fe1

• refactoring: extracted logic to resolve TypeSelectors into its own service to make the implementation exchangable

  JohannesMeierSE

  committed
  7edbcb1

  Copy full SHA for 7edbcb1

• refactoring for LOX and OX: don't merge Langium+Typir services, but provide the Typir services via an "typir"-property/service within the Langium services

  JohannesMeierSE

  committed
  7db8bc7

  Copy full SHA for 7db8bc7

Commits on Dec 16, 2024

• Service names start with an upper-case letter, groups of services with a lower-case letter

  JohannesMeierSE

  committed
  4f7daf0

  Copy full SHA for 4f7daf0

• reworked the grouping of Typir services

  JohannesMeierSE

  committed
  c72419b

  Copy full SHA for c72419b

• removed old type checking approach without Typir

  JohannesMeierSE

  committed
  efb1904

  Copy full SHA for efb1904

• removed Lambda examples from LOX

  JohannesMeierSE

  committed
  d6eda7a

  Copy full SHA for d6eda7a

• small fixes

  JohannesMeierSE

  committed
  0d684f4

  Copy full SHA for 0d684f4

• added missing READMEs, ChangeLog, added content, added EclipseCon slides

  JohannesMeierSE

  committed
  9b11d3f

  Copy full SHA for 9b11d3f

Commits on Dec 17, 2024

• new feature: associate domain elements with Typir types

  JohannesMeierSE

  committed
  2c18a7e

  Copy full SHA for 2c18a7e

• removed some more unused methods (to be consistent with the other predefined types)

  JohannesMeierSE

  committed
  e66d2ec

  Copy full SHA for e66d2ec

• use Typir already during Linking! (this fixed compiler issues after removing the hand-written type checking some commits ago as well)

  JohannesMeierSE

  committed
  12907db

  Copy full SHA for 12907db

• refactoring: moved existing test cases for methods of classes into its own file

  JohannesMeierSE

  committed
  e967cbc

  Copy full SHA for e967cbc

• implemented overloaded functions and methods in LOX, more test cases, more comments

  JohannesMeierSE

  committed
  75537f0

  Copy full SHA for 75537f0

• 'signature' vs 'signatures' properties in the operator API

  JohannesMeierSE

  committed
  29c3f1d

  Copy full SHA for 29c3f1d

• renaming, improved comments

  JohannesMeierSE

  committed
  66016b7

  Copy full SHA for 66016b7

• refactoring: make the default options of kinds configurable

  JohannesMeierSE

  committed
  2d09d66

  Copy full SHA for 2d09d66

• refactoring: just turned functions into methods to enable their customization

  JohannesMeierSE

  committed
  479be87

  Copy full SHA for 479be87

• improved comments

  JohannesMeierSE

  committed
  36a6b8c

  Copy full SHA for 36a6b8c

• the module now looks into the kind registry, whether the kind is already initialized, before a new one is created #44

  JohannesMeierSE

  committed
  4022e05

  Copy full SHA for 4022e05

• reduced code for the "Tiny Typir" example

  JohannesMeierSE

  committed
  3ff6109

  Copy full SHA for 3ff6109

• forgotten change

  JohannesMeierSE

  committed
  33c454b

  Copy full SHA for 33c454b

Commits on Dec 19, 2024

• improvements according to the review

  JohannesMeierSE

  committed
  a153b27

  Copy full SHA for a153b27