Class: OCL::Range

Inherits:
Object
  • Object
show all
Defined in:
lib/dbc/ocl.rb

Overview

Label

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(first, last, exclude_end) ⇒ Range

Returns a new instance of Range.



50
51
52
53
54
 
# File 'lib/dbc/ocl.rb', line 50

def initialize(first, last, exclude_end)
	@first = first
	@last = last
	@exclude_end = (exclude_end == true)
end

Instance Attribute Details

#first ⇒ Object (readonly)

Returns the value of attribute first.



66
67
68
 
# File 'lib/dbc/ocl.rb', line 66

def first
  @first
end

#last ⇒ Object (readonly)

Returns the value of attribute last.



66
67
68
 
# File 'lib/dbc/ocl.rb', line 66

def last
  @last
end

Instance Method Details

#exclude_end? ⇒ Boolean

Returns:

  • (Boolean) 


55
56
57
 
# File 'lib/dbc/ocl.rb', line 55

def exclude_end?
	@exclude_end
end

#test_expression(expression) ⇒ Object 



58
59
60
61
62
63
64
65
 
# File 'lib/dbc/ocl.rb', line 58

def test_expression(expression)
	if @exclude_end
		s = '<'
	else
		s = '<='
	end 
	"(((#{@first}) <= (#{expression})) && ((#{expression}) #{s} (#{@last})))"
end