Class: Contracts::Contract

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

Direct Known Subclasses

Postcondition, Precondition

Instance Method Summary collapse

Instance Method Details

#after? ⇒ Boolean

Returns:

  • (Boolean) 


15
16
17
 
# File 'lib/ruby_contracts/contract.rb', line 15

def after?
  raise "Contract.after? must be implemented in subclasses."
end

#before? ⇒ Boolean

Returns:

  • (Boolean) 


11
12
13
 
# File 'lib/ruby_contracts/contract.rb', line 11

def before?
  raise "Contract.before? must be implemented in subclasses."
end

#message ⇒ Object 



7
8
9
 
# File 'lib/ruby_contracts/contract.rb', line 7

def message
  raise "Contract.message must be implemented in subclasses."
end

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

Returns:

  • (Boolean) 


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

def satisfied?(context, arguments, result=nil)
  raise "Contract.satisfied? must be implemented in subclasses."
end