Hets - the Heterogeneous Tool Set

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

Contents

Orphan instances

Description

Parser for VSE logic extension of CASL

Synopsis

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

declWords :: [String] Source #

reservedWords :: [String] Source #

keyword :: String -> AParser st Token Source #

vseVarDecl :: AParser st VarDecl Source #

fromVarDecl :: [VarDecl] -> Program -> ([VAR_DECL], Program) Source #

program :: AParser st Program Source #

programSeq :: AParser st Program Source #

procKind :: AParser st (ProcKind, Token) Source #

defproc :: AParser st Defproc Source #

boxOrDiamandProg :: AParser st (Token, BoxOrDiamond, Program, Token) Source #

dlformula :: AParser st Dlformula Source #

param :: AParser st Procparam Source #

profile :: AParser st Profile Source #

procdecl :: AParser st Sigentry Source #

procdecls :: AParser st Procdecls Source #

testParse :: String -> String Source #

just for testing

Orphan instances

TermParser Dlformula Source #
Instance details Methods termParser :: Bool -> AParser st Dlformula Source #
AParsable Procdecls Source #
Instance details Methods aparser :: AParser st Procdecls Source #