How to integrate an AltaRica 3.0 model into the forum

Latest news about OpenAltaRica and information about this forum
Michel Batteux
Posts: 39
Joined: Wed Jun 10, 2015 8:20 am
Location: Palaiseau, France
Contact:

How to integrate an AltaRica 3.0 model into the forum

Postby Michel Batteux » Thu Oct 22, 2015 12:38 pm

To post an AltaRica 3.0 model into the forum, use the balise "Code" with the option "altarica" for the language.

1. Create an "altarica" tag:

Code: Select all

[altarica][/altarica]
2. Integrate your AltaRica 3.0 model:

Code: Select all

[altarica] class test Boolean s (init = true); event e; transition e: s -> s := false; end[/altarica]
3. The result is the following:
  1. class test
  2.     Boolean s (init = true);
  3.     event e;
  4.     transition
  5.         e: s -> s := false;
  6. end

Return to “General Information”

Who is online

Users browsing this forum: No registered users and 1 guest