Lehrgebiet Informationssysteme

FB Informatik

LG IS

AG DBIS

(C) AG DBIS

Test Case taDOM2+/11-taDOM2+-8-PS

taDOM2+ Lock Requests of executed Operation getFragment(contextNode) returns Nodelist

The getFragmentNodes operation returns a node list with all descendant nodes of the context node CO.

Behavior specified with base operations:

readCO
readCS
readFC
readCH
readLC
readDC
readCA
readAS
readAX
readXS
useCOFCE
useCOLCE
useFCPSE
useFCNSE
useFCFCE
useFCLCE
useCHPSE
useCHNSE
useCHFCE
useCHLCE
useLCPSE
useLCNSE
useLCFCE
useLCLCE
useDCPSE
useDCNSE
useDCFCE
useDCLCE

Read Set = CO CS FC CH LC DC CA AS AX XS COFCE COLCE FCPSE FCNSE FCFCE FCLCE CHPSE CHNSE CHFCE CHLCE LCPSE LCNSE LCFCE LCLCE DCPSE DCNSE DCFCE DCLCE , Write Set =

LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-]
LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-]

taDOM2+ Lock Requests of checked Operation getLastChild(contextElementNode) executed on node PS

The getLastChild operation returns the last child LC of the context node CO.

Bahavior specified with base operations:

readCO
useCOLCE
readLC
useLCNSE

Read and write sets for execution on PS:

Read Set = PS , Write Set =

LockRequest[node=CO,lock:NR,PSE:-,NSE:-,FCE:-,LCE:ER] on PS
LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PS
LockRequest[node=LC,lock:NR,PSE:-,NSE:ER,FCE:-,LCE:-] on PS
LockRequest[node=LN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PS

Operations must be compatible

Check	Existing LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-] with Requested LockRequest[node=CO,lock:NR,PSE:-,NSE:-,FCE:-,LCE:ER] on PS	Requested lock IR on AC compatible to existing lock IR. Requested lock IR on PA compatible to existing lock IR.	Compatible
Check	Existing LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-] with Requested LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PS	Requested lock IR on AC compatible to existing lock IR. Requested lock IR on PA compatible to existing lock IR.	Compatible
Check	Existing LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-] with Requested LockRequest[node=LC,lock:NR,PSE:-,NSE:ER,FCE:-,LCE:-] on PS	Requested lock IR on AC compatible to existing lock IR. Requested lock IR on PA compatible to existing lock IR.	Compatible
Check	Existing LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-] with Requested LockRequest[node=LN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PS	Requested lock IR on AC compatible to existing lock IR. Requested lock IR on PA compatible to existing lock IR.	Compatible
Check	Existing LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] with Requested LockRequest[node=CO,lock:NR,PSE:-,NSE:-,FCE:-,LCE:ER] on PS	Requested lock IR on AC compatible to existing lock IR. Requested lock IR on PA compatible to existing lock IR.	Compatible
Check	Existing LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] with Requested LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PS	Requested lock IR on AC compatible to existing lock IR. Requested lock IR on PA compatible to existing lock IR.	Compatible
Check	Existing LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] with Requested LockRequest[node=LC,lock:NR,PSE:-,NSE:ER,FCE:-,LCE:-] on PS	Requested lock IR on AC compatible to existing lock IR. Requested lock IR on PA compatible to existing lock IR.	Compatible
Check	Existing LockRequest[node=CN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] with Requested LockRequest[node=LN,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on PS	Requested lock IR on AC compatible to existing lock IR. Requested lock IR on PA compatible to existing lock IR.	Compatible
Test Case Ok