class Bpl::AST::EnsuresClause

Public Instance Methods

show(&blk) click to toggle source
# File lib/bpl/ast/specification.rb, line 32
def show(&blk)
  "#{yield :free if @free} #{yield :ensures} #{show_attrs(&blk)} #{yield @expression};".fmt
end