Parser-Combinators-Python/0002.py at master · jlegare/Parser-Combinators-Python · GitHub

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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
import logging

import combinators.core         as core
import combinators.tokenization as tokenization

logging.basicConfig (level = logging.INFO)
logger = logging.getLogger (__name__)


specifications = [ ( "INT",     ( "[0-9]+", ) ),
                   ( "SPACE",   ( "[ \t]+", ) ),
                   ( "LETTERS", ( "[a-zA-Z]+", ) ), ]

tokenizer = tokenization.create (specifications)

try:
    sequence = core.many (core.token_type ("INT") + core.token_type ("SPACE"))

    logger.info (sequence.name)

    logger.info (sequence.parse (list (tokenizer ("1 2 3 4 "))))

except core.Error as error:
    logger.info (repr (error))


try:
    sequence = core.many (core.token_value ("1") + core.token_type ("SPACE") + core.token_value ("2"))

    logger.info (sequence.name)

    logger.info (sequence.parse (list (tokenizer ("1 2"))))

except core.Error as error:
    logger.info (repr (error))


try:
    sequence = core.some (core.token_type ("INT") + core.token_type ("SPACE"))

    logger.info (sequence.name)

    logger.info (sequence.parse (list (tokenizer ("1 2 3 4 "))))

except core.Error as error:
    logger.info (repr (error))


try:
    sequence = (core.position ()
                + core.token_type ("INT") + core.token_type ("SPACE")
                + core.optional (core.token_type ("INT"))
                + core.position ())

    logger.info (sequence.name)

    logger.info (sequence.parse (list (tokenizer ("1 2"))))
    logger.info (sequence.parse (list (tokenizer ("1 "))))

except core.Error as error:
    logger.info (repr (error))


try:
    sequence = (core.many ((core.token_type ("LETTERS") | core.token_type ("INT"))
                                  + core.token_type ("SPACE")))

    logger.info (sequence.name)

    logger.info (sequence.parse (list (tokenizer ("1 "))))
    logger.info (sequence.parse (list (tokenizer ("A "))))
    logger.info (sequence.parse (list (tokenizer ("1 A B 2 "))))
    logger.info (sequence.parse (list (tokenizer ("1 A B 2 "))))
    logger.info (sequence.parse (list (tokenizer ("1 A B 2 !"))))

except tokenization.Error as error:
    logger.info (repr (error))

except core.Error as error:
    logger.info (repr (error))


try:
    sequence = core.never ("Expected failure.") | core.many (core.token_type ("LETTERS"))

    logger.info (sequence.name)

    logger.info (sequence.parse (list (tokenizer ("ABC"))))

except tokenization.Error as error:
    logger.info (repr (error))

except core.Error as error:
    logger.info (repr (error))