4.0.0–DclareForMPS

Getting started

Plugin Installation

You can install the plugin from the Jetbrains plugin Marketplace:

Where to find the various parts of the plugin

When installed you can find the plugin in various places.

• create a language and add DclareMPS as a used language or add the DclareMPS plugin to an existing language:

  

• you will see a new MPS aspect has added called Rules. Under this aspect you will create and edit your rules.

  

• you will see that a preference pane with the name Dclare has been added:

  

• you will see that a new tool has been added called Status:

  

• you will see that a new tool has been added called Checker:

  

Helloworld

Syntax

Rule

Attribute

Method

Node/Model/Module/Repository

Struct

Equation

Rule Aspect

Ruleset

Node Construction

Model Construction

Error/Warning/Info Construction

Reference Opposite

Quotation Label

List Literal

Native Block

Checked Dot Expression with Else

Expression Tracing

Settings

Developer Mode

Engine Auto On

Thresholds

Synchronisation

Tracing

Status Tool

Messages

Status

Aspects

Debugging

Hotspot analyse

Auto Checking

Checking Settings

Checking Tool

Semantics

Declarative

Fixpoint

Reactive

Ripple Out

Incremental

Identity Matching

Update Granularity

Null Handling

Exception Handling

Orphan Handling

Containment

Optionality

Constant Functionality

Gui Library

The GUI library is an MPS language that allows you to create Swing GUIs in a declarative way. The library is documented here.