Important

This repository is deprecated and archived. Development has moved to osate/aadl-tooling, which contains this language server together with the VS Code extension and osate-cli. Please file issues and open pull requests there.

AADL Language Server

This repository contains the Java/Xtext language server for the Architecture Analysis & Design Language (AADL).

The server depends on OSATE through the pinned osate2/ Git submodule. A language-server revision therefore records the exact OSATE source revision used to build and test it.

Prerequisites

• Git
• JDK 21 or newer
• Maven 3.9 or newer

Clone

git clone --recurse-submodules <repository-url>
cd aadl-language-server

For an existing clone:

git submodule update --init osate2

The submodule uses a normal clone from https://github.com/osate/osate2.git. No Git reference repository is configured.

Build OSATE and the language server

./scripts/build-test-release

The script performs two builds:

1. Build and test the pinned OSATE source, including its p2 repository.
2. Build and test the language server against that generated repository.

The language-server p2 repository is written to:

releng/org.osate.aadl.ls.repository/target/repository/

Build provenance is written to:

target/build-provenance.properties

Jenkins

The repository Jenkinsfile follows the OSATE pipeline conventions and expects Jenkins tools named OpenJDK21 and M3. It initializes the pinned OSATE submodule with a shallow checkout, runs the complete test-release build under Xvnc, publishes all Surefire reports, and archives the language-server p2 repository and build provenance. Successful main builds run deploy.sh. Set AADL_LS_DEPLOY_DIR in Jenkins to override the target configured in the script. Deployment replaces the target directory with the generated p2 repository and provenance file.

Rebuild only the language server

After OSATE has been built:

mvn clean verify -Dtycho.localArtifacts=ignore

Update OSATE

Update the submodule deliberately, validate the complete build, and commit the new gitlink:

git -C osate2 fetch origin
git -C osate2 checkout <osate-commit>
./scripts/build-test-release
git add osate2 pom.xml

If the selected OSATE commit changes the OSATE parent version, update the version in the root pom.xml in the same commit.

Release provenance

Test-release artifacts must retain:

• the language-server commit SHA;
• the OSATE submodule commit SHA;
• the expected OSATE gitlink SHA;
• the Maven project versions; and
• the build timestamp.

The build script rejects a dirty or mismatched OSATE submodule.

Supported language server commands

The server advertises these commands through LSP workspace/executeCommand:

• aadl.instantiate — Instantiate an AADL component implementation and write the resulting .aaxl2 instance model.
• aadl.analyze.latency — Run flow latency analysis on an instance model.
• aadl.analyze.busLoad — Run bus load analysis on an instance model and generate its CSV report.
• aadl.analyze.reachability — Run SOM mode reachability analysis on an instance model, with optional DOT, HTML, and SMV reports.