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

Language extension with annotations #69

Merged
merged 26 commits into from
Dec 12, 2024
Merged

Language extension with annotations #69

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
d09eb6b
feat(language): annotation syntax
kris7t Nov 7, 2024
afa1979
refactor(langauge): extend grammar for annotations
kris7t Nov 29, 2024
1e359ec
refactor(language): annotation simplification
kris7t Nov 29, 2024
95e8f12
fix(language): path names in import resolution
kris7t Nov 29, 2024
8060127
feat(language): annotation accessors
kris7t Dec 2, 2024
fe357ef
refactor(language): cache annotation parameter types
kris7t Dec 5, 2024
2fafa3c
fix(frontend): atom node styling in graph view
kris7t Dec 5, 2024
71632cb
feat(language): relation references in annotations
kris7t Dec 5, 2024
c3c915c
feat(language): annotation validation
kris7t Dec 6, 2024
3201d6d
refactor(language): alternation declaration syntax
kris7t Dec 6, 2024
20995fd
refactor(language): make BuiltinAnnotations API
kris7t Dec 6, 2024
f4e9ea4
refactor(language): replace rule parameter binding modes with annotat…
kris7t Dec 6, 2024
88672c3
refactor(frontend): bultin symbols should not be shown as abstract
kris7t Dec 6, 2024
c2c374f
feat(language): suggest library imports
kris7t Dec 7, 2024
1c6f16a
refactor(language): move binding annotations to library
kris7t Dec 10, 2024
a8eb80d
chore(deps): bump dependencies
kris7t Dec 10, 2024
a31fb81
feat(language): parse and display documentation
kris7t Dec 10, 2024
6ded23a
docs: add documentation to built-in libraries
kris7t Dec 10, 2024
47ad6ac
feat(frontend): syntax highlight in autocomplete tooltip
kris7t Dec 11, 2024
4c597ae
feat(language): documentation for built-in libraries
kris7t Dec 11, 2024
937f252
feat(language): parameters in documentation
kris7t Dec 11, 2024
55b7083
refactor(language): replace partial references with annotations
kris7t Dec 11, 2024
54c3ce7
refactor(frontend): keyword autocomplete icon
kris7t Dec 11, 2024
e549852
fix(language): documentation for modules in the ResourceSet
kris7t Dec 12, 2024
6222ddf
feat(language): annotation formatting
kris7t Dec 12, 2024
05eb61d
docs(language): explanation for focus matching
kris7t Dec 12, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
160 changes: 80 additions & 80 deletions .yarn/releases/yarn-4.5.2.cjs → .yarn/releases/yarn-4.5.3.cjs
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion .yarn/sdks/eslint/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "eslint",
"version": "9.15.0-sdk",
"version": "9.16.0-sdk",
"main": "./lib/api.js",
"type": "commonjs",
"bin": {
Expand Down
2 changes: 1 addition & 1 deletion .yarn/sdks/prettier/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "prettier",
"version": "3.3.3-sdk",
"version": "3.4.2-sdk",
"main": "./index.cjs",
"type": "commonjs",
"bin": "./bin/prettier.cjs"
Expand Down
2 changes: 1 addition & 1 deletion .yarn/sdks/typescript/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"name": "typescript",
"version": "5.6.3-sdk",
"version": "5.7.2-sdk",
"main": "./lib/typescript.js",
"type": "commonjs",
"bin": {
Expand Down
11 changes: 4 additions & 7 deletions .yarnrc.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -95,24 +95,21 @@ packageExtensions:
lightningcss: "*"
search-insights: "*"
typescript: "*"
"@docusaurus/utils@*":
"@docusaurus/utils-common@*":
peerDependencies:
react: "*"
react-dom: "*"
"@docusaurus/utils-common@*":
"@docusaurus/utils-validation@*":
peerDependencies:
react: "*"
react-dom: "*"
"@docusaurus/utils-validation@*":
"@docusaurus/utils@*":
peerDependencies:
react: "*"
react-dom: "*"
"@mui/x-data-grid@*":
peerDependencies:
"@types/react": "*"
"@typescript-eslint/utils@*":
peerDependencies:
typescript: "*"
"@xstate/cli@*":
peerDependencies:
prettier: "*"
Expand All @@ -123,4 +120,4 @@ packageExtensions:
peerDependencies:
csstype: "*"

yarnPath: .yarn/releases/yarn-4.5.2.cjs
yarnPath: .yarn/releases/yarn-4.5.3.cjs
2 changes: 1 addition & 1 deletion gradle.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
# SPDX-License-Identifier: EPL-2.0

file.encoding=UTF-8
frontend.nodeVersion=22.11.0
frontend.nodeVersion=22.12.0
group=tools.refinery
org.gradle.configuration-cache=true
org.gradle.configuration-cache.parallel=true
Expand Down
28 changes: 14 additions & 14 deletions gradle/libs.versions.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@ apiguardian = "1.1.2"
asm = "9.7.1"
classgraph = "4.8.179"
eclipse-commands = "3.12.200"
eclipse-contenttype = "3.9.500"
eclipse-debug = "3.21.500"
eclipse-contenttype = "3.9.600"
eclipse-debug = "3.22.0"
eclipse-expressions = "3.9.400"
eclipse-filesystem = "1.11.0"
eclipse-filesystem = "1.11.100"
eclipse-jobs = "3.15.400"
eclipse-osgi = "3.21.0"
eclipse-resources = "3.21.0"
eclipse-runtime = "3.31.100"
eclipse-text = "3.14.100"
eclipse-osgi = "3.22.0"
eclipse-resources = "3.22.0"
eclipse-runtime = "3.32.0"
eclipse-text = "3.14.200"
eclipse-variables = "3.6.500"
eclipseCollections = "11.1.0"
ecore = "2.38.0"
Expand All @@ -25,9 +25,9 @@ ecore-codegen = "2.40.0"
ecore-xmi = "2.38.0"
emf-codegen = "2.25.0"
emf-common = "2.40.0"
equinox-common = "3.19.100"
equinox-preferences = "3.11.100"
equinox-registry = "3.12.100"
equinox-common = "3.19.200"
equinox-preferences = "3.11.200"
equinox-registry = "3.12.200"
errorprone = "2.36.0"
findbugs = "3.0.2"
gson = "2.11.0"
Expand All @@ -36,9 +36,9 @@ guice = "7.0.0"
hamcrest = "3.0"
jakartaInject = "2.0.1"
jcommander = "2.0"
jdt-core = "3.39.0"
jdt-debug = "3.21.500"
jdt-launching = "3.23.0"
jdt-core = "3.40.0"
jdt-debug = "3.21.600"
jdt-launching = "3.23.100"
jetbrainsAnnotations = "26.0.1"
jetty = "12.0.15"
jmh = "1.37"
Expand All @@ -51,7 +51,7 @@ mwe = "1.14.0"
mwe2 = "2.20.0"
opentest4j = "1.3.0"
ortools = "9.11.4210"
protobuf = "4.28.3"
protobuf = "4.29.1"
refinery-z3 = "4.12.6"
slf4j = "2.0.16"
xtext = "2.37.0"
Expand Down
4 changes: 2 additions & 2 deletions gradle/pluginLibs.versions.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,10 +3,10 @@
# SPDX-License-Identifier: EPL-2.0

[versions]
frontend = "9.1.0"
frontend = "10.0.0"
pluginPublish = "1.3.0"
shadow = "8.1.8"
sonarqube = "6.0.0.5145"
sonarqube = "6.0.1.5171"
versions = "0.51.0"

[libraries]
Expand Down
20 changes: 10 additions & 10 deletions package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,30 +31,30 @@
"g:lint": "node scripts/eslintReport.cjs",
"g:tsc": "tsc"
},
"packageManager": "yarn@4.5.2",
"packageManager": "yarn@4.5.3",
"dependencies": {
"react": "^18.3.1"
},
"devDependencies": {
"@types/eslint": "^9.6.1",
"@types/node": "^22.9.3",
"@types/react": "^18.3.12",
"@typescript-eslint/eslint-plugin": "^8.15.0",
"@typescript-eslint/parser": "^8.15.0",
"@types/node": "^22.10.1",
"@types/react": "^18.3.14",
"@typescript-eslint/eslint-plugin": "^8.18.0",
"@typescript-eslint/parser": "^8.18.0",
"cheerio": "^1.0.0",
"corepack": "^0.30.0",
"eslint": "^9.15.0",
"eslint": "^9.16.0",
"eslint-config-prettier": "^9.1.0",
"eslint-import-resolver-typescript": "^3.6.3",
"eslint-import-resolver-typescript": "^3.7.0",
"eslint-plugin-import": "^2.31.0",
"eslint-plugin-jsx-a11y": "^6.10.2",
"eslint-plugin-mobx": "^0.0.13",
"eslint-plugin-prettier": "^5.2.1",
"eslint-plugin-react": "^7.37.2",
"eslint-plugin-react-hooks": "^5.0.0",
"prettier": "^3.3.3",
"eslint-plugin-react-hooks": "^5.1.0",
"prettier": "^3.4.2",
"smol-toml": "^1.3.1",
"typescript": "5.6.3"
"typescript": "5.7.2"
},
"resolutions": {
"d3-zoom@npm:^3.0.0": "patch:d3-zoom@npm%3A3.0.0#~/.yarn/patches/d3-zoom-npm-3.0.0-18f706a421.patch",
Expand Down
16 changes: 8 additions & 8 deletions subprojects/docs/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@
},
"homepage": "https://refinery.tools",
"dependencies": {
"@algolia/client-search": "^5.15.0",
"@algolia/client-search": "^5.16.0",
"@docusaurus/core": "^3.6.3",
"@docusaurus/faster": "^3.6.3",
"@docusaurus/plugin-client-redirects": "^3.6.3",
Expand All @@ -46,10 +46,10 @@
"@hpcc-js/wasm-zstd": "^1.2.1",
"@material-icons/svg": "^1.0.33",
"@mdx-js/react": "^3.1.0",
"@swc/core": "^1.9.3",
"@swc/core": "^1.10.1",
"clsx": "^2.1.1",
"java-properties": "^1.0.2",
"lightningcss": "^1.28.1",
"lightningcss": "^1.28.2",
"mdast-util-mdx": "^3.0.0",
"prism-react-renderer": "^2.4.0",
"react": "^18.3.1",
Expand All @@ -60,20 +60,20 @@
"sharp": "^0.33.5",
"swc-loader": "^0.2.6",
"terser-webpack-plugin": "^5.3.10",
"typescript": "5.6.3",
"typescript": "5.7.2",
"unified": "^11.0.5",
"unist-util-visit": "^5.0.0",
"webpack": "^5.96.1"
"webpack": "^5.97.1"
},
"devDependencies": {
"@docusaurus/mdx-loader": "^3.6.3",
"@docusaurus/module-type-aliases": "^3.6.3",
"@docusaurus/types": "^3.6.3",
"@types/babel__core": "^7.20.5",
"@types/mdast": "^4.0.4",
"@types/node": "^22.9.3",
"@types/react": "^18.3.12",
"@types/react-dom": "^18.3.1",
"@types/node": "^22.10.1",
"@types/react": "^18.3.14",
"@types/react-dom": "^18.3.3",
"@types/unist": "^3.0.3"
}
}
45 changes: 24 additions & 21 deletions subprojects/frontend/package.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,16 +30,16 @@
"dependencies": {
"@codemirror/autocomplete": "^6.18.3",
"@codemirror/commands": "^6.7.1",
"@codemirror/language": "^6.10.3",
"@codemirror/lint": "^6.8.3",
"@codemirror/language": "^6.10.6",
"@codemirror/lint": "^6.8.4",
"@codemirror/search": "^6.5.8",
"@codemirror/state": "^6.4.1",
"@codemirror/view": "^6.35.0",
"@emotion/cache": "^11.13.5",
"@emotion/react": "^11.13.5",
"@codemirror/state": "^6.5.0",
"@codemirror/view": "^6.35.3",
"@emotion/cache": "^11.14.0",
"@emotion/react": "^11.14.0",
"@emotion/serialize": "^1.3.3",
"@emotion/sheet": "^1.4.0",
"@emotion/styled": "^11.13.5",
"@emotion/styled": "^11.14.0",
"@fontsource-variable/jetbrains-mono": "^5.1.1",
"@fontsource-variable/open-sans": "^5.1.0",
"@fontsource/open-sans": "^5.1.0",
Expand All @@ -49,10 +49,10 @@
"@lezer/highlight": "^1.2.1",
"@lezer/lr": "^1.4.2",
"@material-icons/svg": "^1.0.33",
"@mui/icons-material": "^6.1.8",
"@mui/material": "^6.1.8",
"@mui/system": "^6.1.8",
"@mui/x-data-grid": "^7.22.3",
"@mui/icons-material": "^6.1.10",
"@mui/material": "^6.1.10",
"@mui/system": "^6.1.10",
"@mui/x-data-grid": "^7.23.1",
"@replit/codemirror-indentation-markers": "^6.5.3",
"ansi-styles": "^6.2.1",
"clsx": "^2.1.1",
Expand All @@ -63,25 +63,27 @@
"d3-selection": "^3.0.0",
"d3-zoom": "patch:d3-zoom@npm%3A3.0.0#~/.yarn/patches/d3-zoom-npm-3.0.0-18f706a421.patch",
"direction": "^2.0.1",
"dompurify": "^3.2.3",
"escape-string-regexp": "^5.0.0",
"jspdf": "^2.5.2",
"lodash-es": "^4.17.21",
"loglevel": "^1.9.2",
"loglevel-plugin-prefix": "^0.8.4",
"markdown-it": "^14.1.0",
"mobx": "^6.13.5",
"mobx-react-lite": "^4.0.7",
"ms": "^2.1.3",
"nanoid": "^5.0.8",
"nanoid": "^5.0.9",
"notistack": "^3.0.1",
"react": "^18.3.1",
"react-dom": "^18.3.1",
"react-resize-detector": "^11.0.1",
"svg2pdf.js": "^2.2.4",
"xstate": "^4.38.3",
"zod": "^3.23.8"
"zod": "^3.24.0"
},
"devDependencies": {
"@lezer/generator": "^1.7.1",
"@lezer/generator": "^1.7.2",
"@types/d3": "^7.4.3",
"@types/d3-color": "^3.1.3",
"@types/d3-graphviz": "^2.6.10",
Expand All @@ -90,20 +92,21 @@
"@types/html-minifier-terser": "^7.0.2",
"@types/jspdf": "^2.0.0",
"@types/lodash-es": "^4.17.12",
"@types/markdown-it": "^14",
"@types/micromatch": "^4.0.9",
"@types/ms": "^0.7.34",
"@types/node": "^22.9.3",
"@types/node": "^22.10.1",
"@types/pnpapi": "^0.0.5",
"@types/react": "^18.3.12",
"@types/react-dom": "^18.3.1",
"@vitejs/plugin-react-swc": "^3.7.1",
"@types/react": "^18.3.14",
"@types/react-dom": "^18.3.3",
"@vitejs/plugin-react-swc": "^3.7.2",
"@xstate/cli": "^0.5.17",
"html-minifier-terser": "^7.2.0",
"micromatch": "^4.0.8",
"pnpapi": "^0.0.0",
"typescript": "5.6.3",
"vite": "^5.4.11",
"vite-plugin-pwa": "^0.21.0",
"typescript": "5.7.2",
"vite": "^6.0.3",
"vite-plugin-pwa": "^0.21.1",
"workbox-window": "^7.3.0"
}
}
Loading