blob: 3fb0a3b61403ae3032eb3513814d7b5a5eea58b0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#ifndef PARSE
#define PARSE
#include "proposition.h"
typedef struct Line {
prop_t proposition;
just_t justification;
} line_t;
typedef struct LineSet {
line_t* lines;
int count;
} lineSet_t;
line_t init_line(prop_t proposition, just_t justification);
lineSet_t init_lineset(line_t* lines, int count);
int count_lines(char* content);
lineSet_t parse_lines(char* content, int lineCount);
line_t parse_line(char* content);
prop_t parse_proposition(tokenSet_t tokenSet, int* tokensRead);
#endif
|
