Kermeta language
   Next

Kermeta language

Reference manual

Zoé Drey

Cyril Faucher

Franck Fleurey

Vincent Mahé

Didier Vojtisek

Build date: 25-September-2008

$Date: 2008/09/24 15:39:30 $

Abstract

This manual presents the various aspects of the Kermeta language. This is the reference manual for anybody who want to use Kermeta.

Table of Contents

Preface
1. Introduction to the language
1.1. Presentation
1.2. An imperative syntax
1.2.1. First Program
1.2.2. Classic features
1.2.3. Corresponding section in the Reference chapter
1.3. An object-oriented language
1.3.1. Corresponding section in the Reference chapter
1.4. A model-oriented language
1.4.1. Associations : toward a first concrete example of a Kermeta model
1.4.2. Loading an existing model
1.4.3. Navigation in a model
1.4.4. Model type
1.4.5. Kermeta model reflexively available
1.4.6. Corresponding section in the Reference chapter
1.5. Some "advanced" features
1.5.1. Functions in Kermeta
1.5.2. Other advanced features
2. Reference
2.1. Comments
2.1.1. Simple and multi-line text comments
2.1.2. Linked comments
2.2. Escaping reserved keywords
2.3. Operators
2.4. Statements : block, condition, loop
2.4.1. Block statement
2.4.2. Conditional statement
2.4.3. Loop Statement
2.5. File dependency : structuring code
2.5.1. Require
2.5.2. Accepted require statements
2.5.3. Organizing code
2.6. Using Variables
2.7. Basic types
2.7.1. Primitive types
2.7.2. Enumeration types
2.7.3. Local datatype using "alias"
2.8. Classes and methods
2.8.1. Classes
2.8.2. Defining operations
2.8.3. Initializing classes
2.8.4. Rationale
2.9. Inheritance
2.9.1. Using simple inheritance
2.9.2. Cast
2.9.3. Using multiple inheritance
2.9.4. Overriding behavior with methods
2.9.5. Some limitations
2.10. Genericity
2.10.1. Generic classes
2.10.2. Generic operations
2.10.3. Type usable with genericity
2.11. Exception handling
2.12. Loading and saving models
2.12.1. Prepare a model
2.12.2. Load a model from an EMF Resource
2.12.3. Save a model into an EMF Resource
2.13. Packages
2.13.1. Definition
2.13.2. Use of packages
2.13.3. Syntaxic sugars
2.14. Collections
2.14.1. Definition and initialization
2.14.2. Some existing useful functions
2.15. Class properties
2.15.1. Attributes (attribute), references (reference)
2.15.2. properties modifiers
2.15.3. Association using opposite properties
2.15.4. Derived properties (property)
2.15.5. How to access and control the properties in Kermeta
2.15.6. Assignment behavior for attribute (and reference)
2.16. Objects comparison
2.16.1. equals method
2.16.2. Comparison for Primitive Types
2.16.3. Collection comparison
2.17. Lambda Expressions and functions
2.17.1. Syntax
2.17.2. Some existing useful functions
2.17.3. Defining new functions in a class
2.17.4. Defining lambda expression variables
2.18. Dynamic evaluation of Kermeta expressions
2.19. Design by contract (pre, post, inv contraints)
2.19.1. Writing a contract
2.19.2. Checking your constraints
2.20. Weaving kermeta code
2.20.1. Textual syntax for merging
2.20.2. Example 1: Simple Class merge
2.20.3. Example 2: merge with feature redefinition
2.20.4. Example 3: merge with operation overload
2.20.5. Aspect and inheritance
2.20.6. Aspect and abstract
2.20.7. Aspect without common base
2.21. Model type
2.21.1. Definition of a model type
2.21.2. Using Model types variables
2.21.3. Model type serialisation
2.21.4. Model type conformance
2.21.5. Using Model types in generic classes/operations
2.21.6. A more complex example of conformance : FSM variants
2.22. Using existing java code in Kermeta
2.22.1. Using extern to call java code
2.22.2. Requiring jar file to call java code
2.23. Cloning objects
3. Kermeta Metamodel
3.1. Architecture
3.2. Structure package
3.3. Behavior package
3.3.1. Control Structures
3.3.2. Variables
3.3.3. Call Expressions
3.3.4. Assignment
3.3.5. Literals
3.3.6. Lambda Expression
3.4. Viewing Kermeta metamodel
4. Kermeta framework
A. Language keywords

List of Figures

1.1. Kermeta positioning
1.2. A concrete example : a library
2.1. A simple family tree model
2.2. : multiple inheritance
2.3. cs.ecore sample metamodel
2.4. : The kermeta collections
2.5. Attributes and references
3.1. EMOF extension and Kermeta promotion
3.2. Structure package
3.3. Behavior package
3.4. Control structure
3.5. Use of variables
3.6. use of exceptions
3.7. Kermeta assignment expression
3.8. Kermeta Literal Expression
3.9. Kermeta lambda expressions
   Next
   Preface