İçeriğe geç
Nexivion Labs

Sarmal Kütüphanesi · yasa

Kural

kural düğümüdür: otorite · ebedi · katman · kapsam alanlarını koşul, ihlal ve düzey üçlüsüyle birlikte taşır; Anayasa ve Politika bu düğümü sarar

Aile
yasa
.sar
Kural

Alanlar

AlanTürZorunlu
kod·Zorunlu
ne·Zorunlu
tanı

liste — bu kuralı zorlayan motor tanı kodları; iddia-doğrulama bekçisi her kodu tanı sicilinde arar, bu yüzden sahte 'MOTORDA' iddiası yazılamaz

·İsteğe bağlı
dayanak

kenar: tek KOD ya da liste — kuralın doğduğu Karar kaydı ya da kayıtları; dayanağı olmayan Kural bilgi tanısı alır

·İsteğe bağlı
otorite

İzinli değerler: anayasapolitikatercih

enumİsteğe bağlı
katman

İzinli değerler: yapısaleşikniyet

enumİsteğe bağlı

Kural

kapsam: alanı SERBEST bir seçicidir ve sabit bir değer listesiyle sayılamaz: joker `genel` (eş anlamlısı `tümü`), bir aile adı, bir tip adı ya da tek bir KOD yazılabilir. Çözülemeyen seçici bilinmeyen-kapsam uyarısı alır; yapısal koşullu bir kuralda hiçbir düğüme denk gelmeyen seçici ise boş-kapsam uyarısı alır.

Kütüphaneye dön

Kaynak: SNF-0 v0.6 · Mühür 8031fb8fcffc113a