UniKL Logo

Lehrgebiet Informationssysteme

FB Informatik
FB Informatik
 
LG IS
AG DBIS
AG HIS
Jobs / Tasks
Courses
Publications
Contact
Misc
Impressum
(C) AG DBIS
  

Test Case taDOM2+/29-taDOM2+-10-PA

taDOM2+ Lock Requests of executed Operation insertAfter(contextNode, siblingType, siblingValue) returns Node

The insertAfter operation is executed on the context element node CO and inserts a new next sibling node after the context node CO. There already exists a next sibling and the inserted new sibling node is returned.

Behavior specified with base operations:

  • readCO
  • modifyCONSE
  • modifyNSPSE
Read Set = CO , Write Set = CONSE NSPSE
  • LockRequest[node=CO,lock:NR,PSE:-,NSE:EX,FCE:-,LCE:-]
  • LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-]
  • LockRequest[node=NS,lock:-,PSE:EX,NSE:-,FCE:-,LCE:-]
  • LockRequest[node=PA,lock:CX,PSE:-,NSE:-,FCE:-,LCE:-]

taDOM2+ Lock Requests of checked Operation getChildNodes(contextElementNode) executed on node PA

The getChildNodes operation returns a node list with all child nodes of the context node CO.

Bahavior specified with base operations:

  • readCO
  • readFC
  • readCH
  • readLC
  • useCOFCE
  • useCOLCE
  • useFCPSE
  • useFCNSE
  • useCHPSE
  • useCHNSE
  • useLCPSE
  • useLCNSE

Read and write sets for execution on PA:

Read Set = PA PS CO NS PAFCE PALCE COPSE LCPSE CONSE FCNSE , Write Set =
  • LockRequest[node=CO,lock:LR,PSE:-,NSE:-,FCE:-,LCE:-] on PA
  • LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PA

Operations must be incompatible

CheckExisting LockRequest[node=CO,lock:NR,PSE:-,NSE:EX,FCE:-,LCE:-]
with
Requested LockRequest[node=CO,lock:LR,PSE:-,NSE:-,FCE:-,LCE:-] on PA		Requested lock IR on AC compatible to existing lock IR.
Requested lock LR on PA compatible to existing lock IR.
Compatible
CheckExisting LockRequest[node=CO,lock:NR,PSE:-,NSE:EX,FCE:-,LCE:-]
with
Requested LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PA		Requested lock IR on AC compatible to existing lock IR.
Requested lock IR on PA compatible to existing lock IR.
Compatible
CheckExisting LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CO,lock:LR,PSE:-,NSE:-,FCE:-,LCE:-] on PA		Requested lock IR on AC compatible to existing lock IR.
Requested lock LR on PA compatible to existing lock IR.
Compatible
CheckExisting LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PA		Requested lock IR on AC compatible to existing lock IR.
Requested lock IR on PA compatible to existing lock IR.
Compatible
CheckExisting LockRequest[node=NS,lock:-,PSE:EX,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CO,lock:LR,PSE:-,NSE:-,FCE:-,LCE:-] on PA		Compatible
CheckExisting LockRequest[node=NS,lock:-,PSE:EX,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PA		Compatible
CheckExisting LockRequest[node=PA,lock:CX,PSE:-,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CO,lock:LR,PSE:-,NSE:-,FCE:-,LCE:-] on PA		Requested lock LR on PA incompatible to existing lock CX.
Incompatible
CheckExisting LockRequest[node=PA,lock:CX,PSE:-,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PA		Requested lock IR on AC compatible to existing lock IX.
Requested lock IR on PA compatible to existing lock CX.
Compatible
Test Case Ok