Portability	GHC-only
Stability	experimental
Maintainer	Fontaine@cs.uni-duesseldorf.de

CSPM.Interpreter.Types

Description

Definitions of most of the types used in the interpreter. Also Instance declarations for the core language type families. INT is the type (index) for the CSPM interpreter.

Documentation

data INT Source

Instances

BF INT
BL INT
BE INT
Eq (Process INT)
Ord (Process INT)
Show (Process INT)
Show (TTE INT)
ShowTTE (TTE INT)

type Event = [Field]Source

type Field = Value Source

type FieldSet = SSet Field Source

type Process = Process INT Source

type Digest = MD5Digest Source

data ClosureSet Source

Constructors

ClosureSet
Fields closureSetTrie :: PrefixTrie closureSetDigest :: Digest

Instances

Eq ClosureSet
Ord ClosureSet
Show ClosureSet
Hash ClosureSet

data RenamingRelation Source

Constructors

RenamingRelation
Fields renamingPairs :: Set (Event, Event) renamingDomain :: Set Event renamingRange :: Set Event renamingDigest :: Digest

Instances

Eq RenamingRelation
Ord RenamingRelation
Show RenamingRelation
Hash RenamingRelation

data ClosureState Source

Constructors

ClosureStateNormal
Fields origClosureSet :: ClosureSet currentPrefixTrie :: PrefixTrie
ClosureStateFailed
Fields origClosureSet :: ClosureSet
ClosureStateSucc
Fields origClosureSet :: ClosureSet currentPrefixTrie :: PrefixTrie

Instances

Eq ClosureState
Ord ClosureState
Show ClosureState

data SwitchedOffProc Source

Constructors

SwitchedOffProc
Fields switchedOffDigest :: Digest switchedOffExpr :: LExp switchedOffProcess :: Process

Instances

Eq SwitchedOffProc
Ord SwitchedOffProc
Show SwitchedOffProc
Hash SwitchedOffProc

data PrefixState Source

Constructors

PrefixState
Fields prefixEnv :: Env prefixFields :: [LCommField] prefixBody :: LExp prefixRHS :: Process prefixDigest :: Digest prefixPatternFailed :: Bool

Instances

Eq PrefixState
Ord PrefixState
Show PrefixState
Hash PrefixState

type Bindings = IntMap Value Source

data Env Source

Constructors

Env
Fields argBindings :: Bindings letBindings :: Bindings letDigests :: IntMap Digest

Instances

MonadReader Env EM

emptyEnvirionment :: Env Source

newtype EM x Source

Constructors

EM
Fields unEM :: Reader Env x

Instances

Monad EM
MonadReader Env EM

getArgBindings :: Env -> Bindings Source

getLetBindings :: Env -> Bindings Source

setArgBindings :: Env -> Bindings -> Env Source

setLetBindings :: Env -> Bindings -> Env Source

getEnv :: EM Env Source

class Monad m => Eval m whereSource

Methods

evalM :: LExp -> m Value Source

data Value Source

Constructors

VInt Integer
VBool Bool
VList [Value]
VTuple [Value]
VDotTuple [Value]
VSet (Set Value)
VClosure ClosureSet
VFun FunClosure
VProcess Process
VChannel Channel
VUnit
VAllInts
VAllSequents (Set Value)
VConstructor Constructor
VDataType [Constructor]
VNameType [FieldSet]
VPartialApplied FunClosure [Value]

Instances

Eq Value
Ord Value
Show Value
Hash Value

data FunClosure Source

Constructors

FunClosure
Fields getFunCases :: [FunCase] getFunEnv :: Env getFunArgNum :: Int getFunId :: Digest

Instances

Eq FunClosure
Ord FunClosure
Show FunClosure
Hash FunClosure

data Constructor Source

Constructors

Constructor
Fields constrId :: Int constrName :: String constrFields :: [FieldSet]

Instances

Eq Constructor
Ord Constructor
Show Constructor
Hash Constructor

data Channel Source

Constructors

Channel
Fields chanId :: Int chanName :: String chanLen :: Int chanFields :: [FieldSet]

Instances

Eq Channel
Ord Channel
Show Channel

isChannelField :: Field -> Bool Source

getChannel :: Field -> Channel Source

data PrefixTrie Source

Constructors

PTNil
PTAny PrefixTrie
PTMap (Map Value PrefixTrie)
PTRec (Set Value) PrefixTrie
PTSingle Value PrefixTrie
PTClosure PrefixTrie

Instances

Eq PrefixTrie
Ord PrefixTrie
Show PrefixTrie
Hash PrefixTrie

data InterpreterError Source

Constructors

ScriptError
Fields errMsg :: String errLoc :: Maybe SrcLoc errVal :: Maybe Value
FeatureNotImplemented
Fields errMsg :: String errLoc :: Maybe SrcLoc
TypingError
Fields errMsg :: String errLoc :: Maybe SrcLoc errVal :: Maybe Value
InternalError
Fields errMsg :: String errLoc :: Maybe SrcLoc errVal :: Maybe Value
PatternMatchError
Fields errMsg :: String errLoc :: Maybe SrcLoc

Instances

Show InterpreterError
Typeable InterpreterError
Exception InterpreterError

throwScriptError :: String -> Maybe SrcLoc -> Maybe Value -> aSource

throwFeatureNotImplemented :: String -> Maybe SrcLoc -> aSource

throwTypingError :: String -> Maybe SrcLoc -> Maybe Value -> aSource

throwInternalError :: String -> Maybe SrcLoc -> Maybe Value -> aSource

throwPatternMatchError :: String -> Maybe SrcLoc -> aSource

GBOut [Value] PrefixState
GBInput PrefixState
GBInputGuard FieldSet PrefixState
GBInputGeneric [Value] PrefixState
GBFinished PrefixState

Eq GenericBufferPrefix
Ord GenericBufferPrefix
Show GenericBufferPrefix