Test Cases

  OclAny

  Bag Types

  Body Expressions

  Boolean Types

  Casting Expressions

  Collection Types

  Define Rules

  Derive Rules

  Enumerations

  If Expressions

  Inheritance

  Init Rules

  Integer Types

  Invarriants

  Iterate Expressions

  Iterator Expressions

  Let Expressions

  Navigation Expressions

  Operation Expressions

  OrderedSet Types

  Post Conditions

  Pre Conditions

  Real Types

  Sequence Types

  Set Types

  String Types

  Tuple Types

  Void Types


C# / OCL Compiler Released 

 

Downloads 

Documents

Source Docs
Error Codes
Class Diagrams

Source

233795 Lines
VS.NET Solution
 

Binary

Compiler
Support Libraries Tests

Complete

Documents
Source
Binary

Information 

  Academic proof of concept

The provided C#/OCL Compiler was designed in the context of an academic concept.  To this end, the compiler should not be used in a production environment.

The compiler and source code is provided "as is" with no warranty of any kind.

 

  Requirements

In order to run the C#/OCL Compiler you must have the .NET Framework 1.1 installed.  (The compiler will not work with the 1.0 version)

In order to compile the C#/OCL Compiler you must have Visual Studio .NET 2003

 

  Feature Complete

Version 1.0 of the compiler conforms to the ECMA C# 1.0 specification, and to the OCL 2.0 specification; with the following exceptions:

  • Named context expressions are not supported.

  • The OclMessage type and messaging expressions are not supported.

  • allInstances is not supported.

  References

The C# / OCL Compiler is based on code that can be found in the Mono Project and the Magic Hat Project.

Copyright 2004 Dave Arnold