summaryrefslogtreecommitdiff
path: root/BJC-Utils2/src/main/java/bjc/utils/parserutils/TokenTransformer.java
blob: 149cbbff8a3bf28ea8bab67c651c59ea2bebbef7 (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
package bjc.utils.parserutils;

import java.util.Deque;
import java.util.function.Consumer;
import java.util.function.Function;
import java.util.function.Predicate;
import java.util.function.UnaryOperator;

import bjc.utils.data.IHolder;
import bjc.utils.data.IPair;
import bjc.utils.data.ITree;
import bjc.utils.data.Pair;
import bjc.utils.data.Tree;

final class TokenTransformer<TokenType> implements Consumer<TokenType> {
	private final class OperatorHandler implements UnaryOperator<
			IPair<Deque<ITree<TokenType>>, ITree<TokenType>>> {
		private TokenType element;

		public OperatorHandler(TokenType element) {
			this.element = element;
		}

		@Override
		public IPair<Deque<ITree<TokenType>>, ITree<TokenType>> apply(
				IPair<Deque<ITree<TokenType>>, ITree<TokenType>> pair) {
			return pair.bindLeft((queuedASTs) -> {
				return handleOperator(queuedASTs);
			});
		}

		private IPair<Deque<ITree<TokenType>>,
				ITree<TokenType>> handleOperator(
						Deque<ITree<TokenType>> queuedASTs) {
			ITree<TokenType> newAST;

			if (isSpecialOperator.test(element)) {
				newAST = handleSpecialOperator.apply(element)
						.apply(queuedASTs);
			} else {
				if (queuedASTs.size() < 2) {
					throw new IllegalStateException(
							"Attempted to parse binary operator without enough operands.\n"
									+ "Problem operator is " + element
									+ "\nPossible operand is: \n\t"
									+ queuedASTs.peek());
				}

				ITree<TokenType> rightAST = queuedASTs.pop();
				ITree<TokenType> leftAST = queuedASTs.pop();

				newAST = new Tree<>(element, leftAST, rightAST);
			}

			queuedASTs.push(newAST);

			return new Pair<>(queuedASTs, newAST);
		}
	}

	private IHolder<IPair<Deque<ITree<TokenType>>,
			ITree<TokenType>>>															initialState;

	private Predicate<
			TokenType>																	operatorPredicate;

	private Predicate<
			TokenType>																	isSpecialOperator;
	private Function<TokenType, Function<Deque<ITree<TokenType>>,
			ITree<TokenType>>>															handleSpecialOperator;

	public TokenTransformer(
			IHolder<IPair<Deque<ITree<TokenType>>,
					ITree<TokenType>>> initialState,
			Predicate<TokenType> operatorPredicate,
			Predicate<TokenType> isSpecialOperator,
			Function<TokenType, Function<Deque<ITree<TokenType>>,
					ITree<TokenType>>> handleSpecialOperator) {
		this.initialState = initialState;
		this.operatorPredicate = operatorPredicate;
		this.isSpecialOperator = isSpecialOperator;
		this.handleSpecialOperator = handleSpecialOperator;
	}

	@Override
	public void accept(TokenType element) {
		if (operatorPredicate.test(element)) {
			initialState.transform(new OperatorHandler(element));
		} else {
			ITree<TokenType> newAST = new Tree<>(element);

			initialState.transform((pair) -> {
				return pair.bindLeft((queue) -> {
					queue.push(newAST);

					return new Pair<>(queue, newAST);
				});
			});
		}
	}
}