changeset 7:bca8fc5d928b

work on expressions git-svn-id: https://luan-java.googlecode.com/svn/trunk@8 21e917c8-12df-6dd8-5cb6-c86387c605b9
author fschmidt@gmail.com <fschmidt@gmail.com@21e917c8-12df-6dd8-5cb6-c86387c605b9>
date Tue, 20 Nov 2012 10:06:27 +0000
parents a315783c9524
children 8896068e0a4b
files src/luan/Lua.java src/luan/interp/AndExpr.java src/luan/interp/DivExpr.java src/luan/interp/EqExpr.java src/luan/interp/LenExpr.java src/luan/interp/LengthExpr.java src/luan/interp/LuaParser.java src/luan/interp/ModExpr.java src/luan/interp/MulExpr.java src/luan/interp/NotExpr.java src/luan/interp/OrExpr.java src/luan/interp/UnmExpr.java
diffstat 12 files changed, 313 insertions(+), 78 deletions(-) [+]
line wrap: on
line diff
diff -r a315783c9524 -r bca8fc5d928b src/luan/Lua.java
--- a/src/luan/Lua.java	Mon Nov 19 13:08:30 2012 +0000
+++ b/src/luan/Lua.java	Tue Nov 20 10:06:27 2012 +0000
@@ -15,6 +15,10 @@
 		return "userdata";
 	}
 
+	public static boolean toBoolean(Object obj) {
+		return obj != null && !Boolean.FALSE.equals(obj);
+	}
+
 	public static String toString(Object obj) {
 		if( obj == null )
 			return "nil";
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/AndExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/AndExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,18 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaException;
+import luan.LuaState;
+
+
+final class AndExpr extends BinaryOpExpr {
+
+	AndExpr(Expr op1,Expr op2) {
+		super(op1,op2);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		Object v1 = op1.eval(lua);
+		return !Lua.toBoolean(v1) ? v1 : op2.eval(lua);
+	}
+}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/DivExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/DivExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,20 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaNumber;
+import luan.LuaException;
+import luan.LuaState;
+
+
+final class DivExpr extends BinaryOpExpr {
+
+	DivExpr(Expr op1,Expr op2) {
+		super(op1,op2);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		double n1 = Lua.checkNumber(op1.eval(lua)).value();
+		double n2 = Lua.checkNumber(op2.eval(lua)).value();
+		return new LuaNumber( n1 / n2 );
+	}
+}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/EqExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/EqExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,20 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaNumber;
+import luan.LuaException;
+import luan.LuaState;
+
+
+final class EqExpr extends BinaryOpExpr {
+
+	EqExpr(Expr op1,Expr op2) {
+		super(op1,op2);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		Object v1 = op1.eval(lua);
+		Object v2 = op2.eval(lua);
+		return v1 == v2 || v1 != null && v1.equals(v2);
+	}
+}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/LenExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/LenExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,31 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaNumber;
+import luan.LuaTable;
+import luan.LuaException;
+import luan.LuaState;
+
+
+final class LenExpr extends UnaryOpExpr {
+
+	LenExpr(Expr op) {
+		super(op);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		return new LuaNumber( length(op.eval(lua)) );
+	}
+
+	private static int length(Object obj) throws LuaException {
+		if( obj instanceof String ) {
+			String s = (String)obj;
+			return s.length();
+		}
+		if( obj instanceof LuaTable ) {
+			LuaTable t = (LuaTable)obj;
+			return t.length();
+		}
+		throw new LuaException( "attempt to get length of a " + Lua.type(obj) + " value" );
+	}
+}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/LengthExpr.java
--- a/src/luan/interp/LengthExpr.java	Mon Nov 19 13:08:30 2012 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,31 +0,0 @@
-package luan.interp;
-
-import luan.Lua;
-import luan.LuaNumber;
-import luan.LuaTable;
-import luan.LuaException;
-import luan.LuaState;
-
-
-final class LengthExpr extends UnaryOpExpr {
-
-	LengthExpr(Expr op) {
-		super(op);
-	}
-
-	@Override Object eval(LuaState lua) throws LuaException {
-		return new LuaNumber( length(op.eval(lua)) );
-	}
-
-	private static int length(Object obj) throws LuaException {
-		if( obj instanceof String ) {
-			String s = (String)obj;
-			return s.length();
-		}
-		if( obj instanceof LuaTable ) {
-			LuaTable t = (LuaTable)obj;
-			return t.length();
-		}
-		throw new LuaException( "attempt to get length of a " + Lua.type(obj) + " value" );
-	}
-}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/LuaParser.java
--- a/src/luan/interp/LuaParser.java	Mon Nov 19 13:08:30 2012 +0000
+++ b/src/luan/interp/LuaParser.java	Tue Nov 20 10:06:27 2012 +0000
@@ -15,46 +15,108 @@
 public class LuaParser extends BaseParser<Object> {
 
 	Rule Target() {
-		return Sequence(ConstExpr(), EOI);
+		return Sequence(Spaces(), Expr(), EOI);
+	}
+
+	Rule Expr() {
+		return OrExpr();
+	}
+
+	Rule OrExpr() {
+		return Sequence(
+			AndExpr(),
+			ZeroOrMore( "or", Spaces(), AndExpr(), push( new OrExpr((Expr)pop(1),(Expr)pop()) ) )
+		);
+	}
+
+	Rule AndExpr() {
+		return Sequence(
+			RelExpr(),
+			ZeroOrMore( "and", Spaces(), RelExpr(), push( new AndExpr((Expr)pop(1),(Expr)pop()) ) )
+		);
+	}
+
+	Rule RelExpr() {
+		return Sequence(
+			SumExpr(),
+			ZeroOrMore(
+				FirstOf(
+					Sequence( "==", Spaces(), SumExpr(), push( new EqExpr((Expr)pop(1),(Expr)pop()) ) ),
+					Sequence( "~=", Spaces(), SumExpr(), push( new NotExpr(new EqExpr((Expr)pop(1),(Expr)pop())) ) )
+				)
+			)
+		);
 	}
 
-	Rule ConstExpr() {
+	Rule SumExpr() {
+		return Sequence(
+			TermExpr(),
+			ZeroOrMore(
+				FirstOf(
+					Sequence( '+', Spaces(), TermExpr(), push( new AddExpr((Expr)pop(1),(Expr)pop()) ) ),
+					Sequence( '-', Spaces(), TermExpr(), push( new SubExpr((Expr)pop(1),(Expr)pop()) ) )
+				)
+			)
+		);
+	}
+
+	Rule TermExpr() {
 		return Sequence(
-			Const(),
+			UnaryExpr(),
+			ZeroOrMore(
+				FirstOf(
+					Sequence( '*', Spaces(), UnaryExpr(), push( new MulExpr((Expr)pop(1),(Expr)pop()) ) ),
+					Sequence( '/', Spaces(), UnaryExpr(), push( new DivExpr((Expr)pop(1),(Expr)pop()) ) ),
+					Sequence( '%', Spaces(), UnaryExpr(), push( new ModExpr((Expr)pop(1),(Expr)pop()) ) )
+				)
+			)
+		);
+	}
+
+	Rule UnaryExpr() {
+		return FirstOf(
+			Sequence( '#', Spaces(), SingleExpr(), push( new LenExpr((Expr)pop()) ) ),
+			Sequence( '-', Spaces(), SingleExpr(), push( new UnmExpr((Expr)pop()) ) ),
+			Sequence( "not", Spaces(), SingleExpr(), push( new NotExpr((Expr)pop()) ) ),
+			SingleExpr()
+		);
+	}
+
+	Rule SingleExpr() {
+		return FirstOf(
+			Sequence( '(', Spaces(), Expr(), ')', Spaces() ),
+			LiteralExpr()
+		);
+	}
+
+	Rule LiteralExpr() {
+		return Sequence(
+			Literal(), Spaces(),
 			push(new ConstExpr(pop()))
 		);
 	}
 
-	Rule Const() {
+	Rule Literal() {
 		return FirstOf(
-			NilConst(),
-			BooleanConst(),
-			NumberConst(),
-			StringConst()
+			NilLiteral(),
+			BooleanLiteral(),
+			NumberLiteral(),
+			StringLiteral()
 		);
 	}
 
-	Rule NilConst() {
-		return Sequence(
-			String("nil"),
-			push(null)
+	Rule NilLiteral() {
+		return Sequence( "nil", push(null) );
+	}
+
+	Rule BooleanLiteral() {
+		return FirstOf(
+			Sequence( "true", push(true) ),
+			Sequence( "false", push(false) )
 		);
 	}
 
-	Rule BooleanConst() {
-		return FirstOf(
-			Sequence(
-				String("true"),
-				push(true)
-			),
-			Sequence(
-				String("false"),
-				push(false)
-			)
-		);
-	}
-
-	Rule NumberConst() {
+	Rule NumberLiteral() {
 		return Sequence(
 			Number(),
 			push(new LuaNumber((Double)pop()))
@@ -79,17 +141,10 @@
 		return FirstOf(
 			Sequence(
 				Int(),
-				Optional(
-					Ch('.'),
-					Optional(Int())
-				),
+				Optional( '.', Optional(Int()) ),
 				NumberExp()
 			),
-			Sequence(
-				Ch('.'),
-				Int(),
-				NumberExp()
-			)
+			Sequence( '.', Int(), NumberExp() )
 		);
 	}
 
@@ -116,7 +171,7 @@
 		return CharRange('0', '9');
 	}
 
-	Rule StringConst() {
+	Rule StringLiteral() {
 		return FirstOf(
 			QuotedString('"'),
 			QuotedString('\'')
@@ -125,7 +180,7 @@
 
 	Rule QuotedString(char quote) {
 		return Sequence(
-			Ch(quote),
+			quote,
 			push(new StringBuffer()),
 			ZeroOrMore(
 				FirstOf(
@@ -136,23 +191,42 @@
 					EscSeq()
 				)
 			),
-			Ch(quote),
+			quote,
 			push(((StringBuffer)pop()).toString())
 		);
 	}
 
 	Rule EscSeq() {
 		return Sequence(
-			Ch('\\'),
+			'\\',
 			FirstOf(
-				Sequence( Ch('b'), append('\b') ),
-				Sequence( Ch('f'), append('\f') ),
-				Sequence( Ch('n'), append('\n') ),
-				Sequence( Ch('r'), append('\r') ),
-				Sequence( Ch('t'), append('\t') ),
-				Sequence( Ch('\\'), append('\\') ),
-				Sequence( Ch('"'), append('"') ),
-				Sequence( Ch('\''), append('\'') )
+				Sequence( 'a', append('\u0007') ),
+				Sequence( 'b', append('\b') ),
+				Sequence( 'f', append('\f') ),
+				Sequence( 'n', append('\n') ),
+				Sequence( 'r', append('\r') ),
+				Sequence( 't', append('\t') ),
+				Sequence( 'v', append('\u000b') ),
+				Sequence( '\\', append('\\') ),
+				Sequence( '"', append('"') ),
+				Sequence( '\'', append('\'') ),
+				Sequence(
+					'x',
+					Sequence( HexDigit(), HexDigit() ),
+					append( (char)Integer.parseInt(match(),16) )
+				),
+				Sequence(
+					Sequence(
+						Digit(),
+						Optional(
+							Digit(),
+							Optional(
+								Digit()
+							)
+						)
+					),
+					append( (char)Integer.parseInt(match()) )
+				)
 			)
 		);
 	}
@@ -163,6 +237,10 @@
 		return true;
 	}
 
+	public Rule Spaces() {
+		return ZeroOrMore(AnyOf(" \t"));
+	}
+
 	// for testing
 	public static void main(String[] args) throws Exception {
 		LuaParser parser = Parboiled.createParser(LuaParser.class);
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/ModExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/ModExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,20 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaNumber;
+import luan.LuaException;
+import luan.LuaState;
+
+
+final class ModExpr extends BinaryOpExpr {
+
+	ModExpr(Expr op1,Expr op2) {
+		super(op1,op2);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		double n1 = Lua.checkNumber(op1.eval(lua)).value();
+		double n2 = Lua.checkNumber(op2.eval(lua)).value();
+		return new LuaNumber( n1 % n2 );
+	}
+}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/MulExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/MulExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,20 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaNumber;
+import luan.LuaException;
+import luan.LuaState;
+
+
+final class MulExpr extends BinaryOpExpr {
+
+	MulExpr(Expr op1,Expr op2) {
+		super(op1,op2);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		double n1 = Lua.checkNumber(op1.eval(lua)).value();
+		double n2 = Lua.checkNumber(op2.eval(lua)).value();
+		return new LuaNumber( n1 * n2 );
+	}
+}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/NotExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/NotExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,17 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaException;
+import luan.LuaState;
+
+
+final class NotExpr extends UnaryOpExpr {
+
+	NotExpr(Expr op) {
+		super(op);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		return !Lua.toBoolean(op.eval(lua));
+	}
+}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/OrExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/OrExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,18 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaException;
+import luan.LuaState;
+
+
+final class OrExpr extends BinaryOpExpr {
+
+	OrExpr(Expr op1,Expr op2) {
+		super(op1,op2);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		Object v1 = op1.eval(lua);
+		return Lua.toBoolean(v1) ? v1 : op2.eval(lua);
+	}
+}
diff -r a315783c9524 -r bca8fc5d928b src/luan/interp/UnmExpr.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/luan/interp/UnmExpr.java	Tue Nov 20 10:06:27 2012 +0000
@@ -0,0 +1,20 @@
+package luan.interp;
+
+import luan.Lua;
+import luan.LuaNumber;
+import luan.LuaException;
+import luan.LuaState;
+
+
+// unary minus
+final class UnmExpr extends UnaryOpExpr {
+
+	UnmExpr(Expr op) {
+		super(op);
+	}
+
+	@Override Object eval(LuaState lua) throws LuaException {
+		double n = Lua.checkNumber(op.eval(lua)).value();
+		return new LuaNumber( -n );
+	}
+}