Copyright | (c) Christian Maeder, Uni Bremen 2002-2006 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | portable |
Safe Haskell | None |
Parsing symbols for translations and reductions
- symbItems :: [String] -> AParser st SYMB_ITEMS
- symbItem :: [String] -> AParser st SYMB_ITEMS
- symbMapItems :: [String] -> AParser st SYMB_MAP_ITEMS
- opOrPredType :: [String] -> AParser st TYPE
- symbKind :: AParser st (SYMB_KIND, Token)
Documentation
symbItems :: [String] -> AParser st SYMB_ITEMS
Parse a possible kinded list of comma separated CASL symbols. The argument is a list of keywords to avoid as identifiers.
symbItem :: [String] -> AParser st SYMB_ITEMS
Parse a possible kinded CASL symbol.
symbMapItems :: [String] -> AParser st SYMB_MAP_ITEMS
parse a possible kinded list of CASL symbol mappings
opOrPredType :: [String] -> AParser st TYPE
parsing a type for an operation or a predicate