| Egenskap |
Stereotype |
Beskrivelse |
Type |
Multiplisitet |
| merkingFarge1 |
|
skal alltid brukes hvis merking består av en eller to farger |
Farge |
1..1 |
| merkingFarge2 |
|
brukes som farge nummer to ved to-farget merking, og kan være brukt til eksempelvis sjakkmønster, flagg, horisontale eller vertikale bånd (se kodeliste MerkingType) |
Farge |
0..1 |
| merkingType |
|
ulike typer merking spesifiseres her |
MerkingType |
1..1 |
| kommentarMerkingType |
|
hvis "annet" velges på merkingType skal dette spesifiseres her |
CharacterString |
0..1 |
| merkingMønster |
|
mønster til merkingen |
MerkingMønster |
1..1 |
| kommentarMerkingMønster |
|
hvis "Annet" velges på merkingMønster skal dette spesifiseres her |
CharacterString |
0..1 |
| merkingICAO |
|
er merking ihht. ICAO standard |
Boolean |
0..1 |
| merkingTilstand |
|
informasjon om merkingens tilstand |
MerkingTilstand |
0..1 |
| Navn |
Type |
Lengde |
Multiplisitet |
|
Farge |
|
1..1 |
|
Farge |
|
0..1 |
|
MerkingType |
|
1..1 |
| KOMMENTARMERKINGTYPE |
CharacterString |
255 |
0..1 |
|
MerkingMønster |
|
1..1 |
| KOMMENTARMERKINGMØNSTER |
CharacterString |
255 |
0..1 |
| MERKINGICAO |
Boolean |
3 |
0..1 |
|
MerkingTilstand |
|
0..1 |
| Navn |
Beskrivelse |
| kommentar merkingMønster |
/*velges det "Annet" på merkingMønster er en kommentar påkrevd*/
inv: self.merkingMønster = MerkingMønster::Annet implies self.kommentarMerkingMønster -> NotEmpty() |
| kommentar merkingType |
/*velges det "Annet" på merkingType er en kommentar påkrevd*/
inv: self.merkingType = MerkingType::Annet implies self.kommentarMerkingType -> NotEmpty() |
| merking med en eller 2 farger |
/*hvis merkingMønster = Ensfarget skal kun merkingFarge1 brukes, de andre kodene som krever to farger, krever også innhold på merkingFarge2*/
inv: (self.merkingMønster = MerkingMønster::Ensfarget implies self.merkingFarge1 -> NotEmpty() AND self.merkingFarge2 -> Empty()) AND ((self.merkingMønster = MerkingMønster::Rutemønsteret OR self.merkingMønster = MerkingMønster::'Horisontale bånd' OR self.merkingMønster = MerkingMønster::'Vertikale bånd') implies ( self.merkingFarge1 -> NotEmpty() AND self.merkingFarge2 -> NotEmpty())) |
| Navn |
Innhold |
| SOSI_navn |
MERKING |
| SOSI_navn |
RUTEMERKING |
