Class Aquarium::InvarCondExample
In: examples/design_by_contract_example_spec.rb
Parent: Object

Methods

bad_action   good_action   new  

Attributes

invar  [R] 

Public Class methods

[Source]

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

Public Instance methods

[Source]

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

[Source]

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

[Validate]