From 42990231fee502552b769b9af4c04ac0dcaeb195 Mon Sep 17 00:00:00 2001
From: bculkin2442 <bjculkin@mix.wvu.edu>
Date: Sat, 25 Mar 2017 19:13:42 -0400
Subject: Update Pratt parser

---
 .../parserutils/pratt/commands/TernaryCommand.java | 54 +++++++++++++++++-----
 1 file changed, 42 insertions(+), 12 deletions(-)

(limited to 'BJC-Utils2/src/main/java/bjc/utils/parserutils/pratt/commands/TernaryCommand.java')

diff --git a/BJC-Utils2/src/main/java/bjc/utils/parserutils/pratt/commands/TernaryCommand.java b/BJC-Utils2/src/main/java/bjc/utils/parserutils/pratt/commands/TernaryCommand.java
index c3204b9..8f04368 100644
--- a/BJC-Utils2/src/main/java/bjc/utils/parserutils/pratt/commands/TernaryCommand.java
+++ b/BJC-Utils2/src/main/java/bjc/utils/parserutils/pratt/commands/TernaryCommand.java
@@ -3,33 +3,63 @@ package bjc.utils.parserutils.pratt.commands;
 import bjc.utils.data.ITree;
 import bjc.utils.data.Tree;
 import bjc.utils.parserutils.ParserException;
+import bjc.utils.parserutils.pratt.ParseBlock;
 import bjc.utils.parserutils.pratt.ParserContext;
 import bjc.utils.parserutils.pratt.Token;
 
+/**
+ * A ternary command, like C's ?:
+ * 
+ * @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 TernaryCommand<K, V, C> extends BinaryPostCommand<K, V, C> {
-	private K term;
-
-	private int innerExp;
+	private ParseBlock<K, V, C> innerBlck;
 
 	private Token<K, V> mark;
 
 	private boolean nonassoc;
 
-	public TernaryCommand(int leftPower, K terminator, Token<K, V> marker, boolean isNonassoc) {
-		super(leftPower);
+	/**
+	 * Create a new ternary command.
+	 * 
+	 * @param precedence
+	 *                The precedence of this operator.
+	 * 
+	 * @param innerBlock
+	 *                The representation of the inner block of the
+	 *                expression.
+	 * 
+	 * @param marker
+	 *                The token to use as the root of the AST node.
+	 * 
+	 * @param isNonassoc
+	 *                Whether or not the conditional is associative.
+	 */
+	public TernaryCommand(int precedence, ParseBlock<K, V, C> innerBlock, Token<K, V> marker, boolean isNonassoc) {
+		super(precedence);
+
+		if (innerBlock == null)
+			throw new NullPointerException("Inner block must not be null");
+		else if (marker == null) throw new NullPointerException("Marker must not be null");
 
-		term = terminator;
+		innerBlck = innerBlock;
 		mark = marker;
 		nonassoc = isNonassoc;
 	}
 
-	@SuppressWarnings("unchecked")
 	@Override
-	public ITree<Token<K, V>> denote(ITree<Token<K, V>> operand, Token<K, V> operator,
-			ParserContext<K, V, C> ctx) throws ParserException {
-		ITree<Token<K, V>> inner = ctx.parse.parseExpression(innerExp, ctx.tokens, ctx.state, false);
-
-		ctx.tokens.expect(term);
+	public ITree<Token<K, V>> denote(ITree<Token<K, V>> operand, Token<K, V> operator, ParserContext<K, V, C> ctx)
+			throws ParserException {
+		ITree<Token<K, V>> inner = innerBlck.parse(ctx);
 
 		ITree<Token<K, V>> outer = ctx.parse.parseExpression(1 + leftBinding(), ctx.tokens, ctx.state, false);
 
-- 
cgit v1.2.3