Class: ADSL::DS::DSDeleteObj

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

Instance Attribute Summary collapse

Instance Method Summary collapse

Methods inherited from DSNode

#list_entity_classes_read, #list_entity_classes_written_to, #replace, #replace_var

Instance Attribute Details

Returns the value of attribute context_deletion_link.



281
282
283
 
# File 'lib/adsl/spass/spass_ds_extensions.rb', line 281

def context_deletion_link
  @context_deletion_link
end

Instance Method Details

#entity_class_writes ⇒ Object 



134
135
136
 
# File 'lib/adsl/ds/data_store_spec.rb', line 134

def entity_class_writes
  Set[@objset.type]
end

#migrate_state_spass(translation) ⇒ Object 



287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
 
# File 'lib/adsl/spass/spass_ds_extensions.rb', line 287

def migrate_state_spass(translation)
  state = translation.create_state "post_delete_#{@objset.type.name}"
  prev_state = translation.prev_state
  context = translation.context
  
  translation.reserve_names context.p_names, :o do |ps, o|
    translation.create_formula _for_all(ps, o,
      _if_then_else_eq(_and(@objset.resolve_action_objset(translation, ps, o), prev_state[ps, o]),
        _and(prev_state[ps, o], _not(state[ps, o])),
        _equiv(prev_state[ps, o], state[ps, o])
      )
    )
  end

  translation.prev_state = state
end

#prepare(translation) ⇒ Object 



283
284
285
 
# File 'lib/adsl/spass/spass_ds_extensions.rb', line 283

def prepare(translation)
  @objset.prepare_action translation
end