aas-core-works / aas-core-codegen / 9713523556

Builds Branch Commit Type Ran Committer Via Coverage
9713523556 main Report early missing constructors (#507) We fix the verification of mismatching constructor arguments and properties by reporting early (and skipping further checks) when properties are not initialized in a constructor or the constructor is mi... push web-flow github
80.64
9712697015 main Verify for duplicate symbol names during parsing (#506) We explicitly verify for duplicate symbol names when parsing the meta-model so that we can return human-readable error messages early. Before this change, only a contract violation error w... push web-flow github
80.65
9712695377 mristin/Report-duplicate-our-symbol-names Merge ed00b5993 into 136118cae Pull #506 web-flow github
80.65
9614273897 main Remove trailing space from test data (#505) We are having trouble with CI on GitHub as it takes a lot of time. The previous run on #504 revealed only much later that we forgot to re-generate the test data. In this patch, we re-generate the test... push web-flow github
80.65
9614021844 mristin/Remove-trailing-space-from-test-data Merge 0d542118f into 594e55cee Pull #505 web-flow github
80.65
9599151846 main Ensure no overlapping ranges in patterns (#501) The overlapping ranges in regular expressions can hurt performance, so we explicitly check that no ranges overlap in the pattern verification functions. push web-flow github
80.5
9599147780 mristin/Ensure-no-overlapping-ranges-in-pattern-verifications Merge ede6c40db into e3744516b Pull #501 web-flow github
80.5
9598937303 main Rename `parse.retree.BaseVisitor` to pass-through (#500) We rename `parse.retree.BaseVisitor` to `PassThroughVisitor` in alignment with the naming used for the generated SDKs. The name "base visitor" is also a bit of a misnomer as it insinuates... push web-flow github
80.5
9598935031 mristin/Rename-parse.retree-base-visitor Merge 06bd416c0 into b6d0a606f Pull #500 web-flow github
80.5
9598801847 main Verify that patterns are anchored (#499) As we transpile to some of the systems which always expect the regular expressions to be anchored at the start and the end (*e.g.*, XSD engines), we verify in the patch that all verification patterns are... push web-flow github
80.5
9598800933 mristin/Verify-patterns-anchored-at-start-and-end Merge 2b031428b into 3c6932254 Pull #499 web-flow github
80.5
9579844046 main Exclude Eiffel's keyword ``result`` (#498) We exclude the keyword ``result`` from the list of the check for reserved keywords in the translation phase. The keyword is already a part of the AAS Server specification, so we can not roll back on th... push web-flow github
80.5
9579841844 mristin/Exclude-Eiffel-result-from-keyword-check Merge 692b14cf7 into 18769f71e Pull #498 web-flow github
80.5
9579588718 mristin/Report-early-if-properties-do-not-coincide-with-constructor Merge 3e566a40b into 29ab55d9c Pull #497 web-flow github
80.5
9579590884 main Check matching between properties and constructors (#497) So far, we only checked in the translation phase that the names and the order of the properties and the constructor arguments match. In this change, we also check that they match in type... push web-flow github
80.5