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
|
package bjc.pratt.commands.impls;
import bjc.pratt.ParserContext;
import bjc.pratt.blocks.ParseBlock;
import bjc.pratt.commands.BinaryPostCommand;
import bjc.pratt.commands.CommandResult;
import bjc.pratt.commands.CommandResult.Status;
import bjc.pratt.tokens.Token;
import bjc.data.Tree;
import bjc.data.SimpleTree;
import bjc.utils.parserutils.ParserException;
/**
* A post-circumfix operator, like array indexing.
*
* @author bjculkin
*
* @param <K>
* The key type of the tokens.
*
* @param <V>
* The value type of the tokens.
*
* @param <C>
* The state type of the parser.
*/
public class PostCircumfixCommand<K, V, C> extends BinaryPostCommand<K, V, C> {
private final ParseBlock<K, V, C> innerBlock;
private final Token<K, V> mark;
/**
* Create a new post-circumfix operator.
*
* @param precedence
* The precedence of the operator.
*
* @param inner
* The block inside the expression.
*
* @param marker
* The token to use as the node for the AST.
*/
public PostCircumfixCommand(final int precedence, final ParseBlock<K, V, C> inner, final Token<K, V> marker) {
super(precedence);
if(inner == null) throw new NullPointerException("Inner block must not be null");
innerBlock = inner;
mark = marker;
}
@Override
public CommandResult<K, V> denote(final Tree<Token<K, V>> operand, final Token<K, V> operator,
final ParserContext<K, V, C> ctx) throws ParserException {
final CommandResult<K,V> insideRes = innerBlock.parse(ctx);
if (insideRes.status != Status.SUCCESS) return insideRes;
Tree<Token<K, V>> inside = insideRes.success();
return CommandResult.success(new SimpleTree<>(mark, operand, inside));
}
}
|
