class ADSL::DS::DSDeleteObj
Attributes
context_deletion_link[RW]
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