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