class Bpl::AST::LoopInvariant

Public Instance Methods

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