#10000=@"/tst.xhtml;sourcefile"
files(#10000,"/tst.xhtml","tst","xhtml",0)
#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=@"script;{#10000},7,43"
#20002=*
lines(#20002,#20001,"","
")
#20003=@"loc,{#10000},7,43,7,42"
locations_default(#20003,#10000,7,43,7,42)
hasLocation(#20002,#20003)
#20004=*
lines(#20004,#20001,"              ","
")
#20005=@"loc,{#10000},8,1,8,14"
locations_default(#20005,#10000,8,1,8,14)
hasLocation(#20004,#20005)
#20006=*
lines(#20006,#20001,"    42;","
")
#20007=@"loc,{#10000},9,1,9,7"
locations_default(#20007,#10000,9,1,9,7)
hasLocation(#20006,#20007)
indentation(#10000,9," ",4)
#20008=*
lines(#20008,#20001,"       ","")
#20009=@"loc,{#10000},10,1,10,7"
locations_default(#20009,#10000,10,1,10,7)
hasLocation(#20008,#20009)
numlines(#20001,4,1,0)
#20010=*
tokeninfo(#20010,3,#20001,0,"42")
#20011=@"loc,{#10000},9,5,9,6"
locations_default(#20011,#10000,9,5,9,6)
hasLocation(#20010,#20011)
#20012=*
tokeninfo(#20012,8,#20001,1,";")
#20013=@"loc,{#10000},9,7,9,7"
locations_default(#20013,#10000,9,7,9,7)
hasLocation(#20012,#20013)
#20014=*
tokeninfo(#20014,0,#20001,2,"")
#20015=@"loc,{#10000},10,8,10,7"
locations_default(#20015,#10000,10,8,10,7)
hasLocation(#20014,#20015)
toplevels(#20001,1)
#20016=@"loc,{#10000},7,43,10,7"
locations_default(#20016,#10000,7,43,10,7)
hasLocation(#20001,#20016)
#20017=*
stmts(#20017,2,#20001,0,"42;")
#20018=@"loc,{#10000},9,5,9,7"
locations_default(#20018,#10000,9,5,9,7)
hasLocation(#20017,#20018)
stmt_containers(#20017,#20001)
#20019=*
exprs(#20019,3,#20017,0,"42")
hasLocation(#20019,#20011)
enclosing_stmt(#20019,#20017)
expr_containers(#20019,#20001)
literals("42","42",#20019)
#20020=*
entry_cfg_node(#20020,#20001)
hasLocation(#20020,#20003)
#20021=*
exit_cfg_node(#20021,#20001)
hasLocation(#20021,#20015)
successor(#20017,#20019)
successor(#20019,#20021)
successor(#20020,#20017)
#20022=*
toplevel_parent_xml_node(#20001,#20022)
#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(#20022,"script",#20029,0,#10000)
#20031=@"loc,{#10000},7,5,10,16"
locations_default(#20031,#10000,7,5,10,16)
xmllocations(#20022,#20031)
#20032=*
xmlAttrs(#20032,#20022,"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")