Copyright by Xin Software Design 2014 
Hier werden die Unterschiede zwischen zwei Versionen gezeigt.
|
notes:type:documentation [2023/02/28 13:40] xin angelegt |
notes:type:documentation [2023/09/12 10:50] (aktuell) xin Vorbedingungsdokumentation |
||
|---|---|---|---|
| Zeile 30: | Zeile 30: | ||
| referenziert entweder auf eine Id einer remark oder einer Dokumentation. | referenziert entweder auf eine Id einer remark oder einer Dokumentation. | ||
| + | ===== Vorbedingungen dokumentieren ====== | ||
| + | |||
| + | <code> | ||
| + | Radius is dbl | ||
| + | { | ||
| + | construct( .dbl ) | ||
| + | assert( dbl >= 0 ); // Wird als Vorbedingung gewertet und dokumentiert | ||
| + | |||
| + | construct( .dbl ) | ||
| + | assert( .dbl >= 0 ) // Wird als Vorbedingung gewertet und dokumentiert | ||
| + | { | ||
| + | print "Radius konstruiert" ); | ||
| + | } | ||
| + | |||
| + | construct( .dbl ) | ||
| + | { | ||
| + | print "Radius konstruiert" ); | ||
| + | assert( .dbl >= 0 ) // Wird nicht als Vorbedingung gewertet und dokumentiert, sondern als assert innerhalb einer | ||
| + | // Berechnung | ||
| + | } | ||
| + | } | ||
| + | </code> | ||
| + | |||
| + | Das kann dann automatisch in die Dokumentation geparst werden. | ||