ContentsIndex
Main
Contents
Standard (CFA-style) analysis.
input/output analysis
post-apocalyptic analysis.
Main
Synopsis
data Analysis
= Std
| InOut
| Apoc
type Env = Map Name Label
rho0 :: Env
lookupName :: Name -> Env -> Label
applyEnv :: Env -> Term -> Term
genStd :: Position -> Label -> Env -> Proc -> [Production]
genInOut :: Position -> Label -> Label -> Env -> Proc -> [Production]
genApoc :: Position -> Label -> Label -> Env -> Proc -> [Production]
usageMessage :: IO a
main :: IO ()
Documentation
data Analysis
The type of the analysis.
Constructors
Std
InOut
Apoc
Standard (CFA-style) analysis.
type Env = Map Name Label
Static environment.
rho0 :: Env
Empty initial environment.
lookupName :: Name -> Env -> Label
Name lookup in Env.
applyEnv :: Env -> Term -> Term
Instantiate all the Vars in a Term.
genStd
:: PositionThe address of the process
-> LabelThe Label representing the input/output
-> EnvBinding from Names to Labels
-> ProcThe (sub)process we are analyzing
-> [Production]The grammar
Generate the Productions for the static analysis of the Process.
input/output analysis
genInOut
:: PositionThe address of the process
-> LabelThe Label representing the input
-> LabelThe Label representing the output
-> EnvBinding from Names to Labels
-> ProcThe (sub)process we are analyzing
-> [Production]The grammar
Generate the Productions for the static analysis of the Process.
post-apocalyptic analysis.
genApoc
:: PositionThe address of the process
-> LabelThe Label representing the input
-> LabelThe Label representing the output
-> EnvBinding from Names to Labels
-> ProcThe (sub)process we are analyzing
-> [Production]The grammar
Generate the Productions for the static analysis of the Process.
Main
usageMessage :: IO a
main :: IO ()
Produced by Haddock version 0.6