#10000=@"/tst.xhtml;sourcefile"
files(#10000,"/tst.xhtml")
#10001=@"/;folder"
folders(#10001,"/")
containerparent(#10001,#10000)
#10002=@"loc,{#10000},0,0,0,0"
locations_default(#10002,#10000,0,0,0,0)
hasLocation(#10000,#10002)
#20000=@"global_scope"
scopes(#20000,0)
#20001=*
#20002=@"script;{#10000},7,43"
#20003=*
lines(#20003,#20002,"","
")
#20004=@"loc,{#10000},7,43,7,42"
locations_default(#20004,#10000,7,43,7,42)
hasLocation(#20003,#20004)
#20005=*
lines(#20005,#20002,"              ","
")
#20006=@"loc,{#10000},8,1,8,14"
locations_default(#20006,#10000,8,1,8,14)
hasLocation(#20005,#20006)
#20007=*
lines(#20007,#20002,"    42;","
")
#20008=@"loc,{#10000},9,1,9,7"
locations_default(#20008,#10000,9,1,9,7)
hasLocation(#20007,#20008)
indentation(#10000,9," ",4)
#20009=*
lines(#20009,#20002,"       ","")
#20010=@"loc,{#10000},10,1,10,7"
locations_default(#20010,#10000,10,1,10,7)
hasLocation(#20009,#20010)
numlines(#20002,4,1,0)
#20011=*
tokeninfo(#20011,3,#20002,0,"42")
#20012=@"loc,{#10000},9,5,9,6"
locations_default(#20012,#10000,9,5,9,6)
hasLocation(#20011,#20012)
#20013=*
tokeninfo(#20013,8,#20002,1,";")
#20014=@"loc,{#10000},9,7,9,7"
locations_default(#20014,#10000,9,7,9,7)
hasLocation(#20013,#20014)
#20015=*
tokeninfo(#20015,0,#20002,2,"")
#20016=@"loc,{#10000},10,8,10,7"
locations_default(#20016,#10000,10,8,10,7)
hasLocation(#20015,#20016)
toplevels(#20002,1)
#20017=@"loc,{#10000},7,43,10,7"
locations_default(#20017,#10000,7,43,10,7)
hasLocation(#20002,#20017)
#20018=*
stmts(#20018,2,#20002,0,"42;")
#20019=@"loc,{#10000},9,5,9,7"
locations_default(#20019,#10000,9,5,9,7)
hasLocation(#20018,#20019)
stmt_containers(#20018,#20002)
#20020=*
exprs(#20020,3,#20018,0,"42")
hasLocation(#20020,#20012)
enclosing_stmt(#20020,#20018)
expr_containers(#20020,#20002)
literals("42","42",#20020)
#20021=*
entry_cfg_node(#20021,#20002)
hasLocation(#20021,#20004)
#20022=*
exit_cfg_node(#20022,#20002)
hasLocation(#20022,#20016)
successor(#20018,#20020)
successor(#20020,#20022)
successor(#20021,#20018)
toplevel_parent_xml_node(#20002,#20001)
#20023=*
xmlElements(#20023,"html",#10000,0,#10000)
#20024=@"loc,{#10000},2,1,12,7"
locations_default(#20024,#10000,2,1,12,7)
xmllocations(#20023,#20024)
#20025=*
xmlAttrs(#20025,#20023,"xmlns","http://www.w3.org/1999/xhtml",0,#10000)
#20026=@"loc,{#10000},2,7,2,42"
locations_default(#20026,#10000,2,7,2,42)
xmllocations(#20025,#20026)
#20027=*
xmlAttrs(#20027,#20023,"xml:lang","en",1,#10000)
#20028=@"loc,{#10000},2,44,2,56"
locations_default(#20028,#10000,2,44,2,56)
xmllocations(#20027,#20028)
#20029=*
xmlElements(#20029,"body",#20023,1,#10000)
#20030=@"loc,{#10000},6,1,11,7"
locations_default(#20030,#10000,6,1,11,7)
xmllocations(#20029,#20030)
xmlElements(#20001,"script",#20029,0,#10000)
#20031=@"loc,{#10000},7,5,10,16"
locations_default(#20031,#10000,7,5,10,16)
xmllocations(#20001,#20031)
#20032=*
xmlAttrs(#20032,#20001,"type","application/javascript",0,#10000)
#20033=@"loc,{#10000},7,13,7,41"
locations_default(#20033,#10000,7,13,7,41)
xmllocations(#20032,#20033)
#20034=*
xmlElements(#20034,"head",#20023,0,#10000)
#20035=@"loc,{#10000},3,1,5,7"
locations_default(#20035,#10000,3,1,5,7)
xmllocations(#20034,#20035)
#20036=*
xmlElements(#20036,"title",#20034,0,#10000)
#20037=@"loc,{#10000},4,5,4,31"
locations_default(#20037,#10000,4,5,4,31)
xmllocations(#20036,#20037)
numlines(#10000,12,1,0)
filetype(#10000,"html")