Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Language extension with annotations #69

Merged
merged 26 commits into from
Dec 12, 2024
Merged

Language extension with annotations #69

merged 26 commits into from
Dec 12, 2024

Conversation

kris7t
Copy link
Contributor

@kris7t kris7t commented Dec 12, 2024

  • Add abstract and concrete syntax for defining and using annotation.
  • Improve editing experience of the frontend.
  • New builtin::annotations library for defining optional and repeatable annotation parameters and repeatable annotations.
  • Replaces rule parameter binding mode operators with annotations in the builtin::strategy library.
  • Replaces partial references and predicates with annotations in the builtin::strategy library.

kris7t added 26 commits November 23, 2024 23:26
@kris7t
feat(language): annotation syntax
d09eb6b
@kris7t
refactor(langauge): extend grammar for annotations
afa1979
@kris7t
refactor(language): annotation simplification
1e359ec
@kris7t
fix(language): path names in import resolution
95e8f12
@kris7t
feat(language): annotation accessors
8060127
@kris7t
refactor(language): cache annotation parameter types
fe357ef
@kris7t
fix(frontend): atom node styling in graph view
2fafa3c
@kris7t
feat(language): relation references in annotations
71632cb
@kris7t
feat(language): annotation validation
c3c915c
@kris7t
refactor(language): alternation declaration syntax
3201d6d 
* Do not use `extern`, because annotations can be defined without accompanying
  Java code.
* Do not introduce new contextual keywords, keeping the language simpler.
@kris7t
refactor(language): make BuiltinAnnotations API
20995fd
@kris7t
refactor(language): replace rule parameter binding modes with annotat…
f4e9ea4 
…ions
@kris7t
refactor(frontend): bultin symbols should not be shown as abstract
88672c3
@kris7t
feat(language): suggest library imports
c2c374f
@kris7t
refactor(language): move binding annotations to library
1c6f16a
@kris7t
chore(deps): bump dependencies
a8eb80d
@kris7t
feat(language): parse and display documentation
a31fb81
@kris7t
docs: add documentation to built-in libraries
6ded23a
@kris7t
feat(frontend): syntax highlight in autocomplete tooltip
47ad6ac
@kris7t
feat(language): documentation for built-in libraries
4c597ae
@kris7t
feat(language): parameters in documentation
937f252
@kris7t
refactor(language): replace partial references with annotations
55b7083 
Provides finer-grained control over the exploration strategy with separate
concretization and decision settings.
@kris7t
refactor(frontend): keyword autocomplete icon
54c3ce7
@kris7t
fix(language): documentation for modules in the ResourceSet
e549852 
Make sure not to parse the documentation comment of the first statement in the
module as the documentation comment of the module.
@kris7t
feat(language): annotation formatting
6222ddf
@kris7t
docs(language): explanation for focus matching
05eb61d
@kris7t kris7t merged commit b668be0 into graphs4value:main Dec 12, 2024
9 checks passed
@kris7t kris7t deleted the annotations branch December 12, 2024 17:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@kris7t