| Copyright | (c) C. Maeder, DFKI Bremen 2008 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
VSE.Parse
Description
Parser for VSE logic extension of CASL
- declWords :: [String]
- reservedWords :: [String]
- keyword :: String -> AParser st Token
- vseVarDecl :: AParser st VarDecl
- fromVarDecl :: [VarDecl] -> Program -> ([VAR_DECL], Program)
- program :: AParser st Program
- programSeq :: AParser st Program
- procKind :: AParser st (ProcKind, Token)
- defproc :: AParser st Defproc
- boxOrDiamandProg :: AParser st (Token, BoxOrDiamond, Program, Token)
- dlformula :: AParser st Dlformula
- param :: AParser st Procparam
- profile :: AParser st Profile
- procdecl :: AParser st Sigentry
- procdecls :: AParser st Procdecls
- testParse :: String -> String
Documentation
reservedWords :: [String]
vseVarDecl :: AParser st VarDecl
fromVarDecl :: [VarDecl] -> Program -> ([VAR_DECL], Program)
programSeq :: AParser st Program
boxOrDiamandProg :: AParser st (Token, BoxOrDiamond, Program, Token)