Module

Perspectives.ContextRoleParser

#inLineComment

inLineComment :: IP (Array Comment)

#manyOneLineComments

manyOneLineComments :: IP (Array Comment)

#reservedOp

reservedOp :: String -> IP Unit

#reserved

reserved :: String -> IP Unit

#identifier

identifier :: IP String

#lexeme

lexeme :: forall a. IP a -> IP a

#int

int :: IP String

#bool

bool :: IP String

#string

string :: IP String

#simpleValue

simpleValue :: IP String

#identLetter

identLetter :: IP Char

#identLetterString

identLetterString :: IP String

#capitalizedString

capitalizedString :: IP String

#lower

lower :: IP Char

#uncapitalizedString

uncapitalizedString :: IP String

#domeinName

domeinName :: IP String

#modelName

modelName :: IP ModelName

#segmentedName

segmentedName :: IP String

#defaultEmbedded

defaultEmbedded :: IP String -> IP String

#localContextName

localContextName :: IP String

#localPropertyName

localPropertyName :: IP String

#localRolName

localRolName :: IP String

#prefix

prefix :: IP String

#prefixedName

prefixedName :: IP String -> IP QualifiedName

#prefixedContextName

prefixedContextName :: IP QualifiedName

#prefixedPropertyName

prefixedPropertyName :: IP QualifiedName

#expandedName

expandedName :: IP QualifiedName

#expandedPropertyName

expandedPropertyName :: IP QualifiedName

#contextInstanceIDInCurrentNamespace

contextInstanceIDInCurrentNamespace :: IP QualifiedName

#relativeContextTypeName

relativeContextTypeName :: IP QualifiedName

#relativeRolTypeName

relativeRolTypeName :: IP QualifiedName

#relativePropertyTypeName

relativePropertyTypeName :: IP QualifiedName

#relativeRolTypeNameOutsideNamespace

relativeRolTypeNameOutsideNamespace :: IP QualifiedName

#contextName

contextName :: IP QualifiedName

#typeContextName

typeContextName :: IP QualifiedName

#perspectEntiteitIdentifier

perspectEntiteitIdentifier :: IP PEIdentifier

#propertyName

propertyName :: IP QualifiedName

#roleName

roleName :: IP QualifiedName

#dataTypes

dataTypes :: Array String

#dataType

dataType :: IP String

#getPosition

getPosition :: IP Position

@ getPosition @ returns current position should probably be added to Text.Parsing.Parser.Pos

#sourceColumn

sourceColumn :: Position -> Int

#sourceLine

sourceLine :: Position -> Int

#nextLine

nextLine :: IP Unit

Parses only on the next line as the reference

#enclosingContextDeclaration

enclosingContextDeclaration :: IP EnclosingContextDeclaration

enclosingContextDeclaration = Context PerspectEntiteitIdentifier

#contextDeclaration

contextDeclaration :: IP ContextDeclaration

contextDeclaration = contextName contextName

#typedPropertyAssignment

typedPropertyAssignment :: IP Unit -> IP (Tuple ID (Array Value))

#publicContextPropertyAssignment

publicContextPropertyAssignment :: IP (Tuple ID (Array Value))

publicContextPropertyAssignment = 'extern' propertyName '=' simpleValue

#privateContextPropertyAssignment

privateContextPropertyAssignment :: IP (Tuple ID (Array Value))

privateContextPropertyAssignment = 'intern' propertyName '=' simpleValue

#rolePropertyAssignment

rolePropertyAssignment :: IP (Tuple ID (Array Value))

rolePropertyAssignment = propertyName '=' simpleValue

#isRoleDeclaration

isRoleDeclaration :: IP Unit

#roleOccurrence

roleOccurrence :: IP Int

#Arrow

data Arrow

Constructors

ContextBinding
RoleBinding

Instances

Show Arrow

#roleBinding'

roleBinding' :: QualifiedName -> Arrow -> IP (Tuple (Array Comment) (Maybe RoleInstance)) -> IP (Tuple RolName RoleInstance)

#cacheRol

cacheRol :: RoleInstance -> PerspectRol -> IP Unit

#cacheContext

cacheContext :: ContextInstance -> PerspectContext -> IP Unit

#inlineContextBinding

inlineContextBinding :: QualifiedName -> IP (Tuple RolName RoleInstance)

The inline context may itself use a contextInstanceIDInCurrentNamespace to identify the context instance. However, what is returned from the context parser is the QualifiedName of its buitenRol.

#emptyBinding

emptyBinding :: QualifiedName -> IP (Tuple RolName RoleInstance)

#contextBindingByReference

contextBindingByReference :: QualifiedName -> IP (Tuple RolName RoleInstance)

#roleBindingByReference

roleBindingByReference :: QualifiedName -> IP (Tuple RolName RoleInstance)

#relativeInstanceID

relativeInstanceID :: IP QualifiedName

#butLastNNamespaceLevels

butLastNNamespaceLevels :: String -> Int -> IP String

#roleBinding

roleBinding :: QualifiedName -> IP (Tuple RolName RoleInstance)

roleBinding = roleName '=>' (contextName | context) rolePropertyAssignment*

#withRoleCounting

withRoleCounting :: forall a. IP a -> IP a

#context

context :: IP RoleInstance

context = contextDeclaration publicContextPropertyAssignment* privateContextPropertyAssignment* roleBinding* The parser never backtracks over a Context. This means we can safely perform the side effect of storing its constituent roles and contexts. NOTE: we do not construct an inverse binding from an eventual prototype.

#allTheRest

allTheRest :: IP String

#expression

expression :: IP String

#section

section :: IP (Tuple String (Array RoleInstance))

#sectionHeading

sectionHeading :: IP ID

#definition

definition :: IP RoleInstance

#importExpression

importExpression :: IP Unit

#userData

userData :: IP (Array RoleInstance)

#parseAndCache

parseAndCache :: String -> MonadPerspectives (Either ParseError (Tuple (Object PerspectContext) (Object PerspectRol)))