Formula detail
Annotation location
public static void cz.cuni.mff.spl.casestudy.annotations.MeasuredAnnotations2.failFilterListSAXBuilder()
Formula image
afterSetAttributeSAX[gxmlread] <= beforeFilterListSAX[gxmlread]& afterFilterListSAX[gxmlread] < beforeFilterListSAX[gxmlread]
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
-
afterSetAttributeSAX = jdom_init@afterSetAttribute:org.jdom.input.SAXBuilder()#build(java.io.InputStream)
-
beforeFilterListSAX = jdom_init@beforeFilterList:org.jdom.input.SAXBuilder()#build(java.io.InputStream)
-
afterFilterListSAX = jdom_init@afterFilterList:org.jdom.input.SAXBuilder()#build(java.io.InputStream)
-
SELF=THIS@HEAD:cz.cuni.mff.spl.casestudy.annotations.MeasuredAnnotations2#failFilterListSAXBuilder()
Formula fragments evaluation summary
![]() |
![]() |
![]() |
![]() |
|
---|---|---|---|---|
Logical operations | 0 | 1 | 0 | 1 |
Comparisons | 1 | 1 | 0 | 2 |