class ADSL::DS::DSForEachIteratorObjset
Public Instance Methods
prepare_action(translation)
click to toggle source
# File lib/adsl/spass/spass_ds_extensions.rb, line 547 def prepare_action(translation); end
resolve_action_objset(translation, ps, o)
click to toggle source
# 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()
click to toggle source
# File lib/adsl/ds/data_store_spec.rb, line 168 def type @for_each.objset.type end
typecheck_and_resolve(context)
click to toggle source
# File lib/adsl/ds/data_store_spec.rb, line 164 def typecheck_and_resolve(context) self end