Liberty language specification

Liberty is an heir of SmartEiffel. Its syntax is (or rather, will be) a superset of SmartEiffel’s with the following additions:

• require then
• generic creation
  (Paolo 2009-09-16) Is it perhaps something like
  “class FOO[X] ….. feature process is local x: X do create x end ….”?
  TODO: provide examples and rationale behind it, pro and cons.
  
  
• generic inheritance
  (Paolo 2009-09-16) > AFAIK this is “class FOO[X] inherit X”.
  TODO: provide examples and rationale behind it, pro and cons.
  
  
• type conversion
• non-Void
• inline agents are real closures
• simplified (but sound) SCOOP

The syntax of the language is defined in EIFFEL_GRAMMAR. Its textual representation will use the YEPP syntax¹.

System architecture

Classes structure

• Features
  • Routines — Control structures — Expressions, Constants
  • Attributes
  • External
• Inheritance: conforming or not
  • Feature adaptation
  • Repeated inheritance
• Clients and exports

Contracts

Types

• Conformance
• Convertibility
• Type-related properties
• Basic types

Genericity

• Tuples
• Agents
• Generic inheritance

Objects, values, entities

• Creating objects
• Comparing and Duplicating objects
• Attaching values to entities

Feature call

• Eradicating Void calls
• Exception handling

¹ YEPP is currently available from the Enterprise SmartEiffel but will be included in Liberty.