summaryrefslogtreecommitdiffstats
path: root/parsing/parse.sh
blob: d85a42e5a21c810afc8fdfbf3de0ba58b04b0ee7 (plain)
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
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
HT="$(printf '\t.')";   HT="${HT%.}"
LF="$(printf '\n.')";   LF="${LF%.}"
RS="$(printf '\036.')"; RS="${RS%.}"
US="$(printf '\037.')"; US="${US%.}"

dbg()
{
	dbg=true
	dbg=false
	if ${dbg}; then
		printf 'DEBUG: %s\n' "${@}" >&2
	fi
}

. ./tokens.sh
. ./lexer.sh

complete_command()
{
	if list; then
		separator
		return 0
	fi
	return 1
}

list()
{
	if and_or; then
		while separator_op; do
			if ! and_or; then
				return 1
			fi
		done
		return 0
	fi
	return 1
}
and_or()
{
	if pipeline; then
		while accept T_AND_IF || accept T_OR_IF; do
			if ! linebreak || ! pipeline; then
				return 1
			fi
		done
		return 0
	fi
	return 1
}
pipeline()
{
	accept T_BANG
	if pipe_sequence; then
		return 0
	fi
	return 1
}

pipe_sequence()
{
	if command; then
		while accept T_PIPE; do
			if ! linebreak || ! command; then
				return 1
			fi
		done
		return 0
	fi
	return 1
}

command()
{
	# XXX: Unfinished
	accept T_WORD
}



newline_list()
{
	if accept T_NEWLINE; then
		while accept T_NEWLINE; do
			:
		done
		return 0
	fi
	return 1
}
linebreak()
{
	newline_list
	return 0
}

separator_op()
{
	if accept T_AND || accept T_SEMI; then
		return 0
	fi
	return 1
}

separator()
{
	if separator_op && linebreak; then
		return 0
	elif newline_list; then
		return 0
	fi
	return 1
}

parse()
{
	local fn="${1}"
	shift 1

	init_lexer "${fn}"

	# If this returns (does not exit), there are no errors.
	while complete_command; do :; done

	get_tokens

	return 0
}

try()
{
	local tokens=
	local t=

	printf 'Trying script:\n'
	printf '\t%s\n' "${@}"
	if tokens="$(printf '%s\n' "${@}" | parse -)"; then
		IFS="${RS}"
		for t in ${tokens}; do
			printf 'Token: %s\n' "$(tokname "${t}")"
			case "${t%${US}*}" in T_WORD)
				printf '       "%s"\n' "${t#T_WORD${US}}"
				;;
			esac
		done
		unset IFS
	else
		printf 'FAIL\n'
	fi
	printf '\n\n'
}

try '"foo bar" && $baz || qux' '${quux%uux  quuux'
try '"foo bar" && $baz || qux' '${quux%uux } quuux'
try 'foo ${bar}'
try 'foo ${#bar}'
try 'foo ${bar#baz}'
try 'foo ${#bar#}'
try 'foo ${^}'
try 'foo `bar`'