Revision 8a57f3b03992351f46c4537fd0d9351592278d2b (click the page title to view the current version)

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:

var gwr=document.getElementById('graphWithRefs0'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none'; var gwr=document.getElementById('graphWithRefs0'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none'; -4,4 -4,-103.45 221.06,-103.45 221.06,4 -4,4 c0_A abstract A 11.00 c0_C abstract C 11.00 c0_A->c0_C c transparent c0_A1 A1 : A 11.00 c0_A1->c0_A 132.3,-31.27 141.75,-36.06 137.35,-26.42 132.3,-31.27 c0_B abstract B : A 11.00 c0_B->c0_A 160.65,-26.42 156.25,-36.06 165.7,-31.27 160.65,-26.42 c0_C1 C1 : C 11.00 c0_C1->c0_C 67.96,-80.63 78.06,-83.81 72.16,-75.02 67.96,-80.63 c0_C2 C2 : C 11.00 c0_C2->c0_C

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:

display:block;width:100%;border:solid lightgray 1px;overflow-x:auto; display:block;width:100%;border:solid lightgray 1px;overflow-x:auto; -4,4 -4,-84 449.63,-84 449.63,4 -4,4 c0_A A 14.00 c0_c c->c0_C [0..*] 14.00 c0_c->c0_A M41.92,-36.08C41.92,-38.54 41.92,-41.06 41.92,-43.52 c0_A1 A1:c0_A 14.00 Uid not Found [ # c = 2 ] 14.00 Uid not Found->c0_A1 M140.93,-36.08C140.93,-38.54 140.93,-41.06 140.93,-43.52 c0_B B:c0_A 14.00 c0_C C 14.00 c0_C1 C1:c0_C 14.00 c0_C2 C2:c0_C

Add statistics:

Module Statistics: | All clafers: 7 | Abstract: 3 | Concrete: 4 | Reference: 1 | Constraints: 1 | Goals: 0 | Global scope: 1..* | Can skip name resolver: no |

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

Module Downloads: | [.cfr] | [.html] |

Add summary, which includes 1) a graph in the simplified notation, 2) module statistics, and 3) the download links:

var gwr=document.getElementById('graphWithRefs1'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none'; var gwr=document.getElementById('graphWithRefs1'); gwr.style.display='block'; gwr.scrollLeft=this.scrollLeft; this.style.display='none'; -4,4 -4,-103.45 221.06,-103.45 221.06,4 -4,4 c0_A abstract A 11.00 c0_C abstract C 11.00 c0_A->c0_C c transparent c0_A1 A1 : A 11.00 c0_A1->c0_A 132.3,-31.27 141.75,-36.06 137.35,-26.42 132.3,-31.27 c0_B abstract B : A 11.00 c0_B->c0_A 160.65,-26.42 156.25,-36.06 165.7,-31.27 160.65,-26.42 c0_C1 C1 : C 11.00 c0_C1->c0_C 67.96,-80.63 78.06,-83.81 72.16,-75.02 67.96,-80.63 c0_C2 C2 : C 11.00 c0_C2->c0_C
Module Statistics: | All clafers: 7 | Abstract: 3 | Concrete: 4 | Reference: 1 | Constraints: 1 | Goals: 0 | Global scope: 1..* | Can skip name resolver: no |

Module Downloads: | [.cfr] | [.html] |