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 |