Perspectives.Parsing.Arc.AST

newtype ContextE

Constructors

• ContextE { contextParts :: List ContextPart, id :: String, kindOfContext :: ContextKind, pos :: ArcPosition }

Instances

• Generic ContextE _
• Show ContextE

type Prefix = String

type ModelName = String

data ContextPart

Constructors

• RE RoleE
• CE ContextE
• PREFIX Prefix ModelName
• ContextAspect String ArcPosition

Instances

• Generic ContextPart _
• Show ContextPart

newtype RoleE

Constructors

• RoleE { id :: String, kindOfRole :: RoleKind, pos :: ArcPosition, roleParts :: List RolePart }

Instances

• Generic RoleE _
• Show RoleE

type FunctionName = String

type ComputedType = String

data RolePart

Constructors

• PE PropertyE
• PRE PerspectiveE
• VE ViewE
• FunctionalAttribute Boolean
• MandatoryAttribute Boolean
• FilledByAttribute String
• Calculation Step
• ForUser String
• RoleAspect String ArcPosition
• Computation FunctionName ComputedType

Instances

• Generic RolePart _
• Show RolePart

newtype PropertyE

Constructors

• PropertyE { id :: String, pos :: ArcPosition, propertyParts :: List PropertyPart, range :: Maybe Range }

Instances

• Generic PropertyE _
• Show PropertyE

data PropertyPart

Constructors

• FunctionalAttribute' Boolean
• MandatoryAttribute' Boolean
• Calculation' Step

Instances

• Generic PropertyPart _
• Show PropertyPart

newtype PerspectiveE

Constructors

• PerspectiveE { id :: String, perspectiveParts :: List PerspectivePart, pos :: ArcPosition }

Instances

• Generic PerspectiveE _
• Show PerspectiveE

data PerspectivePart

Constructors

• Object String
• DefaultView String
• Act ActionE
• Rule RuleE

Instances

• Generic PerspectivePart _
• Show PerspectivePart

newtype ActionE

Constructors

• ActionE { actionParts :: List ActionPart, id :: String, pos :: ArcPosition, verb :: Verb }

Instances

• Generic ActionE _
• Show ActionE

data ActionPart

Constructors

• IndirectObject String
• SubjectView String
• ObjectView String
• IndirectObjectView String
• Condition Step
• AssignmentPart Assignment
• LetPart LetStep

Instances

• Generic ActionPart _
• Show ActionPart

data RuleE

Constructors

• RuleE Step Assignment

Instances

• Generic RuleE _
• Show RuleE

newtype ViewE

Constructors

• ViewE { id :: String, pos :: ArcPosition, viewParts :: List String }

Instances

• Generic ViewE _
• Show ViewE