Language.EFLINT.Interpreter

Documentation

data Config

Constructors

Config

Fields

• cfg_spec :: Spec
• cfg_state :: State
• rest_transitions :: [Transition]
• rest_duties :: [Tagged]

Instances

Eq Config

Defined in Language.EFLINT.Interpreter

Methods

(==) :: Config -> Config -> Bool

(/=) :: Config -> Config -> Bool

data Program

Constructors

Program Phrase

PSeq Program Program

ProgramSkip

Instances

Eq Program

Defined in Language.EFLINT.Interpreter

Methods

(==) :: Program -> Program -> Bool

(/=) :: Program -> Program -> Bool

Show Program

Defined in Language.EFLINT.Interpreter

Methods

showsPrec :: Int -> Program -> ShowS

show :: Program -> String

showList :: [Program] -> ShowS

interpreter :: (InputMap, Program) -> Config -> OutputWriter (Maybe Config)

initialConfig :: Maybe (Spec, State) -> Config

rest_disabled :: Config -> [Tagged]

rest_enabled :: Config -> [Tagged]

get_transition :: Transition -> (Tagged, Bool)

context2config :: Context -> Config

make_initial_state :: Spec -> Initialiser -> State

type OutputWriter = Writer [Output]

data Output

Constructors

ErrorVal Error

ExecutedTransition TransInfo

Violation Violation

QueryRes QueryRes

Instances

Eq Output

Defined in Language.EFLINT.Interpreter

Methods

(==) :: Output -> Output -> Bool

(/=) :: Output -> Output -> Bool

Read Output

Defined in Language.EFLINT.Interpreter

Methods

readsPrec :: Int -> ReadS Output

readList :: ReadS [Output]

readPrec :: ReadPrec Output

readListPrec :: ReadPrec [Output]

Show Output

Defined in Language.EFLINT.Interpreter

Methods

showsPrec :: Int -> Output -> ShowS

show :: Output -> String

showList :: [Output] -> ShowS

getOutput :: OutputWriter a -> (a, [Output])

errors :: [Output] -> [Error]

violations :: [Output] -> [Violation]

ex_triggers :: [Output] -> [TransInfo]

query_ress :: [Output] -> [QueryRes]

missing_inputs :: [Output] -> [Tagged]

convert_programs :: [Phrase] -> [Program]

collapse_programs :: [Program] -> Program