Class: Contracts::Precondition

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

Direct Known Subclasses

InputType

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(message, block) ⇒ Precondition

Returns a new instance of Precondition.



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

def initialize(message, block)
  @message = "invalid precondition: #{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/precondition.rb', line 3

def message
  @message
end

Instance Method Details

#after? ⇒ Boolean

Returns:

  • (Boolean) 


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

def after?
  false
end

#before? ⇒ Boolean

Returns:

  • (Boolean) 


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

def before?
  true
end

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

Returns:

  • (Boolean) 


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

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