Skip to content

Commit

Permalink
remove BOMs from &-files
Browse files Browse the repository at this point in the history
  • Loading branch information
RieksJ committed Jul 29, 2019
1 parent 02154e3 commit 6938c49
Show file tree
Hide file tree
Showing 244 changed files with 487 additions and 481 deletions.
6 changes: 3 additions & 3 deletions ASR NGA/Demo.adl
Expand Up @@ -337,7 +337,7 @@
{-337-} {+
{-338-} Artikel 10:3 lid 3 Awb spreekt over het beslissen over een bezwaar. Een bezwaar mag niet afgehandeld worden door degene die het besluit
{-339-} krachtens mandaat genomen heeft. Dit impliceert dat altijd duidelijk moet zijn wie een besluit genomen heeft.
{-340-} Vandaar de relatie Besluit met Ambtenaar. Een besluit heeft altijd maar één Ambtenaar.
{-340-} Vandaar de relatie Besluit met Ambtenaar. Een besluit heeft altijd maar één Ambtenaar.
{-341-} -}
{-342-} RELATION genomenDoor[Besluit*Ambtenaar] [UNI,TOT]
{-343-} PRAGMA "" " is genomen door "
Expand Down Expand Up @@ -422,7 +422,7 @@
{-422-} {+
{-423-} Artikel 10:3 lid 3 Awb spreekt over het beslissen over een bezwaar. Een bezwaar mag niet afgehandeld worden door degene die het besluit
{-424-} krachtens mandaat genomen heeft. Dit impliceert dat altijd duidelijk moet zijn wie een bezwaarschrift in behandeling neemt.
{-425-} Vandaar de relatie Besluit met Ambtenaar. Een besluit heeft altijd maar één Ambtenaar.
{-425-} Vandaar de relatie Besluit met Ambtenaar. Een besluit heeft altijd maar één Ambtenaar.
{-426-} -}
{-427-} RELATION neemtInBehandeling[Ambtenaar*Bezwaarschrift] [INJ]
{-428-} --[INJ,SUR]
Expand Down Expand Up @@ -598,7 +598,7 @@
{-598-} al meteen een uitkomst ingevuld worden. Dit is niet logisch vandaar dat hiervan een procesregel is gemaakt.
{-599-} -}
{-600-} RULE "Een bezwaarschrift heeft een uitkomst (univalent)" : heeftUitkomst~;heeftUitkomst |- I
{-601-} MEANING "Als een bezwaarschrift is ingediend dan moet deze hoogstens één uitkomst hebben"
{-601-} MEANING "Als een bezwaarschrift is ingediend dan moet deze hoogstens één uitkomst hebben"
{-602-}
{-603-} PURPOSE RULE "In behandeling nemen door ambtenaar (surjectief)" REF "Artikel 10:3 lid 2b"
{-604-} {+
Expand Down
2 changes: 1 addition & 1 deletion ASR NGA/Dossiers.adl
@@ -1,4 +1,4 @@
CONTEXT Dossiers IN DUTCH
CONTEXT Dossiers IN DUTCH

--INCLUDE "Gebeurtenis.adl"

Expand Down
2 changes: 1 addition & 1 deletion ASR NGA/Klantverzoeken.pat
Expand Up @@ -2,7 +2,7 @@ CONTEXT Klantverzoek

PURPOSE PATTERN Klantverzoek
{+
Eén van de wensen is om inzicht te krijgen in de klantverzoeken die binnenkomen bij NGA.
Eén van de wensen is om inzicht te krijgen in de klantverzoeken die binnenkomen bij NGA.
Bij deze klantverzoeken moet onder andere de volgende informatie beschikbaar zijn.
Het type van het klantverzoek (Bijvoorbeeld offerte, contractaanvraag).
Het beoordelingsresultaat van het klantverzoek (Bijvoorbeeld automatische verwerking of oppakken door een behandelaar).
Expand Down
2 changes: 1 addition & 1 deletion ASR NGA/ManagementInformatie.adl
@@ -1,4 +1,4 @@
CONTEXT "Managementinformatie over klantverzoeken en taken" IN DUTCH LATEX
CONTEXT "Managementinformatie over klantverzoeken en taken" IN DUTCH LATEX
META "authors" "Sebastiaan Hobers, Roger Hage, Lode Cornelissen, Stef Joosten"
META "title" "Managementinformatie over klantverzoeken en taken"
THEMES Klantverzoek, Taken
Expand Down
2 changes: 1 addition & 1 deletion ASR NGA/Taken.pat
Expand Up @@ -45,7 +45,7 @@ PATTERN Taken

PURPOSE CONCEPT Prioriteit REF "DFO NGA Generieke functionaliteit medewerkerapplicatie"
{+
Mochten er meerdere taken aan één behandelaar zijn toegewezen, dan worden deze behandeld in volgorde van prioriteit.
Mochten er meerdere taken aan één behandelaar zijn toegewezen, dan worden deze behandeld in volgorde van prioriteit.
Deze prioriteit loopt van 1 t/m 5 waarbij 5 de hoogste prioriteit heeft en 1 de laagste.
-}
CONCEPT Prioriteit "De prioriteit geeft aan wat de volgorde is waarin taken behandeld moeten worden." "DFO NGA Generieke functionaliteit medewerkerapplicatie."
Expand Down
10 changes: 5 additions & 5 deletions Arbeidsduur/Arbeidsduur.adl
Expand Up @@ -10,19 +10,19 @@ werkgever :: Arbeidsrelatie -> Persoon
PRAGMA "In" "is" "de werkgever"
MEANING "Elke arbeidsrelatie benoemt expliciet welke (rechts)persoon de rol van werkgever vervult."
PURPOSE RELATION werkgever
{+Om de werkgever te kunnen bepalen gaan we ervan uit dat elke arbeidsrelatie precies één werkgever heeft.+}
{+Om de werkgever te kunnen bepalen gaan we ervan uit dat elke arbeidsrelatie precies één werkgever heeft.+}

werknemer :: Arbeidsrelatie -> Persoon
PRAGMA "In" "is" "de werknemer"
MEANING "Elke arbeidsrelatie benoemt expliciet welke persoon de rol van werknemer vervult."
PURPOSE RELATION werknemer
{+We gaan ervan uit dat elke arbeidsrelatie precies één werknemer heeft.+}
{+We gaan ervan uit dat elke arbeidsrelatie precies één werknemer heeft.+}

arbeidsduur :: Arbeidsrelatie -> Arbeidsduur
PRAGMA "In" "is" "als arbeidsduur afgesproken"
MEANING "Elke arbeidsrelatie vermeldt de afgesproken arbeidsduur."
PURPOSE RELATION arbeidsduur REF "Artikel 2 lid 1"
{+De Wet aanpassing arbeidsduur spreekt van ``de uit zijn arbeidsovereenkomst of publiekrechtelijke aanstelling voortvloeiende arbeidsduur''. Dat impliceert dat er voor elke arbeidsovereenkomst of publiekrechtelijke aanstelling precies één arbeidsduur is. Er zijn ongetwijfeld andere wetten en regelingen die dat garanderen, maar hier nemen we dit als een gegeven (uitgangspunt) over.+}
{+De Wet aanpassing arbeidsduur spreekt van ``de uit zijn arbeidsovereenkomst of publiekrechtelijke aanstelling voortvloeiende arbeidsduur''. Dat impliceert dat er voor elke arbeidsovereenkomst of publiekrechtelijke aanstelling precies één arbeidsduur is. Er zijn ongetwijfeld andere wetten en regelingen die dat garanderen, maar hier nemen we dit als een gegeven (uitgangspunt) over.+}

inDienst :: Arbeidsrelatie -> Datum
PRAGMA "" "vermeldt" "als tijdstip van indiensttreding"
Expand All @@ -40,7 +40,7 @@ MEANING "Het verzoek vermeldt de arbeidsrelatie waarop de aanpassing van toepass
PURPOSE RELATION arbeidsrelatie
{+Het verzoek moet duidelijk vermelden welke arbeidsrelatie onderwerp is van het verzoek.
Dat is immers niet vanzelfsprekend in die gevallen waar een werknemer meerdere arbeidsrelaties over verschillende periodes heeft.
De onderzochte wet sluit zelfs niet uit dat één werkgever en één werknemer op hetzelfde moment verschillende arbeidsrelaties onderhouden.+}
De onderzochte wet sluit zelfs niet uit dat één werkgever en één werknemer op hetzelfde moment verschillende arbeidsrelaties onderhouden.+}

tot :: Verzoek * Aanpassing [UNI]
PRAGMA "" "tot"
Expand Down Expand Up @@ -288,7 +288,7 @@ PURPOSE RULE "Verzoeksdatum invullen (geautomatiseerd)" REF "Artikel 2 lid 3"

PURPOSE RELATION vierMaandenOfMeer REF "Artikel 2 lid 3"
{+Omdat de wet een termijn van vier maanden noemt, en omdat we in Ampersand (nog) niet kunnen
rekenen, voeren we een relatie “vierMaandenOfMeer” in. Deze dient als stub voor het rekenwerk.+}
rekenen, voeren we een relatie “vierMaandenOfMeer” in. Deze dient als stub voor het rekenwerk.+}
vierMaandenOfMeer :: Datum * Datum
PRAGMA "" "ligt minstens vier maanden voor"
MEANING "De relatie 'vierMaandenOfMeer' bevat alleen paren van datums waarvan de eerste minstens vier maanden voor de tweede valt."
Expand Down
8 changes: 4 additions & 4 deletions Arbeidsduur/Stef's demo van Arbeidsduur.adl
Expand Up @@ -79,20 +79,20 @@ werkgever :: Arbeidsrelatie -> Persoon
PRAGMA "In" "is" "de werkgever"
MEANING "Elke arbeidsrelatie benoemt expliciet welke (rechts)persoon de rol van werkgever vervult."
PURPOSE RELATION werkgever LATEX
{+Om de werkgever te kunnen bepalen gaan we ervan uit dat elke arbeidsrelatie precies één werkgever heeft.
{+Om de werkgever te kunnen bepalen gaan we ervan uit dat elke arbeidsrelatie precies één werkgever heeft.
-}
werknemer :: Arbeidsrelatie -> Persoon
PRAGMA "In" "is" "de werknemer"
MEANING "Elke arbeidsrelatie benoemt expliciet welke persoon de rol van werknemer vervult."
PURPOSE RELATION werknemer LATEX
{+We gaan ervan uit dat elke arbeidsrelatie precies één werknemer heeft.
{+We gaan ervan uit dat elke arbeidsrelatie precies één werknemer heeft.
-}
arbeidsduur :: Arbeidsrelatie -> Arbeidsduur
PRAGMA "In" "is" "als arbeidsduur afgesproken"
MEANING "Elke arbeidsrelatie vermeldt de afgesproken arbeidsduur."
PURPOSE RELATION arbeidsduur LATEX REF "Artikel 2 lid 1"
{+De Wet aanpassing arbeidsduur spreekt van ``de uit zijn arbeidsovereenkomst of publiekrechtelijke aanstelling voortvloeiende arbeidsduur''.
Dat impliceert dat er voor elke arbeidsovereenkomst of publiekrechtelijke aanstelling precies één arbeidsduur is.
Dat impliceert dat er voor elke arbeidsovereenkomst of publiekrechtelijke aanstelling precies één arbeidsduur is.
Er zijn ongetwijfeld andere wetten en regelingen die dat garanderen, maar hier nemen we dit als een gegeven (uitgangspunt) over.
-}
inDienst :: Arbeidsrelatie -> Tijdstip
Expand All @@ -115,7 +115,7 @@ MEANING "Het verzoek vermeldt de arbeidsrelatie waarop de aanpassing van toepass
PURPOSE RELATION arbeidsrelatie LATEX
{+Het verzoek moet duidelijk vermelden welke arbeidsrelatie onderwerp is van het verzoek.
Dat is immers niet vanzelfsprekend in die gevallen waar een werknemer meerdere arbeidsrelaties over verschillende periodes heeft.
De onderzochte wet sluit zelfs niet uit dat één werkgever en één werknemer op hetzelfde moment verschillende arbeidsrelaties onderhouden.
De onderzochte wet sluit zelfs niet uit dat één werkgever en één werknemer op hetzelfde moment verschillende arbeidsrelaties onderhouden.
-}
ingang :: Aanpassing -> Tijdstip
PRAGMA "" "gaat in op"
Expand Down

0 comments on commit 6938c49

Please sign in to comment.