Module

Perspectives.Parsing.Arc

#domain 

domain :: IP ContextE

#isRoleKind 

isRoleKind :: String -> Boolean

#propertyE 

propertyE :: IP RolePart

#viewE 

viewE :: IP RolePart

#perspectiveE 

perspectiveE :: IP RolePart

Parses four forms, because both the default view on the Object and the actions involved are optional: perspective on: Guest perspective on: Guest (ViewOnGuest) perspective on: Guest: Consult, Change perspective on: Guest (ViewOnGuest): Consult, Change Each of the forms above can be combined with specialised actions: Consult with ViewOnGuest Change with AnotherView`

#constructVerb 

constructVerb :: String -> Verb

#actionE 

actionE :: IP PerspectivePart

Parses the following forms: Consult with ViewOnGuest Consult with ViewOnGuest subjectView: AnotherView Bind with AnotherView indirectObject: AnotherRole (ViewOnAnotherRole) Consult indirectObject: AnotherRole Consult if Prop1 < 10

#ruleE_ 

ruleE_ :: IP { condition :: Step, pos :: ArcPosition }

#assignmentList 

assignmentList :: { condition :: Step, pos :: ArcPosition } -> IP PerspectivePart

A rule is a special format for a Bot action: if Wens >> Bedrag > 10 then SomeProp = false SomeOtherProp =+ "aap"

#pureLetBody 

pureLetBody :: { condition :: Step, pos :: ArcPosition } -> IP PerspectivePart

A rule may also have a let* expression for its right hand side: if Wens >> Bedrag > 10 then let* a <- <expression> in SomeProp = a

#reserved' 

reserved' :: String -> IP String

Modules