Skip to content

Instantly share code, notes, and snippets.

@algobardo

algobardo/gist:397c9bfecee401cf1a8e

Created February 26, 2015 04:00
Show Gist options
  • Save algobardo/397c9bfecee401cf1a8e to your computer and use it in GitHub Desktop.
Save algobardo/397c9bfecee401cf1a8e to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. algobardo created this gist Feb 26, 2015.
    25 changes: 25 additions & 0 deletions gistfile1.txt
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,25 @@

    /* Sample FunctionExpressionInvocation */
    var x = ((x) => x*2)(2);
    /* Sample conditional expression */
    var y = (x>50)?5:6;


    Generates


    var x = SC.idExpC(((x) => SC.idExpC(SC.idExpC(x, "bin/main.dart:360-1", "20:19 at x") * SC.idExpC(2, "bin/main.dart:362-1", "20:21 at 2"), "bin/main.dart:360-3", "20:19 at x"))(SC.idExpC(2, "bin/main.dart:365-1", "20:24 at 2")), "bin/main.dart:352-15", "20:11 at (");
    var y = SC.idExpC((SC.idExpC(x, "bin/main.dart:418-1", "22:12 at x") > SC.idExpC(50, "bin/main.dart:420-2", "22:14 at 50")) ? SC.idExpC(5, "bin/main.dart:424-1", "22:18 at 5") : SC.idExpC(6, "bin/main.dart:426-1", "22:20 at 6"), "bin/main.dart:417-10", "22:11 at (");


    which output

    the expression in pos: 20:24 at 2 is of type int propagate me with the generated static constraints on the AstVariables
    the expression in pos: 20:19 at x is of type int propagate me with the generated static constraints on the AstVariables
    the expression in pos: 20:21 at 2 is of type int propagate me with the generated static constraints on the AstVariables
    the expression in pos: 20:19 at x is of type int propagate me with the generated static constraints on the AstVariables
    the expression in pos: 20:11 at ( is of type int propagate me with the generated static constraints on the AstVariables
    the expression in pos: 22:12 at x is of type int propagate me with the generated static constraints on the AstVariables
    the expression in pos: 22:14 at 50 is of type int propagate me with the generated static constraints on the AstVariables
    the expression in pos: 22:20 at 6 is of type int propagate me with the generated static constraints on the AstVariables
    the expression in pos: 22:11 at ( is of type int propagate me with the generated static constraints on the AstVariables