style-script 1.0.0

data/lib/style-script.rb

@@ -0,0 +1,21 @@
+$LOAD_PATH.unshift(File.dirname(__FILE__))
+require "style_script/lexer"
+require "style_script/parser"
+require "style_script/nodes"
+require "style_script/value"
+require "style_script/scope"
+require "style_script/rewriter"
+require "style_script/parse_error"
+
+# Namespace for all StyleScript internal classes.
+module StyleScript
+
+  VERSION = '1.0.0'   # Keep in sync with the gemspec.
+
+  # Compile a script (String or IO) to JavaScript.
+  def self.compile(script, options={})
+    script = script.read if script.respond_to?(:read)
+    Parser.new.parse(script).compile(options)
+  end
+
+end

data/lib/style_script/command_line.rb

@@ -0,0 +1,235 @@
+require 'optparse'
+require 'fileutils'
+require 'open3'
+begin
+  require File.expand_path(File.dirname(__FILE__) + '/../style-script')
+rescue LoadError => e
+  puts(e.message)
+  puts("use \"rake build:parser\" to regenerate parser.rb")
+  exit(1)
+end
+
+module StyleScript
+
+  # The CommandLine handles all of the functionality of the `style`
+  # utility.
+  class CommandLine
+
+    BANNER = <<-EOS
+style compiles StyleScript source files into JavaScript.
+
+Usage:
+  style path/to/script.style
+    EOS
+
+    # Seconds to pause between checks for changed source files.
+    WATCH_INTERVAL = 0.5
+
+    # Path to the root of the StyleScript install.
+    ROOT = File.expand_path(File.dirname(__FILE__) + '/../..')
+
+    # Commands to execute StyleScripts.
+    RUNNERS = {
+      :node     => "node #{ROOT}/lib/style_script/runner.js",
+      :std  => "std -p #{ROOT} -e 'require(\"style-script\").run(system.args);'"
+    }
+
+    # Run the CommandLine off the contents of ARGV.
+    def initialize
+      @mtimes = {}
+      parse_options
+      return launch_repl if @options[:interactive]
+      return eval_scriptlet if @options[:eval]
+      check_sources
+      return run_scripts if @options[:run]
+      @sources.each {|source| compile_javascript(source) }
+      watch_style_scripts if @options[:watch]
+    end
+
+    # The "--help" usage message.
+    def usage
+      puts "\n#{@option_parser}\n"
+      exit
+    end
+
+
+    private
+
+    # Compiles (or partially compiles) the source StyleScript file, returning
+    # the desired JS, tokens, or lint results.
+    def compile_javascript(source)
+      script = File.read(source)
+      return tokens(script) if @options[:tokens]
+      js = compile(script, source)
+      return unless js
+      return puts(js) if @options[:print]
+      return lint(js) if @options[:lint]
+      File.open(path_for(source), 'w+') {|f| f.write(js) }
+    end
+
+    # Spins up a watcher thread to keep track of the modification times of the
+    # source files, recompiling them whenever they're saved.
+    def watch_style_scripts
+      watch_thread = Thread.start do
+        loop do
+          @sources.each do |source|
+            mtime = File.stat(source).mtime
+            @mtimes[source] ||= mtime
+            if mtime > @mtimes[source]
+              @mtimes[source] = mtime
+              compile_javascript(source)
+            end
+          end
+          sleep WATCH_INTERVAL
+        end
+      end
+      Signal.trap("INT") { watch_thread.kill }
+      watch_thread.join
+    end
+
+    # Ensure that all of the source files exist.
+    def check_sources
+      usage if @sources.empty?
+      missing = @sources.detect {|s| !File.exists?(s) }
+      if missing
+        STDERR.puts("File not found: '#{missing}'")
+        exit(1)
+      end
+    end
+
+    # Pipe compiled JS through JSLint (requires a working 'jsl' command).
+    def lint(js)
+      stdin, stdout, stderr = Open3.popen3('jsl -nologo -stdin')
+      stdin.write(js)
+      stdin.close
+      puts stdout.read.tr("\n", '')
+      errs = stderr.read.chomp
+      puts errs unless errs.empty?
+      stdout.close and stderr.close
+    end
+
+    # Eval a little piece of StyleScript directly from the command line.
+    def eval_scriptlet
+      script = STDIN.tty? ? @sources.join(' ') : STDIN.read
+      return tokens(script) if @options[:tokens]
+      js = compile(script)
+      return lint(js) if @options[:lint]
+      puts js
+    end
+
+    # Use Node.js or Narwhal to run an interactive StyleScript session.
+    def launch_repl
+      exec "#{RUNNERS[@options[:runner]]}"
+    rescue Errno::ENOENT
+      puts "Error: #{@options[:runner]} must be installed to use the interactive REPL."
+      exit(1)
+    end
+
+    # Use Node.js or Narwhal to compile and execute StyleScripts.
+    def run_scripts
+      sources = @sources.join(' ')
+      exec "#{RUNNERS[@options[:runner]]} #{sources}"
+    rescue Errno::ENOENT
+      puts "Error: #{@options[:runner]} must be installed in order to execute scripts."
+      exit(1)
+    end
+
+    # Print the tokens that the lexer generates from a source script.
+    def tokens(script)
+      puts Lexer.new.tokenize(script).inspect
+    end
+
+    # Compile a single source file to JavaScript.
+    def compile(script, source='error')
+      begin
+        options = {}
+        options[:no_wrap] = true if @options[:no_wrap]
+        options[:globals] = true if @options[:globals]
+        StyleScript.compile(script, options)
+      rescue StyleScript::ParseError => e
+        STDERR.puts "#{source}: #{e.message}"
+        exit(1) unless @options[:watch]
+        nil
+      end
+    end
+
+    # Write out JavaScript alongside StyleScript unless an output directory
+    # is specified.
+    def path_for(source)
+      filename = File.basename(source, File.extname(source)) + '.js'
+      dir      = @options[:output] || File.dirname(source)
+      File.join(dir, filename)
+    end
+
+    # Install the StyleScript TextMate bundle to ~/Library.
+    def install_bundle
+      bundle_dir = File.expand_path('~/Library/Application Support/TextMate/Bundles/')
+      FileUtils.cp_r("#{ROOT}/extras/StyleScript.tmbundle", bundle_dir)
+    end
+
+    # Use OptionParser for all the options.
+    def parse_options
+      @options = {:runner => :node}
+      @option_parser = OptionParser.new do |opts|
+        opts.on('-i', '--interactive', 'run an interactive StyleScript REPL') do |i|
+          @options[:interactive] = true
+        end
+        opts.on('-r', '--run', 'compile and run a StyleScript') do |r|
+          @options[:run] = true
+        end
+        opts.on('-o', '--output [DIR]', 'set the directory for compiled JavaScript') do |d|
+          @options[:output] = d
+          FileUtils.mkdir_p(d) unless File.exists?(d)
+        end
+        opts.on('-w', '--watch', 'watch scripts for changes, and recompile') do |w|
+          @options[:watch] = true
+        end
+        opts.on('-p', '--print', 'print the compiled JavaScript to stdout') do |d|
+          @options[:print] = true
+        end
+        opts.on('-l', '--lint', 'pipe the compiled JavaScript through JSLint') do |l|
+          @options[:lint] = true
+        end
+        opts.on('-e', '--eval', 'compile a cli scriptlet or read from stdin') do |e|
+          @options[:eval] = true
+        end
+        opts.on('-t', '--tokens', 'print the tokens that the lexer produces') do |t|
+          @options[:tokens] = true
+        end
+        opts.on('-v', '--verbose', 'print at every step of code generation') do |v|
+          ENV['VERBOSE'] = 'true'
+        end
+        opts.on('-n', '--no-wrap', 'raw output, no function safety wrapper') do |n|
+          @options[:no_wrap] = true
+        end
+        opts.on('-g', '--globals', 'attach all top-level variable as globals') do |n|
+          @options[:globals] = true
+        end
+        opts.on_tail('--std', 'use STD instead of Node.js') do |n|
+          @options[:runner] = :std
+        end
+        opts.on_tail('--install-bundle', 'install the StyleScript TextMate bundle') do |i|
+          install_bundle
+          exit
+        end
+        opts.on_tail('--version', 'display StyleScript version') do
+          puts "StyleScript version #{StyleScript::VERSION}"
+          exit
+        end
+        opts.on_tail('-h', '--help', 'display this help message') do
+          usage
+        end
+      end
+      @option_parser.banner = BANNER
+      begin
+        @option_parser.parse!(ARGV)
+      rescue OptionParser::InvalidOption => e
+        puts e.message
+        exit(1)
+      end
+      @sources = ARGV
+    end
+
+  end
+
+end

data/lib/style_script/grammar.y

@@ -0,0 +1,491 @@
+class Parser
+
+# Declare terminal tokens produced by the lexer.
+token IF ELSE UNLESS
+token NUMBER STRING REGEX
+token TRUE FALSE YES NO ON OFF
+token IDENTIFIER PROPERTY_ACCESS PROTOTYPE_ACCESS SOAK_ACCESS
+token CODE PARAM_START PARAM PARAM_END NEW RETURN
+token CALL_START CALL_END INDEX_START INDEX_END
+token TRY CATCH FINALLY THROW
+token BREAK CONTINUE
+token FOR IN OF BY WHEN WHILE UNTIL
+token SWITCH LEADING_WHEN
+token DELETE INSTANCEOF TYPEOF
+token SUPER EXTENDS
+token ASSIGN RETURN
+token NEWLINE
+token COMMENT
+token JS
+token INDENT OUTDENT
+
+# Declare order of operations.
+prechigh
+  left     '?'
+  nonassoc UMINUS UPLUS NOT '!' '!!' '~' '++' '--'
+  left     '*' '/' '%' '.'
+  left     '+' '-'
+  left     '<<' '>>' '>>>' '&' '|' '^'
+  left     '<=' '<' '>' '>='
+  right    '==' '!=' IS ISNT
+  left     '&&' '||' AND OR
+  right    '-=' '+=' '/=' '*=' '%=' '||=' '&&=' '?='
+  right    DELETE INSTANCEOF TYPEOF
+  right    INDENT
+  left     OUTDENT
+  right    WHEN LEADING_WHEN IN OF BY
+  right    THROW FOR NEW SUPER
+  left     EXTENDS
+  right    ASSIGN RETURN
+  right    '->' '=>' UNLESS IF ELSE WHILE UNTIL
+preclow
+
+rule
+
+  # All parsing will end in this rule, being the trunk of the AST.
+  Root:
+    /* nothing */                     { result = Expressions.new }
+  | Terminator                        { result = Expressions.new }
+  | Expressions                       { result = val[0] }
+  | Block Terminator                  { result = val[0] }
+  ;
+
+  # Any list of expressions or method body, seperated by line breaks or semis.
+  Expressions:
+    Expression                        { result = Expressions.wrap(val) }
+  | Expressions Terminator Expression { result = val[0] << val[2] }
+  | Expressions Terminator            { result = val[0] }
+  ;
+
+  # All types of expressions in our language. The basic unit of StyleScript
+  # is the expression.
+  Expression:
+    Value
+  | Call
+  | Code
+  | Operation
+  | Assign
+  | If
+  | Try
+  | Throw
+  | Return
+  | While
+  | Until
+  | For
+  | Switch
+  | Extends
+  | Splat
+  | Existence
+  | Comment
+  ;
+
+  # A block of expressions. Note that the Rewriter will convert some postfix
+  # forms into blocks for us, by altering the token stream.
+  Block:
+    INDENT Expressions OUTDENT        { result = val[1] }
+  | INDENT OUTDENT                    { result = Expressions.new }
+  ;
+
+  # Tokens that can terminate an expression.
+  Terminator:
+    "\n"
+  | ";"
+  ;
+
+  # All hard-coded values. These can be printed straight to JavaScript.
+  Literal:
+    NUMBER                            { result = LiteralNode.new(val[0]) }
+  | STRING                            { result = LiteralNode.new(val[0]) }
+  | JS                                { result = LiteralNode.new(val[0]) }
+  | REGEX                             { result = LiteralNode.new(val[0]) }
+  | BREAK                             { result = LiteralNode.new(val[0]) }
+  | CONTINUE                          { result = LiteralNode.new(val[0]) }
+  | TRUE                              { result = LiteralNode.new(Value.new(true)) }
+  | FALSE                             { result = LiteralNode.new(Value.new(false)) }
+  | YES                               { result = LiteralNode.new(Value.new(true)) }
+  | NO                                { result = LiteralNode.new(Value.new(false)) }
+  | ON                                { result = LiteralNode.new(Value.new(true)) }
+  | OFF                               { result = LiteralNode.new(Value.new(false)) }
+  ;
+
+  # Assignment to a variable (or index).
+  Assign:
+    Value ASSIGN Expression           { result = AssignNode.new(val[0], val[2]) }
+  ;
+
+  # Assignment within an object literal (can be quoted).
+  AssignObj:
+    IDENTIFIER ASSIGN Expression      { result = AssignNode.new(ValueNode.new(val[0]), val[2], :object) }
+  | STRING ASSIGN Expression          { result = AssignNode.new(ValueNode.new(LiteralNode.new(val[0])), val[2], :object) }
+  | NUMBER ASSIGN Expression          { result = AssignNode.new(ValueNode.new(LiteralNode.new(val[0])), val[2], :object) }
+  | Comment                           { result = val[0] }
+  ;
+
+  # A return statement.
+  Return:
+    RETURN Expression                 { result = ReturnNode.new(val[1]) }
+  | RETURN                            { result = ReturnNode.new(ValueNode.new(Value.new('null'))) }
+  ;
+
+  # A comment.
+  Comment:
+    COMMENT                           { result = CommentNode.new(val[0]) }
+  ;
+
+  # Arithmetic and logical operators
+  # For Ruby's Operator precedence, see:
+  # https://www.cs.auckland.ac.nz/references/ruby/ProgrammingRuby/language.html
+  Operation:
+    '!' Expression                    { result = OpNode.new(val[0], val[1]) }
+  | '!!' Expression                   { result = OpNode.new(val[0], val[1]) }
+  | '-' Expression = UMINUS           { result = OpNode.new(val[0], val[1]) }
+  | '+' Expression = UPLUS            { result = OpNode.new(val[0], val[1]) }
+  | NOT Expression                    { result = OpNode.new(val[0], val[1]) }
+  | '~' Expression                    { result = OpNode.new(val[0], val[1]) }
+  | '--' Expression                   { result = OpNode.new(val[0], val[1]) }
+  | '++' Expression                   { result = OpNode.new(val[0], val[1]) }
+  | DELETE Expression                 { result = OpNode.new(val[0], val[1]) }
+  | TYPEOF Expression                 { result = OpNode.new(val[0], val[1]) }
+  | Expression '--'                   { result = OpNode.new(val[1], val[0], nil, true) }
+  | Expression '++'                   { result = OpNode.new(val[1], val[0], nil, true) }
+
+  | Expression '*' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '/' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '%' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+
+  | Expression '+' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '-' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+
+  | Expression '<<' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '>>' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '>>>' Expression       { result = OpNode.new(val[1], val[0], val[2]) }
+
+  | Expression '&' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '|' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '^' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+
+  | Expression '<=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '<' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '>' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '>=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+
+  | Expression '==' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '!=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression IS Expression          { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression ISNT Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+
+  | Expression '&&' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '||' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression AND Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression OR Expression          { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '?' Expression         { result = OpNode.new(val[1], val[0], val[2]) }
+
+  | Expression '-=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '+=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '/=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '*=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '%=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '||=' Expression       { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '&&=' Expression       { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression '?=' Expression        { result = OpNode.new(val[1], val[0], val[2]) }
+
+  | Expression INSTANCEOF Expression  { result = OpNode.new(val[1], val[0], val[2]) }
+  | Expression IN Expression          { result = OpNode.new(val[1], val[0], val[2]) }
+  ;
+
+  # The existence operator.
+  Existence:
+    Expression '?'                    { result = ExistenceNode.new(val[0]) }
+  ;
+
+  # Function definition.
+  Code:
+    PARAM_START ParamList PARAM_END
+      FuncGlyph Block                 { result = CodeNode.new(val[1], val[4], val[3]) }
+  | FuncGlyph Block                   { result = CodeNode.new([], val[1], val[0]) }
+  ;
+
+  # The symbols to signify functions, and bound functions.
+  FuncGlyph:
+    '->'                              { result = :func }
+  | '=>'                              { result = :boundfunc }
+  ;
+
+  # The parameters to a function definition.
+  ParamList:
+    Param                             { result = val }
+  | ParamList "," Param               { result = val[0] << val[2] }
+  ;
+
+  # A Parameter (or ParamSplat) in a function definition.
+  Param:
+    PARAM
+  | PARAM "." "." "."                 { result = SplatNode.new(val[0]) }
+  ;
+
+  # A regular splat.
+  Splat:
+    Expression "." "." "."            { result = SplatNode.new(val[0]) }
+  ;
+
+  # Expressions that can be treated as values.
+  Value:
+    IDENTIFIER                        { result = ValueNode.new(val[0]) }
+  | Literal                           { result = ValueNode.new(val[0]) }
+  | Array                             { result = ValueNode.new(val[0]) }
+  | Object                            { result = ValueNode.new(val[0]) }
+  | Parenthetical                     { result = ValueNode.new(val[0]) }
+  | Range                             { result = ValueNode.new(val[0]) }
+  | This                              { result = ValueNode.new(val[0]) }
+  | Value Accessor                    { result = val[0] << val[1] }
+  | Invocation Accessor               { result = ValueNode.new(val[0], [val[1]]) }
+  ;
+
+  # Accessing into an object or array, through dot or index notation.
+  Accessor:
+    PROPERTY_ACCESS IDENTIFIER        { result = AccessorNode.new(val[1]) }
+  | PROTOTYPE_ACCESS IDENTIFIER       { result = AccessorNode.new(val[1], :prototype) }
+  | SOAK_ACCESS IDENTIFIER            { result = AccessorNode.new(val[1], :soak) }
+  | Index                             { result = val[0] }
+  | Slice                             { result = SliceNode.new(val[0]) }
+  ;
+
+  # Indexing into an object or array.
+  Index:
+    INDEX_START Expression INDEX_END  { result = IndexNode.new(val[1]) }
+  ;
+
+  # An object literal.
+  Object:
+    "{" AssignList "}"                { result = ObjectNode.new(val[1]) }
+  ;
+
+  # Assignment within an object literal (comma or newline separated).
+  AssignList:
+    /* nothing */                     { result = [] }
+  | AssignObj                         { result = val }
+  | AssignList "," AssignObj          { result = val[0] << val[2] }
+  | AssignList Terminator AssignObj   { result = val[0] << val[2] }
+  | AssignList ","
+      Terminator AssignObj            { result = val[0] << val[3] }
+  | INDENT AssignList OUTDENT         { result = val[1] }
+  ;
+
+  # All flavors of function call (instantiation, super, and regular).
+  Call:
+    Invocation                        { result = val[0] }
+  | NEW Invocation                    { result = val[1].new_instance }
+  | Super                             { result = val[0] }
+  ;
+
+  # Extending an object's prototype.
+  Extends:
+    Value EXTENDS Value               { result = ExtendsNode.new(val[0], val[2]) }
+  ;
+
+  # A generic function invocation.
+  Invocation:
+    Value Arguments                   { result = CallNode.new(val[0], val[1]) }
+  | Invocation Arguments              { result = CallNode.new(val[0], val[1]) }
+  ;
+
+  # The list of arguments to a function invocation.
+  Arguments:
+    CALL_START ArgList CALL_END       { result = val[1] }
+  ;
+
+  # Calling super.
+  Super:
+    SUPER CALL_START ArgList CALL_END { result = CallNode.new(Value.new('super'), val[2]) }
+  ;
+
+  # This references, either naked or to a property.
+  This:
+    '@'                               { result = ThisNode.new }
+  | '@' IDENTIFIER                    { result = ThisNode.new(val[1]) }
+  ;
+
+  # The range literal.
+  Range:
+    "[" Expression
+      "." "." Expression "]"          { result = RangeNode.new(val[1], val[4]) }
+  | "[" Expression
+      "." "." "." Expression "]"      { result = RangeNode.new(val[1], val[5], true) }
+  ;
+
+  # The slice literal.
+  Slice:
+    INDEX_START Expression "." "."
+      Expression INDEX_END            { result = RangeNode.new(val[1], val[4]) }
+  | INDEX_START Expression "." "." "."
+      Expression INDEX_END            { result = RangeNode.new(val[1], val[5], true) }
+  ;
+
+  # The array literal.
+  Array:
+    "[" ArgList "]"                   { result = ArrayNode.new(val[1]) }
+  ;
+
+  # A list of arguments to a method call, or as the contents of an array.
+  ArgList:
+    /* nothing */                     { result = [] }
+  | Expression                        { result = val }
+  | INDENT Expression                 { result = [val[1]] }
+  | ArgList "," Expression            { result = val[0] << val[2] }
+  | ArgList Terminator Expression     { result = val[0] << val[2] }
+  | ArgList "," Terminator Expression { result = val[0] << val[3] }
+  | ArgList "," INDENT Expression     { result = val[0] << val[3] }
+  | ArgList OUTDENT                   { result = val[0] }
+  ;
+
+  # Just simple, comma-separated, required arguments (no fancy syntax).
+  SimpleArgs:
+    Expression                        { result = val[0] }
+  | SimpleArgs "," Expression         { result = ([val[0]] << val[2]).flatten }
+  ;
+
+  # Try/catch/finally exception handling blocks.
+  Try:
+    TRY Block Catch                   { result = TryNode.new(val[1], val[2][0], val[2][1]) }
+  | TRY Block FINALLY Block           { result = TryNode.new(val[1], nil, nil, val[3]) }
+  | TRY Block Catch
+      FINALLY Block                   { result = TryNode.new(val[1], val[2][0], val[2][1], val[4]) }
+  ;
+
+  # A catch clause.
+  Catch:
+    CATCH IDENTIFIER Block            { result = [val[1], val[2]] }
+  ;
+
+  # Throw an exception.
+  Throw:
+    THROW Expression                  { result = ThrowNode.new(val[1]) }
+  ;
+
+  # Parenthetical expressions.
+  Parenthetical:
+    "(" Expression ")"                { result = ParentheticalNode.new(val[1], val[0].line) }
+  ;
+
+  # The while loop. (there is no do..while).
+  While:
+    WHILE Expression Block            { result = WhileNode.new(val[1], val[2]) }
+  | WHILE Expression                  { result = WhileNode.new(val[1], nil) }
+  | Expression WHILE Expression       { result = WhileNode.new(val[2], Expressions.wrap(val[0])) }
+  ;
+
+  # The until loop.
+  Until:
+    UNTIL Expression Block            { result = UntilNode.new(val[1], val[2]) }
+  | UNTIL Expression                  { result = UntilNode.new(val[1], nil) }
+  | Expression UNTIL Expression       { result = UntilNode.new(val[2], Expressions.wrap(val[0])) }
+  ;
+
+  # Array comprehensions, including guard and current index.
+  # Looks a little confusing, check nodes.rb for the arguments to ForNode.
+  For:
+    Expression FOR
+      ForVariables ForSource          { result = ForNode.new(val[0], val[3], val[2][0], val[2][1]) }
+  | FOR ForVariables ForSource Block  { result = ForNode.new(val[3], val[2], val[1][0], val[1][1]) }
+  ;
+
+  # An array comprehension has variables for the current element and index.
+  ForVariables:
+    IDENTIFIER                        { result = val }
+  | IDENTIFIER "," IDENTIFIER         { result = [val[0], val[2]] }
+  ;
+
+  # The source of the array comprehension can optionally be filtered.
+  ForSource:
+    IN Expression                     { result = {:source => val[1]} }
+  | OF Expression                     { result = {:source => val[1], :object => true} }
+  | ForSource
+    WHEN Expression                   { result = val[0].merge(:filter => val[2]) }
+  | ForSource
+    BY Expression                     { result = val[0].merge(:step => val[2]) }
+  ;
+
+  # Switch/When blocks.
+  Switch:
+    SWITCH Expression INDENT
+      Whens OUTDENT                   { result = val[3].rewrite_condition(val[1]) }
+  | SWITCH Expression INDENT
+      Whens ELSE Block OUTDENT        { result = val[3].rewrite_condition(val[1]).add_else(val[5]) }
+  ;
+
+  # The inner list of whens.
+  Whens:
+    When                              { result = val[0] }
+  | Whens When                        { result = val[0] << val[1] }
+  ;
+
+  # An individual when.
+  When:
+    LEADING_WHEN SimpleArgs Block     { result = IfNode.new(val[1], val[2], nil, {:statement => true}) }
+  | LEADING_WHEN SimpleArgs Block
+      Terminator                      { result = IfNode.new(val[1], val[2], nil, {:statement => true}) }
+  | Comment Terminator When           { result = val[2].add_comment(val[0]) }
+  ;
+
+  # The most basic form of "if".
+  IfBlock:
+    IF Expression Block               { result = IfNode.new(val[1], val[2]) }
+  ;
+
+  # An elsif portion of an if-else block.
+  ElsIf:
+    ELSE IfBlock                      { result = val[1].force_statement }
+  ;
+
+  # Multiple elsifs can be chained together.
+  ElsIfs:
+    ElsIf                             { result = val[0] }
+  | ElsIfs ElsIf                      { result = val[0].add_else(val[1]) }
+  ;
+
+  # Terminating else bodies are strictly optional.
+  ElseBody
+    /* nothing */                     { result = nil }
+  | ELSE Block                        { result = val[1] }
+  ;
+
+  # All the alternatives for ending an if-else block.
+  IfEnd:
+    ElseBody                          { result = val[0] }
+  | ElsIfs ElseBody                   { result = val[0].add_else(val[1]) }
+  ;
+
+  # The full complement of if blocks, including postfix one-liner ifs and unlesses.
+  If:
+    IfBlock IfEnd                     { result = val[0].add_else(val[1]) }
+  | Expression IF Expression          { result = IfNode.new(val[2], Expressions.wrap(val[0]), nil, {:statement => true}) }
+  | Expression UNLESS Expression      { result = IfNode.new(val[2], Expressions.wrap(val[0]), nil, {:statement => true, :invert => true}) }
+  ;
+
+end
+
+---- header
+module StyleScript
+
+---- inner
+  # Lex and parse a StyleScript.
+  def parse(code)
+    # Uncomment the following line to enable grammar debugging, in combination
+    # with the -g flag in the Rake build task.
+    # @yydebug = true
+    @tokens = Lexer.new.tokenize(code)
+    do_parse
+  end
+
+  # Retrieve the next token from the list.
+  def next_token
+    @tokens.shift
+  end
+
+  # Raise a custom error class that knows about line numbers.
+  def on_error(error_token_id, error_value, value_stack)
+    raise ParseError.new(token_to_str(error_token_id), error_value, value_stack)
+  end
+
+---- footer
+end