ClaferWiki-Specific Help Demonstration

Add a Clafer code fragment as follows:

abstract A
c -> C *
A1 : A
[ # c = 2 ]
abstract B : A
abstract C

or in the full code block notation

C1 : C
C2 : C

Add a graph in the simplified notation:

Double click on the graph in the simplified notation to show/hide references. By default, the graph only shows inheritance relationships allowing for quick inspection of the inheritance hierarchy which is not directly visible in Clafer’s textual notation.

Add a graph in the CVL notation:

Add download links for a complete model file (.cfr) and a self-contained HTML rendering of the model file (.html):