class Bpl::AST::WhileStatement

Public Instance Methods

declarations() click to toggle source
# File lib/bpl/ast/statement.rb, line 102
def declarations; @blocks end
show() { |b| ... } click to toggle source
# File lib/bpl/ast/statement.rb, line 105
def show
  body = Printing.braces(@blocks.map{|b| yield b} * "\n")
  invs = @invariants.map{|a| yield a} * "\n"
  invs = "\n" + invs + "\n" unless invs.empty?
  "#{yield :while} (#{yield @condition})#{invs} #{body}"
end