| Egenskap |
Stereotype |
Beskrivelse |
Type |
Multiplisitet |
| linjeElement |
|
|
Kurve |
0..1 |
| lengde |
|
horisontal avstand mellom start- og sluttpunkt på linjesegment |
Real |
0..1 |
| lengdeVerdiEnhet |
|
her oppgis måleenheten til lengden av objektet |
Måleenhet |
0..1 |
| linjespenn |
|
informasjon om objektet er et spenn eller ei |
Boolean |
0..1 |
| Navn |
Type |
Lengde |
Multiplisitet |
|
Kurve |
|
0..1 |
| LENGDE |
Real |
20 |
0..1 |
|
Måleenhet |
|
0..1 |
| LINJESPENN |
Boolean |
3 |
0..1 |
| Navn |
Beskrivelse |
| påkrevd enhet ved angitt lengde |
/*er en lengde angitt, er det påkrevd med angitt måleenhet*/
inv: self.lengde -> NotEmpty() implies self.lengdeVerdiEnhet -> NotEmpty() |
| Navn |
Innhold |
| SOSI_navn |
VERTIKALOBJKOMPLINJE |