ClaferWiki-Specific Help.page

---
toc: no
title: ClaferWiki-Specific Help Demonstration
...

**Add a Clafer code fragment as follows:**

```clafer
abstract A
  c -> C *

A1 : A
  [ #c = 2 ]

abstract B : A

abstract C
```

**or in the full code block notation**

```{.clafer}
C1 : C

C2 : C
```

**Add a graph in the simplified notation:**

```{.clafer .graph}
```

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:**

```{.clafer .cvlGraph}
```

**Add statistics:**

```{.clafer .stats}
```

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

```{.clafer .links}
```

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

```{.clafer .summary}
```