DHBW-Horn-clauses-resolver/read.l at master · Philhil/DHBW-Horn-clauses-resolver · 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
%option noyywrap

%{
  #include "data.h"
  #include "grammar.tab.h"
%}


INT      [0-9]
VARLEX [n-z]{INT}*
FUNCLEX [a-m]{INT}*
PRAEDIKATLEX [A-Z]{INT}*
%%

{VARLEX} {
  yylval.text = strdup(yytext);
  return VAR;
}

{FUNCLEX} {
  yylval.text = strdup(yytext);
  return FUNC;
}

{PRAEDIKATLEX} {
  yylval.text = strdup(yytext);
  return PRAEDIKAT;
}

"->" {
  return ARROW;
}

"&" {
  return UND;
}

"," {
  return KOMMA;
}

true {
  return TRUE;
}

false {
  return FALSE;
}

"(" {
return KLAMMERO;
}

")" {
  return KLAMMERC;
}

"\n"|"\r\n" {
  return NEWLINE;
}

" " {
  /* Skip */
}

. {
  printf("Do not know: %s\n", yytext);
}

%%