Class Aquarium::PostCond
In: examples/design_by_contract_example.rb
Parent: Object

Methods

action  

Public Instance methods

[Source]

    # File examples/design_by_contract_example.rb, line 35
35:     def action *args
36:       args.empty? ? args.dup : args + [:a]
37:     end

[Validate]