Class: Skeem::SkmIterationSpec

Inherits:
Object
  • Object
show all
Defined in:
lib/skeem/s_expr_nodes.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(anIdentifier, anInitialization, aStep) ⇒ SkmIterationSpec

Returns a new instance of SkmIterationSpec.



333
334
335
336
337
 
# File 'lib/skeem/s_expr_nodes.rb', line 333

def initialize(anIdentifier, anInitialization, aStep)
  @variable = anIdentifier
  @init_expr = anInitialization
  @step_expr = aStep
end

Instance Attribute Details

#init_expr ⇒ Object (readonly)

Returns the value of attribute init_expr.



330
331
332
 
# File 'lib/skeem/s_expr_nodes.rb', line 330

def init_expr
  @init_expr
end

#step_expr ⇒ Object (readonly)

Returns the value of attribute step_expr.



331
332
333
 
# File 'lib/skeem/s_expr_nodes.rb', line 331

def step_expr
  @step_expr
end

#variable ⇒ Object (readonly)

Returns the value of attribute variable.



329
330
331
 
# File 'lib/skeem/s_expr_nodes.rb', line 329

def variable
  @variable
end