Class: Contracts::Invariant

Inherits:
Struct
  • Object
show all
Defined in:
lib/contracts.rb

Instance Attribute Summary collapse

Instance Attribute Details

#description ⇒ Object

Returns the value of attribute description

Returns:

  • (Object) —

    the current value of description



175
176
177
 
# File 'lib/contracts.rb', line 175

def description
  @description
end

#id ⇒ Object

Returns the value of attribute id

Returns:

  • (Object) —

    the current value of id



175
176
177
 
# File 'lib/contracts.rb', line 175

def id
  @id
end

#inherited_from ⇒ Object

Returns the value of attribute inherited_from

Returns:

  • (Object) —

    the current value of inherited_from



175
176
177
 
# File 'lib/contracts.rb', line 175

def inherited_from
  @inherited_from
end

#options ⇒ Object

Returns the value of attribute options

Returns:

  • (Object) —

    the current value of options



175
176
177
 
# File 'lib/contracts.rb', line 175

def options
  @options
end

#owner ⇒ Object

Returns the value of attribute owner

Returns:

  • (Object) —

    the current value of owner



175
176
177
 
# File 'lib/contracts.rb', line 175

def owner
  @owner
end

#predicate ⇒ Object

Returns the value of attribute predicate

Returns:

  • (Object) —

    the current value of predicate



175
176
177
 
# File 'lib/contracts.rb', line 175

def predicate
  @predicate
end

#source_location ⇒ Object

Returns the value of attribute source_location

Returns:

  • (Object) —

    the current value of source_location



175
176
177
 
# File 'lib/contracts.rb', line 175

def source_location
  @source_location
end