informasjon om hindermerking
Egenskap |
Stereotype |
Beskrivelse |
Type |
Multiplisitet |
merkingFarge |
|
skal brukes hvis merking består av en eller to farger |
MerkingFarge
(datatype)
|
0..2 |
- farge |
|
farge angis med koder fra definert kodeliste |
Farge
(kodeliste)
|
1..1 |
- annet |
|
hvis "annet" velges på attributt farge, må dette spesifiseres her |
CharacterString |
0..1 |
- fluoriserende |
|
om fargemerkingen er fluoriserende (selvlysende) |
JaNei
(kodeliste)
|
1..1 |
- reflekterende |
|
om fargemerkingen er reflekterende |
JaNei
(kodeliste)
|
1..1 |
merkingType |
|
ulike typer merking spesifiseres her |
MerkingType
(kodeliste)
|
1..1 |
kommentarMerkingType |
|
hvis "annet" velges på merkingType skal dette spesifiseres her |
CharacterString |
0..1 |
merkingMønster |
|
mønster til merkingen |
MerkingMønster
(kodeliste)
|
1..1 |
kommentarMerkingMønster |
|
hvis "Annet" velges på merkingMønster skal dette spesifiseres her |
CharacterString |
0..1 |
merkingICAO |
|
hvorvidt merking er ihht. ICAO standard |
JaNei
(kodeliste)
|
0..1 |
merkingTilstand |
|
informasjon om merkingens tilstand |
MerkingTilstand
(kodeliste)
|
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())) |