Formula detail
Annotation location
public static void cz.cuni.mff.spl.casestudy.annotations.MeasuredAnnotations3.satisfyFinalDOMBuilder()
Formula image
afterFinalDOM[gdomgenerator] = afterNamespaceDOM[gdomgenerator]& afterFinalDOM[gdomgenerator] = betweenFinalDOM[gdomgenerator]& betweenFinalDOM[gdomgenerator] = beforeFinalDOM[gdomgenerator]& beforeFinalDOM[gdomgenerator] = afterNamespaceDOM[gdomgenerator]
Following alias declarations were declared globally or in
annotation of this formula.
Note that declarations with errors are not available
for usage in
formula as those were not parsed successfully.
Global generators
-
elements=cz.cuni.mff.spl.casestudy.generators.ParseFileGenerator('2')
-
characters=cz.cuni.mff.spl.casestudy.generators.ParseFileGenerator('1')
-
attributes=cz.cuni.mff.spl.casestudy.generators.ParseFileGenerator('0')
-
xmlread=cz.cuni.mff.spl.casestudy.generators.XMLReadFileGenerator()
-
domgenerator=cz.cuni.mff.spl.casestudy.generators.DOMgenerator()
-
gdomgenerator=generators@current:cz.cuni.mff.spl.casestudy.generators.DOMgenerator
-
gxmlread=generators@current:cz.cuni.mff.spl.casestudy.generators.XMLReadFileGenerator()
-
gcharacters=generators@current:cz.cuni.mff.spl.casestudy.generators.ParseFileGenerator('1')
-
gattributes=generators@current:cz.cuni.mff.spl.casestudy.generators.ParseFileGenerator('0')
-
gelements=generators@current:cz.cuni.mff.spl.casestudy.generators.ParseFileGenerator('2')
Local methods
-
afterNamespaceDOM = jdom_init@afterNamespace:org.jdom.input.DOMBuilder()#build(org.w3c.dom.Document domDocument)
-
beforeFinalDOM = jdom_init@beforeFinal:org.jdom.input.DOMBuilder()#build(org.w3c.dom.Document domDocument)
-
betweenFinalDOM = jdom_init@betweenFinal:org.jdom.input.DOMBuilder()#build(org.w3c.dom.Document domDocument)
-
afterFinalDOM = jdom_init@afterFinal:org.jdom.input.DOMBuilder()#build(org.w3c.dom.Document domDocument)
-
SELF=THIS@HEAD:cz.cuni.mff.spl.casestudy.annotations.MeasuredAnnotations3#satisfyFinalDOMBuilder()
Formula fragments evaluation summary
![]() |
![]() |
![]() |
![]() |
|
---|---|---|---|---|
Logical operations | 0 | 1 | 0 | 1 |
Comparisons | 2 | 2 | 0 | 4 |
Results of formula fragments
-
AND
-
= ( x , x , +- 5 % )
-
jdom_init @ afterFinal : DOMBuilder#build [ generators @ current : DOMgenerator ] ()
-
jdom_init @ afterNamespace : DOMBuilder#build [ generators @ current : DOMgenerator ] ()
-
= ( x , x , +- 5 % )
-
jdom_init @ afterFinal : DOMBuilder#build [ generators @ current : DOMgenerator ] ()
-
jdom_init @ betweenFinal : DOMBuilder#build [ generators @ current : DOMgenerator ] ()
-
= ( x , x , +- 5 % )
-
jdom_init @ betweenFinal : DOMBuilder#build [ generators @ current : DOMgenerator ] ()
-
jdom_init @ beforeFinal : DOMBuilder#build [ generators @ current : DOMgenerator ] ()
-
= ( x , x , +- 5 % )