|
|
|
  Test Case taDOM3/11-taDOM3-18-CO
taDOM3 Lock Requests of executed Operation getFragment(contextNode) returns NodelistThe 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:-]
taDOM3 Lock Requests of checked Operation setValue(contextTextNode, valueString) executed on node COThe setValue operation executed on the context text node CO returns the modified context string node CS which contains the actual node value.
Bahavior specified with base operations:Read and write sets for execution on CO:Read Set = CO , Write Set = CS - LockRequest[node=CO,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on CO
- LockRequest[node=CS,lock:NX,PSE:-,NSE:-,FCE:-,LCE:-] on CO
Operations must be incompatible| Check | Existing LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CO,lock:NR,PSE:-,NSE:-,FCE:-,LCE:-] on CO | Requested lock IR on AC compatible to existing lock IR.
Requested lock IR on PA compatible to existing lock IR.
Requested lock NR on CO compatible to existing lock SR.
| Compatible | | Check | Existing LockRequest[node=CO,lock:SR,PSE:-,NSE:-,FCE:-,LCE:-]
with
Requested LockRequest[node=CS,lock:NX,PSE:-,NSE:-,FCE:-,LCE:-] on CO | Requested lock CX on CO incompatible to existing lock SR.
| Incompatible | | Test Case Ok |
|
