Maude Development Tools
Introduction
Requirements
Installation Process
Via Update Site
Manually
Configuring the Maude Development Tools
Basic preferences
Advanced preferences
Using the Maude Development Tools User Interface
The Maude cosole
Wizards
The Maude editor
Sending files directly to Maude
Using MaudeDaemon: The Maude Development Tools API
Introduction
Structure of the plug-in
Creating a Maude process
Using the API
The MaudeProcessInteract class
The MaudeProcessBatch class
Using MaudeDaemon: Test cases
Showing the JUnit view
Running the test cases
Tests cases available
Getting the source code
From the installed plugins
From the CVS
Credits
GNU Free Documentation License
MOMENT OCL Editor
Introduction
Interface components
The MOMENT OCL User Interface
Elements and properties
OCL Editor
Model
Context
Groups
Invariant
Query
QVT Query
Tool bar actions
Syntax analysis
Semantic analysis
Parse to Maude
Execute invariants/Execute group/Execute OCL
Show AST
Show code for transformation
Reset OCL Tags
Save OCL Editor file
Save OCL Expressions
View OCL Expressions
Contextual Menu
Colour codes
MOMENT OCL Editor Console Preferences
Using the MOMENT OCL Editor
OCL Editor model instance creation
Instance population
Appendix 1. Royal and Loyal model
Appendix 2. Examples
Coach company
Credits
GNU Free Documentation License