import org.junit.Test;

import static org.junit.Assert.assertEquals;
import java.util.regex.Matcher;
import java.util.regex.Pattern;

public class TestLambdaInterp{
    private static final Pattern DEFINITION_SYNTAX = Pattern.compile("define (.+) = (.+)$");
    private final static Interpreter interp = new Interpreter();
    
    public String evaluate(String s) {
        Token[] tokens = Token.scan(s);
        ExprS exprS = Parser.parser(tokens);
        Expr expr = Desugar.desugar(exprS);
        Expr newExpr = interp.interp(expr);
        // Expr rExpr = interp.reduceExpr(newExpr, new Env());
        //return rExpr.toString();
        return newExpr.toString();
    }

    @Test public void testEvaluation(){
        assertEquals("(%x.x)", evaluate("%x.x"));
        assertEquals("(%y.y)", evaluate("(%x.x) %y.y"));
        assertEquals("(%x.(%.x))", evaluate("%x.%.x"));
        assertEquals("(%x.(%y.x))", evaluate("%x y.x"));
        assertEquals("(%x.(x (%y.((x y) x))))", evaluate("%x.x %y.x y x"));
        assertEquals("(%x.(%y.x))", evaluate("(%n.n (%x.%x y.y) %x y.x) ((%m n f x.m f (n f x)) (%f x.x) (%f x.x))"));
        assertEquals("(%x.(%y.y))", evaluate("(%n.n (%x.%x y.y) %x y.x) ((%m n f x.m f (n f x)) (%f x.x) (%f x.f x))"));
        assertEquals("(%x.(%y.y))", evaluate("(%n.n (%x.%x y.y) %x y.x) ((%m n f x.m f (n f x)) (%f x.f x) (%f x.f x))"));
    }

    @Test public void testDefinition(){
        for(String defStr: PreDefinition.all()){
            Matcher m = DEFINITION_SYNTAX.matcher(defStr);
            m.matches();
            String var = m.group(1);
            Expr def = Desugar.desugar(Parser.parser(Token.scan(m.group(2))));
            interp.addDefinition(var, def);
        }

        assertEquals("(%p.(%x.(%y.((p x) y))))", evaluate("if"));
        assertEquals("(%x.(%y.x))", evaluate("true"));
        assertEquals("(%x.(%y.y))", evaluate("false"));
        assertEquals("(%a.a)", evaluate("if true (%a.a) (%b.b)"));
        assertEquals("(%b.b)", evaluate("if false (%a.a) (%b.b)"));
        assertEquals("(%a.a)", evaluate("if true (%a.a) ((%x.x x) %x.x x)"));

        assertEquals("(%x.(%y.x))", evaluate("iszero (add 0 0)"));
        assertEquals("(%x.(%y.y))", evaluate("iszero (add 0 1)"));
        assertEquals("(%x.(%y.y))", evaluate("iszero (add 1 1)"));
        assertEquals("(%x.(%y.y))", evaluate("iszero (add 9 9)"));

        assertEquals("(%x.(%y.x))", evaluate("iszero (pre 1)"));
        assertEquals("(%x.(%y.y))", evaluate("iszero (pre 2)"));

        assertEquals("(%x.(%y.x))", evaluate("iszero (sub 9 9)"));
        assertEquals("(%x.(%y.y))", evaluate("iszero (sub 9 6)"));

        // assertEquals("(%f.(%x.(f x)))", evaluate("car (cons 1 2)"));
        // assertEquals("(%f.(%x.(f (f x))))", evaluate("cdr (cons 1 2)"));
    }
}

@@ -316,20 +316,16 @@
 eter();%0A
-    
 %0A    pub
@@ -2641,24 +2641,627 @@
 b 9 6)%22));%0A%0A
+        assertEquals(%22(%25x.(%25y.x))%22, evaluate(%22iszero (sub 2 (mult 1 2))%22));%0A        assertEquals(%22(%25x.(%25y.y))%22, evaluate(%22iszero (sub 3 (mult 1 2))%22));%0A%0A        assertEquals(%22(%25x.(%25y.x))%22, evaluate(%22iszero (sub 2 (mult 2 1))%22));%0A        assertEquals(%22(%25x.(%25y.y))%22, evaluate(%22iszero (sub 3 (mult 2 1))%22));%0A%0A        assertEquals(%22(%25x.(%25y.y))%22, evaluate(%22iszero (sub 9 (fact 3))%22));%0A        assertEquals(%22(%25x.(%25y.y))%22, evaluate(%22iszero (sub 8 (fact 3))%22));%0A        assertEquals(%22(%25x.(%25y.y))%22, evaluate(%22iszero (sub 7 (fact 3))%22));%0A        assertEquals(%22(%25x.(%25y.x))%22, evaluate(%22iszero (sub 6 (fact 3))%22));%0A%0A
         // a

test cases for pre, sub, and mult