Class: Contracts::Postcondition

Inherits:
Contract
  • Object
show all
Defined in:
lib/ruby_contracts/postcondition.rb

Direct Known Subclasses

OutputType

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(message, block) ⇒ Postcondition

Returns a new instance of Postcondition.



5
6
7
8
 
# File 'lib/ruby_contracts/postcondition.rb', line 5

def initialize(message, block)
  @message = "invalid postcondition: #{message || 'no message given'}"
  @block = block
end

Instance Attribute Details

#message ⇒ Object (readonly)

Returns the value of attribute message.



3
4
5
 
# File 'lib/ruby_contracts/postcondition.rb', line 3

def message
  @message
end

Instance Method Details

#after? ⇒ Boolean

Returns:

  • (Boolean) 


18
19
20
 
# File 'lib/ruby_contracts/postcondition.rb', line 18

def after?
  true
end

#before? ⇒ Boolean

Returns:

  • (Boolean) 


14
15
16
 
# File 'lib/ruby_contracts/postcondition.rb', line 14

def before?
  false
end

#satisfied?(context, arguments, result = nil) ⇒ Boolean

Returns:

  • (Boolean) 


10
11
12
 
# File 'lib/ruby_contracts/postcondition.rb', line 10

def satisfied?(context, arguments, result=nil)
  context.instance_exec(result, *arguments, &@block)
end