class ADSL::DS::DSDeleteObj

Attributes

Public Instance Methods

entity_class_writes() click to toggle source
# File lib/adsl/ds/data_store_spec.rb, line 134
def entity_class_writes
  Set[@objset.type]
end
migrate_state_spass(translation) click to toggle source
# 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) click to toggle source
# File lib/adsl/spass/spass_ds_extensions.rb, line 283
def prepare(translation)
  @objset.prepare_action translation
end