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