Copyright	(c) Fontaine 2008 - 2012
License	BSD3
Maintainer	Fontaine@cs.uni-duesseldorf.de
Stability	experimental
Portability	GHC-only
Safe Haskell	None
Language	Haskell2010

Language.CSPM.AST

Description

This module defines an Abstract Syntax Tree for CSPM. This is the AST that is computed by the parser. For historical reasons, it is rather unstructured.

Synopsis

Documentation

type AstAnnotation x = IntMap x Source

type Bindings = Map String UniqueIdent Source

type FreeNames = IntMap UniqueIdent Source

newtype NodeId Source

Constructors

NodeId
Fields unNodeId :: Int

Instances

Enum NodeId
Eq NodeId
Data NodeId
Ord NodeId
Show NodeId
Ix NodeId
Generic NodeId
Typeable * NodeId
type Rep NodeId

mkNodeId :: Int -> NodeId Source

data Labeled t Source

Constructors

Labeled
Fields nodeId :: NodeId srcLoc :: SrcLoc unLabel :: t

Instances

Eq t => Eq (Labeled t)
Data t => Data (Labeled t)
Ord t => Ord (Labeled t)
Show t => Show (Labeled t)
Generic (Labeled t)
Pretty x => Pretty (Labeled x)
Typeable (* -> *) Labeled
type Rep (Labeled t)

labeled :: t -> Labeled t Source

Wrap a node with a dummyLabel. todo: Redo we need a specal case in DataConstructor Labeled.

setNode :: Labeled t -> y -> Labeled y Source

type LIdent = Labeled Ident Source

data Ident Source

Constructors

Ident
Fields unIdent :: String
UIdent UniqueIdent

Instances

Eq Ident
Data Ident
Ord Ident
Show Ident
Generic Ident
Typeable * Ident
type Rep Ident

unUIdent :: Ident -> UniqueIdent Source

identId :: LIdent -> Int Source

data UniqueIdent Source

Constructors

UniqueIdent
Fields uniqueIdentId :: Int bindingSide :: NodeId bindingLoc :: SrcLoc idType :: IDType realName :: String newName :: String prologMode :: PrologMode bindType :: BindType

Instances

Eq UniqueIdent
Data UniqueIdent
Ord UniqueIdent
Show UniqueIdent
Generic UniqueIdent
Typeable * UniqueIdent
type Rep UniqueIdent

data IDType Source

Constructors

VarID
ChannelID
NameTypeID
FunID
ConstrID
DataTypeID
TransparentID
BuiltInID

Instances

Eq IDType
Data IDType
Ord IDType
Show IDType
Generic IDType
Typeable * IDType
type Rep IDType

data PrologMode Source

Constructors

PrologGround
PrologVariable

Instances

Eq PrologMode
Data PrologMode
Ord PrologMode
Show PrologMode
Generic PrologMode
Typeable * PrologMode
type Rep PrologMode

data BindType Source

Constructors

LetBound
NotLetBound

Instances

Eq BindType
Data BindType
Ord BindType
Show BindType
Generic BindType
Typeable * BindType
type Rep BindType

isLetBound :: BindType -> Bool Source

data Module a Source

Constructors

Module
Fields moduleDecls :: [LDecl] moduleTokens :: Maybe [Token] moduleSrcLoc :: SrcLoc moduleComments :: [LocComment] modulePragmas :: [Pragma]

Instances

Eq (Module a)
Data a => Data (Module a)
Ord (Module a)
Show (Module a)
Generic (Module a)
Pretty (Module a)
Typeable (* -> *) Module
type Rep (Module a)

data FromParser Source

Instances

Eq FromParser
Data FromParser
Generic FromParser
Typeable * FromParser
type Rep FromParser

castModule :: Module a -> Module b Source

type ModuleFromParser = Module FromParser Source

type LExp = Labeled Exp Source

type LProc = LExp Source

data Exp Source

Constructors

Var LIdent
IntExp Integer
SetExp LRange (Maybe [LCompGen])
ListExp LRange (Maybe [LCompGen])
ClosureComprehension ([LExp], [LCompGen])
Let [LDecl] LExp
Ifte LExp LExp LExp
CallFunction LExp [[LExp]]
CallBuiltIn LBuiltIn [[LExp]]
Lambda [LPattern] LExp
Stop
Skip
CTrue
CFalse
Events
BoolSet
IntSet
TupleExp [LExp]
Parens LExp
AndExp LExp LExp
OrExp LExp LExp
NotExp LExp
NegExp LExp
Fun1 LBuiltIn LExp
Fun2 LBuiltIn LExp LExp
DotTuple [LExp]
Closure [LExp]
ProcSharing LExp LProc LProc
ProcAParallel LExp LExp LProc LProc
ProcLinkParallel LLinkList LProc LProc
ProcRenaming [LRename] (Maybe LCompGenList) LProc
ProcException LExp LProc LProc
ProcRepSequence LCompGenList LProc
ProcRepInternalChoice LCompGenList LProc
ProcRepExternalChoice LCompGenList LProc
ProcRepInterleave LCompGenList LProc
ProcRepAParallel LCompGenList LExp LProc
ProcRepLinkParallel LCompGenList LLinkList LProc
ProcRepSharing LCompGenList LExp LProc
PrefixExp LExp [LCommField] LProc
PrefixI FreeNames LExp [LCommField] LProc
LetI [LDecl] FreeNames LExp
LambdaI FreeNames [LPattern] LExp
ExprWithFreeNames FreeNames LExp

Instances

Eq Exp
Data Exp
Ord Exp
Show Exp
Generic Exp
Pretty Exp
Typeable * Exp
type Rep Exp

type LRange = Labeled Range Source

data Range Source

Constructors

RangeEnum [LExp]
RangeClosed LExp LExp
RangeOpen LExp

Instances

Eq Range
Data Range
Ord Range
Show Range
Generic Range
Pretty Range
Typeable * Range
type Rep Range

type LCommField = Labeled CommField Source

data CommField Source

Constructors

InComm LPattern
InCommGuarded LPattern LExp
OutComm LExp

Instances

Eq CommField
Data CommField
Ord CommField
Show CommField
Generic CommField
Pretty CommField
Typeable * CommField
type Rep CommField

type LLinkList = Labeled LinkList Source

data LinkList Source

Constructors

LinkList [LLink]
LinkListComprehension [LCompGen] [LLink]

Instances

Eq LinkList
Data LinkList
Ord LinkList
Show LinkList
Generic LinkList
Pretty LinkList
Typeable * LinkList
type Rep LinkList

type LLink = Labeled Link Source

data Link Source

Constructors

Link LExp LExp

Instances

Eq Link
Data Link
Ord Link
Show Link
Generic Link
Pretty Link
Typeable * Link
type Rep Link

type LRename = Labeled Rename Source

data Rename Source

Constructors

Rename LExp LExp

Instances

Eq Rename
Data Rename
Ord Rename
Show Rename
Generic Rename
Pretty Rename
Typeable * Rename
type Rep Rename

type LBuiltIn = Labeled BuiltIn Source

data BuiltIn Source

Constructors

BuiltIn Const

Instances

Eq BuiltIn
Data BuiltIn
Ord BuiltIn
Show BuiltIn
Generic BuiltIn
Pretty BuiltIn
Typeable * BuiltIn
type Rep BuiltIn

lBuiltInToConst :: LBuiltIn -> Const Source

type LCompGenList = Labeled [LCompGen] Source

type LCompGen = Labeled CompGen Source

data CompGen Source

Constructors

Generator LPattern LExp
Guard LExp

Instances

Eq CompGen
Data CompGen
Ord CompGen
Show CompGen
Generic CompGen
Typeable * CompGen
type Rep CompGen

type LPattern = Labeled Pattern Source

data Pattern Source

Constructors

IntPat Integer
TruePat
FalsePat
WildCard
Also [LPattern]
Append [LPattern]
DotPat [LPattern]
SingleSetPat LPattern
EmptySetPat
ListEnumPat [LPattern]
TuplePat [LPattern]
ConstrPat LIdent
VarPat LIdent
Selectors
Fields selectors :: Array Int Selector idents :: Array Int (Maybe LIdent)
Selector Selector (Maybe LIdent)

Instances

Eq Pattern
Data Pattern
Ord Pattern
Show Pattern
Generic Pattern
Pretty Pattern
Typeable * Pattern
type Rep Pattern

type LDecl = Labeled Decl Source

data Decl Source

Constructors

PatBind LPattern LExp
FunBind LIdent [FunCase]
Assert LAssertDecl
Transparent [LIdent]
SubType LIdent [LConstructor]
DataType LIdent [LConstructor]
NameType LIdent LTypeDef
Channel [LIdent] (Maybe LTypeDef)
Print LExp

Instances

Eq Decl
Data Decl
Ord Decl
Show Decl
Generic Decl
Pretty Decl
Typeable * Decl
type Rep Decl

type FunArgs = [[LPattern]] Source

data FunCase Source

Constructors

FunCase FunArgs LExp
FunCaseI [LPattern] LExp

Instances

Eq FunCase
Data FunCase
Ord FunCase
Show FunCase
Generic FunCase
Typeable * FunCase
type Rep FunCase

type LTypeDef = Labeled TypeDef Source

data TypeDef Source

Constructors

TypeTuple [LExp]
TypeDot [LExp]

Instances

Eq TypeDef
Data TypeDef
Ord TypeDef
Show TypeDef
Generic TypeDef
Typeable * TypeDef
type Rep TypeDef

type LConstructor = Labeled Constructor Source

data Constructor Source

Constructors

Constructor LIdent (Maybe LTypeDef)

Instances

Eq Constructor
Data Constructor
Ord Constructor
Show Constructor
Generic Constructor
Typeable * Constructor
type Rep Constructor

withLabel :: (NodeId -> a -> b) -> Labeled a -> Labeled b Source

type LAssertDecl = Labeled AssertDecl Source

data AssertDecl Source

Constructors

AssertBool LExp
AssertRefine Bool LExp LRefineOp LExp
AssertTauPrio Bool LExp LTauRefineOp LExp LExp
AssertModelCheck Bool LExp LFDRModels (Maybe LFdrExt)

Instances

Eq AssertDecl
Data AssertDecl
Ord AssertDecl
Show AssertDecl
Generic AssertDecl
Pretty AssertDecl
Typeable * AssertDecl
type Rep AssertDecl

type LFDRModels = Labeled FDRModels Source

data FDRModels Source

Constructors

DeadlockFree
Deterministic
LivelockFree

Instances

Eq FDRModels
Data FDRModels
Ord FDRModels
Show FDRModels
Generic FDRModels
Pretty FDRModels
Typeable * FDRModels
type Rep FDRModels

type LFdrExt = Labeled FdrExt Source

data FdrExt Source

Constructors

F
FD
T

Instances

Eq FdrExt
Data FdrExt
Ord FdrExt
Show FdrExt
Generic FdrExt
Pretty FdrExt
Typeable * FdrExt
type Rep FdrExt

type LTauRefineOp = Labeled TauRefineOp Source

data TauRefineOp Source

Constructors

TauTrace
TauRefine

Instances

Eq TauRefineOp
Data TauRefineOp
Ord TauRefineOp
Show TauRefineOp
Generic TauRefineOp
Pretty TauRefineOp
Typeable * TauRefineOp
type Rep TauRefineOp

type LRefineOp = Labeled RefineOp Source

data RefineOp Source

Constructors

Trace
Failure
FailureDivergence
RefusalTesting
RefusalTestingDiv
RevivalTesting
RevivalTestingDiv
TauPriorityOp

Instances

Eq RefineOp
Data RefineOp
Ord RefineOp
Show RefineOp
Generic RefineOp
Pretty RefineOp
Typeable * RefineOp
type Rep RefineOp

type Pragma = String Source

type LocComment = (Comment, SrcLoc) Source

data Comment Source

Constructors

LineComment String
BlockComment String
PragmaComment Pragma

Instances

Eq Comment
Data Comment
Ord Comment
Show Comment
Generic Comment
Typeable * Comment
type Rep Comment

IntSel Integer
TrueSel
FalseSel
SelectThis
ConstrSel UniqueIdent
DotSel Int Selector
SingleSetSel Selector
EmptySetSel
TupleLengthSel Int Selector
TupleIthSel Int Selector
ListLengthSel Int Selector
ListIthSel Int Selector
HeadSel Selector
HeadNSel Int Selector
PrefixSel Int Int Selector
TailSel Selector
SliceSel Int Int Selector
SuffixSel Int Int Selector

Eq Selector
Data Selector
Ord Selector
Show Selector
Generic Selector
Typeable * Selector
type Rep Selector

F_true
F_false
F_not
F_and
F_or
F_union
F_inter
F_diff
F_Union
F_Inter
F_member
F_card
F_empty
F_set
F_Set
F_Seq
F_null
F_head
F_tail
F_concat
F_elem
F_length
F_STOP
F_SKIP
F_Events
F_Int
F_Bool
F_CHAOS
F_Concat
F_Len2
F_Mult
F_Div
F_Mod
F_Add
F_Sub
F_Eq
F_NEq
F_GE
F_LE
F_LT
F_GT
F_Guard
F_Sequential
F_Interrupt
F_ExtChoice
F_IntChoice
F_Hiding
F_Timeout
F_Interleave

Eq Const
Data Const
Ord Const
Show Const
Generic Const
Pretty Const
Typeable * Const
type Rep Const