Class: ADSL::DS::DSForEachIteratorObjset

Inherits:
DSNode show all
Defined in:
lib/adsl/ds/data_store_spec.rb,
lib/adsl/spass/spass_ds_extensions.rb

Instance Method Summary collapse

Methods inherited from DSNode

#list_entity_classes_read, #list_entity_classes_written_to, #replace, #replace_var

Instance Method Details

#prepare_action(translation) ⇒ Object 



547
 
# File 'lib/adsl/spass/spass_ds_extensions.rb', line 547

def prepare_action(translation); end

#resolve_action_objset(translation, ps, o) ⇒ Object 



549
550
551
 
# File 'lib/adsl/spass/spass_ds_extensions.rb', line 549

def resolve_action_objset(translation, ps, o)
  return FOL::Equal.new(o, ps[@for_each.context.level-1])
end

#type ⇒ Object 



168
169
170
 
# File 'lib/adsl/ds/data_store_spec.rb', line 168

def type
  @for_each.objset.type
end

#typecheck_and_resolve(context) ⇒ Object 



164
165
166
 
# File 'lib/adsl/ds/data_store_spec.rb', line 164

def typecheck_and_resolve(context)
  self
end