class Aquarium::InvarCondExample

   # File examples/design_by_contract_example_spec.rb
64 def initialize 
65   @invar = 0
66 end

   # File examples/design_by_contract_example_spec.rb
70 def bad_action
71   @invar = 1
72 end

   # File examples/design_by_contract_example_spec.rb
68 def good_action
69 end