Skip to content

Latest commit

 

History

History
40 lines (34 loc) · 2.44 KB

README.md

File metadata and controls

40 lines (34 loc) · 2.44 KB
Raw

FLINT-editor MPS

This is an experimental project exploring the viability of a visual FLINT editor based on MPS

Development

  1. Install Java 11
  2. Clone the repository
  3. Run gradlew initProject
  4. Start the ide for your specific platform. The executables are locatied in build/mps/bin

Flint IDE

Complete IDE with all required plugins and custom branding.

Build

To build the FlintIDE run gradlew buildFlintIde. This will generate compressed artifacts in code/build/artifacts/FlintIdeDistribution.

Install

To install the IDE unpack the archive for your platform to an empty directory. Then run executable from the bin directory.

Flint Plugin

MPS IDE, FlintPlugin and dependant plugins must be manually installed.

Build

To build the FlintIDE run gradlew buildFlintPlugin. This will generate a zip in code/build/artifacts/FlintPluginDistribution/.

Install

  1. Download and install mps from here
  2. Download the mbeddr platform distribution plugins zip
  3. Extract the files and folders from the com.mbeddr.platform directory in mbeddr platform-distribution.zip file to the plugins folder ({mps-installation-dir}/plugins) in your mps installation.
  4. Extract the Flint plugin from Flint.zip to the plugins folder in your mps installation.

Using Flint-mps

  1. Click create a new project. Name the project and solution whatever you want.
  2. Right click on the solution and create a new model. Name it whatever you like.
  3. In the used languages tab select Flint and press OK.
  4. Right click on the created model and select New > FlintModel or select Import FlintModel from json.
  5. Create a Flint model. (Tip: Use control space to get suggestions)
  6. To use the block editor press alt+enter while focused on a fact or act and select Show Block Diagram Editor.
  7. To preview the generated json right click in the Flint model and select preview generated text. The file is located at {project-location}/solutions/{solution-name}/source_gen/{solution-name}/{model-name]/{flint-model-name}.flint.json.
  8. Right click on the created model and select New > FlintModelRunner
  9. Configure the runner.
  10. To open the Compliance By Design demo generate de model (ctrl + F9), right click on the FlintModelRunner and select Run FlintModel.