====== C2 - tutorial/cecko2.g ======

Jednoduchá gramatika pro výrazy a příkazy používaná v kapitole "Objektově orientované syntaktické stromy".
[[http://gitlab.fjfi.cvut.cz/culikzde/view/-/blob/master/tutorial/cecko2.g|cecko2.g]]

<code C++>
while_stat < TWhileStat: TStat > :
   "while"
   "(" cond:expr ")"
   code:inner_stat ;

if_stat < TIfStat: TStat >  :
   "if"
   "(" cond:expr ")"
   then_code:inner_stat
   (
      <new_line>
      "else"
      else_code:inner_stat
   )?   ;

compound_stat < TCompoundStat: TStat > :
   "{"
    <indent>
    (
       <new_line>
       <add> stat
    )*
   <unindent>
   <new_line>
    "}" ;

simple_stat < TSimpleStat: TStat >:
   subexpr:expr
   ";" ;

empty_stat < TEmptyStat: TStat > :
   ";" ;

stat < select TStat > :
   while_stat | if_stat | compound_stat | simple_stat | empty_stat ;

inner_stat < return TStat > :
   <new_line>
   <indent>
   stat
   <unindent > ;

program < return TStat >:
   stat ;

// < expression TExpr >
< struct TExpr { enum kind; } >
< struct TBinaryExpr : TExpr {  } >

variable_expr <TVariableExpr:TExpr, kind=varExp> :
   name:identifier ;

value_expr <TValueExpr:TExpr, kind=valueExp> :
   value:number ;

subexpr_expr <TSubexprExpr:TExpr, kind=subexprExp> :
   "(" subexpr:expr ")" ;

simple_expr <select TExpr> :
   variable_expr| value_expr  | subexpr_expr ;

multiplicative_expr <choose TExpr>:
  simple_expr
  (
    <new TMulExpr:TBinaryExpr>
    <store left:TExpr>
    ( '*' <set kind=mulExp> |
      '/' <set kind=divExp> |
      '%' <set kind=modExp> )
    right:simple_expr
  )* ;

additive_expr <choose TExpr>:
  multiplicative_expr
  (
    <new TAddExpr:TBinaryExpr>
    <store left:TExpr>
    ( '+' <set kind=addExp> |
      '-' <set kind=subExp> )
    right:multiplicative_expr
  )* ;

relational_expr <choose TExpr>:
  additive_expr
  (
    <new TRelExpr:TBinaryExpr>
    <store left:TExpr>
    ( '<'  <set kind=ltExp> |
      '>'  <set kind=gtExp> |
      "<=" <set kind=leExp> |
      ">=" <set kind=geExp> )
    right:additive_expr
  )* ;

equality_expr <choose TExpr>:
  relational_expr
  (
    <new TEqExpr:TBinaryExpr>
    <store left:TExpr>
    ( "==" <set kind=eqExp> |
      "!=" <set kind=neExp> )
    right:relational_expr
  )* ;

logical_and_expr <choose TExpr>:
  equality_expr
  (
    <new TAndAndExpr:TBinaryExpr>
    <store left:TExpr>
    "&&" <set kind=logAndExp>
    right:equality_expr
  )* ;

logical_or_expr <choose TExpr>:
  logical_and_expr
  (
    <new TOrOrExpr:TBinaryExpr>
    <store left:TExpr>
    "||" <set kind=logOrExp>
    right:logical_and_expr
  )* ;

assignment_expr <choose TExpr>:
  logical_or_expr
  (
    <new TAssignExpr:TBinaryExpr>
    <store left:TExpr>
    ( '='   <set kind=assignExp>    )
    right:assignment_expr
  )? ;

expr <return TExpr> :
   assignment_expr;
</code>


===== Zobrazení syntaktického stromu ===== 

[[http://gitlab.fjfi.cvut.cz/culikzde/view/-/blob/master/tutorial/cecko2_to_lout.py|cecko2_to_lout.py]]

<code Python>
from cecko2_parser import *
from output import Output

class ExampleToLout (Output) :

   def send_while_stat (self, param) :
       self.send ("red @Color @Box while")
       self.send_inner_expr (param.cond)
       self.send_inner_stat (param.code, next = True)

   def send_if_stat (self, param) :
       self.send ("red @Color @Circle if")
       self.send_inner_expr (param.cond)
       self.send_inner_stat (param.then_code, next = True)
       if param.else_code != None :
          self.send_inner_stat (param.else_code, next = True)

   def send_compound_stat (self, param) :
       quote = "\""
       self.send ("red @Color @Circle " + quote + "{}" + quote)
       next = False
       for item in param.items  :
          self.send_inner_stat (item, next)
          next = True

   def send_simple_stat (self, param) :
      self.send_expr (param.subexpr)

   def send_empty_stat (self, param) :
      self.send ("@Circle ;")

   def send_stat (self, param) :
      if isinstance (param, TWhileStat) :
         self.send_while_stat (param)
      elif isinstance (param, TIfStat) :
         self.send_if_stat (param)
      elif isinstance (param, TCompoundStat) :
         self.send_compound_stat (param)
      elif isinstance (param, TSimpleStat) :
         self.send_simple_stat (param)
      elif isinstance (param, TEmptyStat) :
         self.send_empty_stat (param)

   def send_expr (self, param) :
      self.send_expression (param)

   def send_expression (self, param) :
      if param.kind == param.varExp:
         self.send ("{ @Xrgb orange } @Color @CurveBox " + param.name)
      elif param.kind == param.valueExp:
         self.send ("gray @Color @Circle " + param.value)
      elif param.kind == param.subexprExp:
         self.send_expr (param.subexpr)
      elif isinstance (param, TBinaryExpr) :
         mark = ""
         if param.kind == param.mulExp :
            mark = "*"
         if param.kind == param.divExp :
            mark = "/"
         if param.kind == param.modExp :
            mark = "%"
         if param.kind == param.addExp :
            mark = "+"
         if param.kind == param.subExp :
            mark = "-"
         if param.kind == param.ltExp :
            mark = "<"
         if param.kind == param.gtExp :
            mark = ">"
         if param.kind == param.leExp :
            mark = "<="
         if param.kind == param.geExp :
            mark = ">="
         if param.kind == param.eqExp :
            mark = "=="
         if param.kind == param.neExp :
            mark = "!="
         if param.kind == param.logAndExp :
            mark = "&&"
         if param.kind == param.logOrExp :
            mark = "||"
         if param.kind == param.assignExp :
            mark = "="

         if param.kind == param.assignExp :
            self.send ("green @Color")
         else :
            self.send ("blue @Color")

         quote = "\""
         self.send ("@Circle " + quote + mark + quote)
         self.send_inner_expr (param.left)
         self.send_inner_expr (param.right, next = True)

      else :
         quote = "\""
         self.send ("@Circle " + quote + "?" + quote)

   def send_inner_stat (self, param, next = False) :
       self.style_new_line ()
       if next :
          self.send ("@NextSub {")
       else :
          self.send ("@FirstSub {")
       self.style_new_line ()
       self.style_indent ()
       self.send_stat (param)
       self.style_unindent ()
       self.style_new_line ()
       self.send ("}")

   def send_inner_expr (self, param, next = False) :
       self.style_new_line ()
       if next :
          self.send ("@NextSub {")
       else :
          self.send ("@FirstSub {")
       self.style_new_line ()
       self.style_indent ()
       self.send_expr (param)
       self.style_unindent ()
       self.style_new_line ()
       self.send ("}")

   def send_program (self, param) :
       self.putLn ("@SysInclude { diag }")
       self.putLn ("@SysInclude { xrgb }") # colors
       self.putLn ("@SysInclude { doc }")
       self.putLn ("@Doc @Text @Begin")
       self.putLn ("")

       self.putLn ("@Diag {")
       self.style_new_line ()
       self.style_indent ()

       self.putLn ("@Tree {")
       self.style_new_line ()
       self.style_indent ()

       self.send_stat (param)

       self.style_unindent ()
       self.style_new_line ()
       self.putLn ("}")

       self.style_unindent ()
       self.style_new_line ()
       self.putLn ("}")

       self.putLn ("@End @Text")
</code>

=== Vstup ===

<code C++>
{
   n = 10;
   while ( n > 0 )
   {
      if ( sum )
         sum = sum + n;
      else
         sum = sum * n;
      n = n - 1;
   }
}

</code>

=== Výstup ===

Výstup určený pro program **Lout**

<code>
@SysInclude { diag }
@SysInclude { xrgb }
@SysInclude { doc }
@Doc @Text @Begin

@Diag {
   @Tree {
      red @Color @Circle "{}"
      @FirstSub {
         green @Color @Circle "="
         @FirstSub {
            { @Xrgb orange } @Color @CurveBox n
         }
         @NextSub {
            gray @Color @Circle 10
         }
      }
      @NextSub {
         red @Color @Box while

         ...

     }
   }
}
@End @Text
</code>

{{prekl::c2_output.png?800}}

// lout c2_output.out -o c2_output.ps // \\
// gs -sDEVICE=png16m -r300 -o c2_output.png c2_output.ps //