crokus 0.0.2

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 4e16a6b8011982817b059498e6c02e6ad1e93026952740a3d914401c3d0993e2
+  data.tar.gz: 7a08542bec75264d72199ba649b751f2291a4a678475a5841bef89c4d3b30207
+SHA512:
+  metadata.gz: 401661cdb8f7b4838a460e44f4fc27718acc2fc19e15bde18fd3614258e49e004242f81a2d36719f0c6f461ed39357cc5ad2f5b76224c3142ea0a358d4f9b3c1
+  data.tar.gz: 967ed9eae447a63067c655ca266ba07ecdb4f6ac85549c8e59fe5bccb58a3c5e55e8341bbaa76906282f19e73d0c75365ba75a4c61ac0dd878822d82a076aa0d

data/bin/crokus

@@ -0,0 +1,5 @@
+#!/usr/bin/env ruby
+
+require_relative '../lib/crokus'
+
+Crokus::Runner.run(*ARGV)

data/lib/crokus.rb

@@ -0,0 +1,4 @@
+module Crokus
+  require_relative 'crokus/version'
+  require_relative 'crokus/runner'
+end

data/lib/crokus/ast.rb

@@ -0,0 +1,431 @@
+module Crokus
+
+  class Ast
+    def accept(visitor, arg=nil)
+      name = self.class.name.split(/::/)[1]
+      visitor.send("visit#{name}".to_sym, self ,arg) # Metaprograming !
+    end
+
+    def str
+      ppr=PrettyPrinter.new
+      self.accept(ppr)
+    end
+  end
+
+  #......... AST nodes ..........
+  class DesignUnit < Ast
+    attr_accessor :list
+    def initialize list=[]
+      @list=list
+    end
+
+    def <<(e)
+      list << e
+      list.flatten!
+    end
+  end
+
+  class Ident < Ast
+    attr_accessor :tok
+    def initialize tok
+      @tok=tok
+    end
+
+    def to_s
+      @tok.val
+    end
+  end
+
+  class Include < Ast
+    attr_accessor :name
+    attr_accessor :env
+    def initialize name,env=nil #local or system
+      @name=name
+      @env=env
+    end
+  end
+
+  class Define < Ast
+    attr_accessor :name,:expr
+    def initialize n,e
+      @name,@expr=n,e
+    end
+  end
+
+  #........ types ...........
+  class Type < Ast
+    attr_accessor :name,:precisions
+    def initialize name
+      @precisions=[]
+      @name=name
+    end
+  end
+
+  class Struct < Type
+    attr_accessor :decls
+    def initialize name=nil,decls=[]
+      super(name)
+      @decls=decls
+    end
+  end
+
+  class PointerTo < Type
+    attr_accessor :type
+    def initialize t
+      @type=t
+    end
+
+    def name
+      "#{type.name} *"
+    end
+  end
+
+  class ArrayOf < Type
+    attr_accessor :size
+    def initialize t,size=nil
+      super(t)
+      @size=size
+    end
+
+    alias :type :name
+  end
+
+  class Casting < Type
+    attr_accessor :type,:modifier
+    def initialize type,modifier
+      @type,@modifier=type,modifier
+    end
+  end
+
+  class CastedExpr < Type
+    attr_accessor :type,:expr
+    def initialize type,expr
+      @type,@expr=type,expr
+    end
+  end
+
+  class Sizeof < Ast
+    attr_accessor :type
+    def initialize t
+      @type=t
+    end
+  end
+  #..............end of types.................
+
+  class Decl < Ast
+    attr_accessor :var,:type,:init
+    def initialize type,var,init=nil
+      @var,@type,@init=var,type,init
+    end
+  end
+
+  class Typedef < Ast
+    attr_accessor :type,:name
+    def initialize type,name
+      @type,@name=type,name
+    end
+  end
+
+  class Function < Ast
+    attr_accessor :name,:type,:args,:body
+    attr_accessor :cfg
+    def initialize name,ret_type,args=[],body=nil
+      @name,@type=name,ret_type
+      @args=args
+      @body=body if body
+    end
+  end
+
+  class FunctionProto < Ast
+    attr_accessor :name,:type,:args
+    def initialize name,ret_type,args=[]
+      @name,@type=name,ret_type
+      @args=args
+    end
+  end
+
+  class FunCall < Ast
+    attr_accessor :name,:args
+    def initialize name,args=[]
+      @name,@args=name,args
+    end
+  end
+
+  class FormalArg < Ast
+    attr_accessor :name,:type
+    def initialize t,n
+      @name,@type=n,t
+    end
+  end
+
+  #......................................
+
+  class Body < Ast
+    attr_accessor :stmts
+    def initialize stmts=[]
+      @stmts=stmts
+    end
+
+    def <<(e)
+      @stmts << e
+      @stmts.flatten!
+    end
+
+    def each(&block)
+      @stmts.each(&block)
+    end
+
+    def collect(&block)
+      @stmts.collect(&block)
+    end
+  end
+
+  class Stmt < Ast
+  end
+
+  class LabeledStmt < Stmt
+    attr_accessor :label,:stmt
+    def initialize label,stmt
+      @label,@stmt=label,stmt
+    end
+  end
+
+  class SemicolonStmt < Stmt
+    attr_accessor :tok
+    def initialize tok
+      @tok=tok
+    end
+  end
+
+  class CommaStmt < Stmt
+    attr_accessor :lhs,:rhs
+    def initialize lhs,rhs
+      @lhs,@rhs=lhs,rhs
+    end
+
+    def to_list
+      list=[]
+      list << to_list_rec(@lhs)
+      list << to_list_rec(@rhs)
+      list.flatten
+    end
+
+    def to_list_rec e
+      ret=[]
+      if e.is_a? CommaStmt
+        ret << e.to_list
+      else
+        ret << e
+      end
+      ret
+    end
+  end
+
+  class Assign < Stmt
+    attr_accessor :lhs,:op,:rhs
+    def initialize lhs,op,rhs
+      @lhs,@op,@rhs=lhs,op,rhs
+    end
+  end
+
+  class PostFixAccu < Assign
+    def initialize lhs,tok
+      super(lhs,tok,nil)
+    end
+
+    def unfix
+      lhs
+    end
+  end
+
+  class PreFixAccu < Assign
+    def initialize tok,lhs
+      super(lhs,tok,nil)
+    end
+
+    def unfix
+      lhs
+    end
+  end
+
+  class CtrlStmt < Stmt
+  end
+
+  class For < CtrlStmt
+    attr_accessor :init,:cond,:increment,:body
+    def initialize init=[],cond=nil,increment=nil,body=nil
+      @init,@cond,@increment,@body=init,cond,increment,body
+    end
+  end
+
+  class While < CtrlStmt
+    attr_accessor :cond,:body
+    def initialize cond,body
+      @cond,@body=cond,body
+    end
+  end
+
+  class DoWhile < CtrlStmt
+    attr_accessor :cond,:body
+    def initialize cond,body=nil
+      @cond,@body=cond,body
+    end
+  end
+
+  class If < CtrlStmt
+    attr_accessor :cond,:body,:else
+    def initialize cond,body,else_=nil
+      @cond,@body,@else=cond,body,else_
+    end
+  end
+
+  class Else < CtrlStmt
+    attr_accessor :body
+    def initialize body=[]
+      @body=body
+    end
+  end
+
+  class Switch < CtrlStmt
+    attr_accessor :expr,:cases,:default
+    def initialize expr,cases=[],default=nil
+      @expr,@cases=expr,cases
+      @default=nil
+    end
+  end
+
+  class Case < CtrlStmt
+    attr_accessor :expr,:body
+    def initialize e,body
+      @expr,@body=e,body
+    end
+  end
+
+
+  class Return < CtrlStmt
+    attr_accessor :expr
+    def initialize e
+      @expr=e
+    end
+  end
+
+  class Break < CtrlStmt
+  end
+
+  class Continue < CtrlStmt
+  end
+
+  class Goto < CtrlStmt
+    attr_accessor :label
+    def initialize label
+      @label=label
+    end
+  end
+
+  class LabelledStmt < Stmt
+    attr_accessor :stmt
+    def initialize stmt
+      @stmt=stmt
+    end
+  end
+
+  #.................... expressions...................
+  class Expr < Ast#decorative
+  end
+
+  class CondExpr < Ast
+    attr_accessor :cond,:lhs,:rhs
+    def initialize cond,lhs,rhs
+      @cond,@lhs,@rhs = cond,lhs,rhs
+    end
+  end
+
+  class Binary < Expr
+    attr_accessor :op,:lhs,:rhs
+    def initialize lhs,op,rhs
+      @lhs,@op,@rhs = lhs,op,rhs
+    end
+  end
+
+  class Unary < Expr
+    attr_accessor :op,:rhs,:postfix
+    def initialize op,rhs,postfix=nil
+      @op,@rhs=op,rhs
+      @postfix=postfix
+    end
+  end
+
+  class Deref < Expr
+    attr_accessor :expr
+    def initialize e
+      @expr = e
+    end
+  end
+
+  class AddressOf < Expr# &
+    attr_accessor :expr
+    def initialize expr
+      @expr=expr
+    end
+  end
+
+  class Indexed < Expr
+    attr_accessor :lhs,:rhs
+    def initialize l,r
+      @lhs,@rhs=l,r
+    end
+  end
+
+  class Dotted< Expr
+    attr_accessor :lhs,:rhs
+    def initialize l,r
+      @lhs,@rhs=l,r
+    end
+  end
+
+  class Parenth < Expr
+    attr_accessor :expr
+    def initialize e
+      @expr=e
+    end
+  end
+
+  class Arrow < Expr
+    attr_accessor :lhs,:rhs
+    def initialize l,r
+      @lhs,@rhs=l,r
+    end
+  end
+
+  class ArrayOrStructInit < Expr
+    attr_accessor :elements
+    def initialize elements=[]
+      @elements=elements
+    end
+  end
+
+  # literals
+  class Literal < Ast
+    attr_accessor :tok
+    def initialize tok
+      @tok=tok
+    end
+
+    def to_s
+      @tok.val
+    end
+  end
+
+  class IntLit < Literal
+  end
+
+  class FloatLit < Literal
+  end
+
+  class StrLit < Literal
+  end
+
+  class CharLit < Literal
+  end
+
+end #module