Class: Contracts::OutputType
- Inherits:
-
Postcondition
- Object
- Contract
- Postcondition
- Contracts::OutputType
- Defined in:
- lib/ruby_contracts/output_type.rb
Instance Method Summary collapse
-
#initialize(expected_class) ⇒ OutputType
constructor
A new instance of OutputType.
- #message ⇒ Object
- #satisfied?(context, arguments, result = nil) ⇒ Boolean
Methods inherited from Postcondition
Methods inherited from Contract
Constructor Details
#initialize(expected_class) ⇒ OutputType
Returns a new instance of OutputType.
3 4 5 |
# File 'lib/ruby_contracts/output_type.rb', line 3 def initialize(expected_class) @expected_class = expected_class end |
Instance Method Details
#message ⇒ Object
7 8 9 |
# File 'lib/ruby_contracts/output_type.rb', line 7 def "the result must be an kind of #{@expected_class}" end |
#satisfied?(context, arguments, result = nil) ⇒ Boolean
11 12 13 |
# File 'lib/ruby_contracts/output_type.rb', line 11 def satisfied?(context, arguments, result=nil) result.kind_of? @expected_class end |