1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
------------------------------------------------------------------------------
--- A interface for parsers
---
--- @author Jasper Sikorra - jsi@informatik.uni-kiel.de
--- @version March 2014
------------------------------------------------------------------------------
module ParseTypes (
module ParseMonad,
module ParsePos,
module ParseError,
module ParseTypes,
module ParseWarning
) where
import ParseMonad
import ParsePos
import ParseError
import ParseWarning
--- Type of a Translator for a DSL
type LangParser = Pos -> String -> IO (PM String)
type Langtag = String
--- The StandardToken is used by the CIParser and Translator to store
--- informations on Integrated Code
data StandardToken = StTk Pos Pos (Maybe Langtag) Code
type Code = String
type Offset = Int
getIdentPos :: StandardToken -> Pos
getIdentPos (StTk p _ _ _) = p
getCodePos :: StandardToken -> Pos
getCodePos (StTk _ p _ _) = p
getOffset :: StandardToken -> Offset
getOffset = getCol . getCodePos
getLangtag :: StandardToken -> Maybe Langtag
getLangtag (StTk _ _ l _) = l
getCode :: StandardToken -> Code
getCode (StTk _ _ _ c) = c
--- Check wether a StandardToken contains a DSL or normal Curry
containsDSL :: StandardToken -> Bool
containsDSL (StTk _ _ (Just _) _) = True
containsDSL (StTk _ _ Nothing _) = False
|
