From cea3e47938322b97c318dea38dc0d649e196dc1b Mon Sep 17 00:00:00 2001
From: Ben Culkin <scorpress@gmail.com>
Date: Tue, 16 Aug 2022 23:03:27 -0400
Subject: Refactor to add backtracking support

This probably doesn't help w/ error messages, but it enables some cool
ideas where syntax can be reused in cases where it would otherwise be
invalid
---
 .../bjc/pratt/commands/impls/PanfixCommand.java    | 39 ++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 JPratt/src/main/java/bjc/pratt/commands/impls/PanfixCommand.java

(limited to 'JPratt/src/main/java/bjc/pratt/commands/impls/PanfixCommand.java')

diff --git a/JPratt/src/main/java/bjc/pratt/commands/impls/PanfixCommand.java b/JPratt/src/main/java/bjc/pratt/commands/impls/PanfixCommand.java
new file mode 100644
index 0000000..06e69c1
--- /dev/null
+++ b/JPratt/src/main/java/bjc/pratt/commands/impls/PanfixCommand.java
@@ -0,0 +1,39 @@
+package bjc.pratt.commands.impls;
+
+import bjc.data.SimpleTree;
+import bjc.data.Tree;
+import bjc.pratt.ParserContext;
+import bjc.pratt.commands.CommandResult;
+import bjc.pratt.commands.InitialCommand;
+import bjc.pratt.commands.CommandResult.Status;
+import bjc.pratt.tokens.Token;
+import bjc.utils.parserutils.ParserException;
+
+public final class PanfixCommand<K, V, C> implements InitialCommand<K, V, C> {
+	private final Token<K, V> marker;
+	private final K term;
+	private final int precedence;
+
+	public PanfixCommand(Token<K, V> marker, K term, int precedence) {
+		this.marker = marker;
+		this.term = term;
+		this.precedence = precedence;
+	}
+
+	@Override
+	public CommandResult<K, V> denote(Token<K, V> operator, ParserContext<K, V, C> ctx) throws ParserException {
+		CommandResult<K,V> resLeftSide = ctx.parse.parseExpression(precedence + 1, ctx.tokens, ctx.state, false);
+		if (resLeftSide.status != Status.SUCCESS) return resLeftSide;
+		Tree<Token<K, V>> leftSide = resLeftSide.success();
+		ctx.tokens.expect(term);
+		ctx.tokens.next();
+		
+		CommandResult<K, V> resRightSide = ctx.parse.parseExpression(precedence + 1, ctx.tokens, ctx.state, false);
+		if (resLeftSide.status != Status.SUCCESS) return resRightSide;
+		Tree<Token<K,V>> rightSide = resRightSide.success();
+		ctx.tokens.expect(term);
+		ctx.tokens.next();
+		
+		return CommandResult.success(new SimpleTree<>(marker, leftSide, rightSide));
+	}
+}
\ No newline at end of file
-- 
cgit v1.2.3