How to setup a Specmate development environment

The following steps are recommended to set up the development environment for Specmate

Preparation

0. Check out the Specmate GIT repository to your computer

Setup Development Environment for Backend:

1. Install Java 11 (AdoptOpenJDK: Version: OpenJDK 11, JVM: HotSpot)
2. Install Eclipse 2020-03 Modeling Tools: Select Eclipse Modeling Tools in the Eclipse-Installer
3. Set AdoptOpenJDK as default JDK for Eclipse
4. Install Bndtools in Eclipse: Help > Eclipse Marketplace..., install Bndtools 5.2.0 REL
5. Install Acceleo in Eclipse: Help > Install new Software...>Add..., Location: http://download.eclipse.org/acceleo/updates/releases/3.7
6. Import all projects in the bundles folder into your Eclipse workspace

Setup Development Environment for Frontend:

1. Install nodeJS: Version 11.0.0 (at least)
2. Install Visual Studio Code
3. Optional: Install VS Code Extensions to make your life easier:
   • Angular (newest version) TypeScript Snippets
   • Angular Language Service
   • Bootstrap 4 & Font awesome snippets
   • NgBootstrap Snippets
   • TSLint
4. Open the folder web in VS Code
5. Run npm run init to update the js-Packages (Should be run in the beginning of every development session)

Start Specmate:

1. Build the UI in VS Code by running npm run build-dev or use Ctrl+Shift+B
2. Refresh the specmate-ui-core bundle in Eclipse (if not done automatically)
3. Start Specmate by run specmate-std-env > dev-specmate-all.bnd in Eclipse
4. Open the browser on localhost:8080
5. Log into the example project with username "exampleuser" and password "examplepass".