codeql/javascript/extractor/tests/html-text-extraction/output/trap/text-examples.html.trap

#10000=@"/text-examples.html;sourcefile"
files(#10000,"/text-examples.html")
#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=*
xmlChars(#20001,"
",#10000,1,0,#10000)
#20002=@"loc,{#10000},25,8,25,8"
locations_default(#20002,#10000,25,8,25,8)
xmllocations(#20001,#20002)
#20003=*
xmlElements(#20003,"html",#10000,0,#10000)
#20004=@"loc,{#10000},1,1,25,7"
locations_default(#20004,#10000,1,1,25,7)
xmllocations(#20003,#20004)
#20005=*
xmlChars(#20005,"
   ",#20003,0,0,#10000)
#20006=@"loc,{#10000},1,7,2,3"
locations_default(#20006,#10000,1,7,2,3)
xmllocations(#20005,#20006)
#20007=*
xmlChars(#20007,"
   ",#20003,2,0,#10000)
#20008=@"loc,{#10000},4,11,5,3"
locations_default(#20008,#10000,4,11,5,3)
xmllocations(#20007,#20008)
#20009=*
xmlChars(#20009,"
",#20003,4,0,#10000)
#20010=@"loc,{#10000},24,11,24,11"
locations_default(#20010,#10000,24,11,24,11)
xmllocations(#20009,#20010)
#20011=*
xmlElements(#20011,"body",#20003,3,#10000)
#20012=@"loc,{#10000},5,4,24,10"
locations_default(#20012,#10000,5,4,24,10)
xmllocations(#20011,#20012)
#20013=*
xmlChars(#20013,"
      text1
      ",#20011,0,0,#10000)
#20014=@"loc,{#10000},5,10,7,6"
locations_default(#20014,#10000,5,10,7,6)
xmllocations(#20013,#20014)
#20015=*
xmlChars(#20015,"
      text2
      ",#20011,2,0,#10000)
#20016=@"loc,{#10000},7,13,9,6"
locations_default(#20016,#10000,7,13,9,6)
xmllocations(#20015,#20016)
#20017=*
xmlChars(#20017,"
      text3
      ",#20011,4,0,#10000)
#20018=@"loc,{#10000},9,12,11,6"
locations_default(#20018,#10000,9,12,11,6)
xmllocations(#20017,#20018)
#20019=*
xmlChars(#20019,"
      text5
      ",#20011,6,0,#10000)
#20020=@"loc,{#10000},11,23,13,6"
locations_default(#20020,#10000,11,23,13,6)
xmllocations(#20019,#20020)
#20021=*
xmlChars(#20021,"
      text6
      ",#20011,8,0,#10000)
#20022=@"loc,{#10000},13,13,15,6"
locations_default(#20022,#10000,13,13,15,6)
xmllocations(#20021,#20022)
#20023=*
xmlChars(#20023,"
      text8",#20011,10,0,#10000)
#20024=@"loc,{#10000},15,24,16,11"
locations_default(#20024,#10000,15,24,16,11)
xmllocations(#20023,#20024)
#20025=*
xmlChars(#20025,"text10",#20011,12,0,#10000)
#20026=@"loc,{#10000},16,29,16,34"
locations_default(#20026,#10000,16,29,16,34)
xmllocations(#20025,#20026)
#20027=*
xmlChars(#20027,"text13
      ",#20011,15,0,#10000)
#20028=@"loc,{#10000},16,71,17,6"
locations_default(#20028,#10000,16,71,17,6)
xmllocations(#20027,#20028)
#20029=*
xmlChars(#20029,"
      ",#20011,17,0,#10000)
#20030=@"loc,{#10000},17,13,18,6"
locations_default(#20030,#10000,17,13,18,6)
xmllocations(#20029,#20030)
#20031=*
xmlChars(#20031,"
      ",#20011,19,0,#10000)
#20032=@"loc,{#10000},18,13,19,6"
locations_default(#20032,#10000,18,13,19,6)
xmllocations(#20031,#20032)
#20033=*
xmlChars(#20033,"
      ",#20011,20,0,#10000)
#20034=@"loc,{#10000},19,33,20,6"
locations_default(#20034,#10000,19,33,20,6)
xmllocations(#20033,#20034)
#20035=*
xmlChars(#20035,"
      text14
      ",#20011,22,0,#10000)
#20036=@"loc,{#10000},20,13,22,6"
locations_default(#20036,#10000,20,13,22,6)
xmllocations(#20035,#20036)
#20037=*
xmlChars(#20037,"
      ",#20011,24,0,#10000)
#20038=@"loc,{#10000},22,105,23,6"
locations_default(#20038,#10000,22,105,23,6)
xmllocations(#20037,#20038)
#20039=*
xmlChars(#20039,"
   ",#20011,26,0,#10000)
#20040=@"loc,{#10000},23,73,24,3"
locations_default(#20040,#10000,23,73,24,3)
xmllocations(#20039,#20040)
#20041=*
xmlChars(#20041,"non-entity1: & non-entity2: > non-entity3: <",#20011,25,1,#10000)
#20042=@"loc,{#10000},23,16,23,69"
locations_default(#20042,#10000,23,16,23,69)
xmllocations(#20041,#20042)
#20043=*
xmlElements(#20043,"div",#20011,23,#10000)
#20044=@"loc,{#10000},22,7,22,104"
locations_default(#20044,#10000,22,7,22,104)
xmllocations(#20043,#20044)
#20045=*
xmlChars(#20045,"entity1: & entity2: > entity3: < entity4: & entity5: > entity6: <",#20043,0,0,#10000)
#20046=@"loc,{#10000},22,12,22,98"
locations_default(#20046,#10000,22,12,22,98)
xmllocations(#20045,#20046)
#20047=*
xmlElements(#20047,"div",#20011,21,#10000)
#20048=@"loc,{#10000},20,7,20,12"
locations_default(#20048,#10000,20,7,20,12)
xmllocations(#20047,#20048)
#20049=*
xmlComments(#20049,"<!-- This is a comment -->",#20011,#10000)
#20050=@"loc,{#10000},19,7,19,32"
locations_default(#20050,#10000,19,7,19,32)
xmllocations(#20049,#20050)
#20051=*
xmlElements(#20051,"div",#20011,18,#10000)
#20052=@"loc,{#10000},18,7,18,12"
locations_default(#20052,#10000,18,7,18,12)
xmllocations(#20051,#20052)
#20053=*
xmlElements(#20053,"div",#20011,16,#10000)
#20054=@"loc,{#10000},17,7,17,12"
locations_default(#20054,#10000,17,7,17,12)
xmllocations(#20053,#20054)
#20055=*
xmlChars(#20055,"text12",#20011,14,1,#10000)
#20056=@"loc,{#10000},16,62,16,67"
locations_default(#20056,#10000,16,62,16,67)
xmllocations(#20055,#20056)
#20057=*
xmlChars(#20057,"text11",#20011,13,1,#10000)
#20058=@"loc,{#10000},16,44,16,49"
locations_default(#20058,#10000,16,44,16,49)
xmllocations(#20057,#20058)
#20059=*
xmlChars(#20059,"text9",#20011,11,1,#10000)
#20060=@"loc,{#10000},16,21,16,25"
locations_default(#20060,#10000,16,21,16,25)
xmllocations(#20059,#20060)
#20061=*
xmlElements(#20061,"div",#20011,9,#10000)
#20062=@"loc,{#10000},15,7,15,23"
locations_default(#20062,#10000,15,7,15,23)
xmllocations(#20061,#20062)
#20063=*
xmlChars(#20063,"text7",#20061,0,0,#10000)
#20064=@"loc,{#10000},15,13,15,17"
locations_default(#20064,#10000,15,13,15,17)
xmllocations(#20063,#20064)
#20065=*
xmlElements(#20065,"div",#20011,7,#10000)
#20066=@"loc,{#10000},13,7,13,12"
locations_default(#20066,#10000,13,7,13,12)
xmllocations(#20065,#20066)
#20067=*
xmlElements(#20067,"div",#20011,5,#10000)
#20068=@"loc,{#10000},11,7,11,22"
locations_default(#20068,#10000,11,7,11,22)
xmllocations(#20067,#20068)
#20069=*
xmlChars(#20069,"text4",#20067,0,0,#10000)
#20070=@"loc,{#10000},11,12,11,16"
locations_default(#20070,#10000,11,12,11,16)
xmllocations(#20069,#20070)
#20071=*
xmlElements(#20071,"div",#20011,3,#10000)
#20072=@"loc,{#10000},9,7,9,11"
locations_default(#20072,#10000,9,7,9,11)
xmllocations(#20071,#20072)
#20073=*
xmlElements(#20073,"div",#20011,1,#10000)
#20074=@"loc,{#10000},7,7,7,12"
locations_default(#20074,#10000,7,7,7,12)
xmllocations(#20073,#20074)
#20075=*
xmlElements(#20075,"head",#20003,1,#10000)
#20076=@"loc,{#10000},2,4,4,10"
locations_default(#20076,#10000,2,4,4,10)
xmllocations(#20075,#20076)
#20077=*
xmlChars(#20077,"
      ",#20075,0,0,#10000)
#20078=@"loc,{#10000},2,10,3,6"
locations_default(#20078,#10000,2,10,3,6)
xmllocations(#20077,#20078)
#20079=*
xmlChars(#20079,"
   ",#20075,2,0,#10000)
#20080=@"loc,{#10000},3,22,4,3"
locations_default(#20080,#10000,3,22,4,3)
xmllocations(#20079,#20080)
#20081=*
xmlElements(#20081,"title",#20075,1,#10000)
#20082=@"loc,{#10000},3,7,3,21"
locations_default(#20082,#10000,3,7,3,21)
xmllocations(#20081,#20082)
numlines(#10000,25,0,0)
filetype(#10000,"html")