#10000=@"/predicate-function-annotation.js;sourcefile"
files(#10000,"/predicate-function-annotation.js")
#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},1,1"
#20002=*
lines(#20002,#20001,"function f(a): boolean %checks {","
")
#20003=@"loc,{#10000},1,1,1,32"
locations_default(#20003,#10000,1,1,1,32)
hasLocation(#20002,#20003)
#20004=*
lines(#20004,#20001,"    return a;","
")
#20005=@"loc,{#10000},2,1,2,13"
locations_default(#20005,#10000,2,1,2,13)
hasLocation(#20004,#20005)
indentation(#10000,2," ",4)
#20006=*
lines(#20006,#20001,"}","
")
#20007=@"loc,{#10000},3,1,3,1"
locations_default(#20007,#10000,3,1,3,1)
hasLocation(#20006,#20007)
#20008=*
lines(#20008,#20001,"function g(): %checks {} {","
")
#20009=@"loc,{#10000},4,1,4,26"
locations_default(#20009,#10000,4,1,4,26)
hasLocation(#20008,#20009)
#20010=*
lines(#20010,#20001,"    return b;","
")
#20011=@"loc,{#10000},5,1,5,13"
locations_default(#20011,#10000,5,1,5,13)
hasLocation(#20010,#20011)
indentation(#10000,5," ",4)
#20012=*
lines(#20012,#20001,"}","
")
#20013=@"loc,{#10000},6,1,6,1"
locations_default(#20013,#10000,6,1,6,1)
hasLocation(#20012,#20013)
#20014=*
lines(#20014,#20001,"","
")
#20015=@"loc,{#10000},7,1,7,0"
locations_default(#20015,#10000,7,1,7,0)
hasLocation(#20014,#20015)
#20016=*
lines(#20016,#20001,"(c): boolean %checks => c;","
")
#20017=@"loc,{#10000},8,1,8,26"
locations_default(#20017,#10000,8,1,8,26)
hasLocation(#20016,#20017)
#20018=*
lines(#20018,#20001,"(d): %checks => d;","
")
#20019=@"loc,{#10000},9,1,9,18"
locations_default(#20019,#10000,9,1,9,18)
hasLocation(#20018,#20019)
numlines(#20001,9,8,0)
#20020=*
tokeninfo(#20020,7,#20001,0,"function")
#20021=@"loc,{#10000},1,1,1,8"
locations_default(#20021,#10000,1,1,1,8)
hasLocation(#20020,#20021)
#20022=*
tokeninfo(#20022,6,#20001,1,"f")
#20023=@"loc,{#10000},1,10,1,10"
locations_default(#20023,#10000,1,10,1,10)
hasLocation(#20022,#20023)
#20024=*
tokeninfo(#20024,8,#20001,2,"(")
#20025=@"loc,{#10000},1,11,1,11"
locations_default(#20025,#10000,1,11,1,11)
hasLocation(#20024,#20025)
#20026=*
tokeninfo(#20026,6,#20001,3,"a")
#20027=@"loc,{#10000},1,12,1,12"
locations_default(#20027,#10000,1,12,1,12)
hasLocation(#20026,#20027)
#20028=*
tokeninfo(#20028,8,#20001,4,")")
#20029=@"loc,{#10000},1,13,1,13"
locations_default(#20029,#10000,1,13,1,13)
hasLocation(#20028,#20029)
#20030=*
tokeninfo(#20030,8,#20001,5,":")
#20031=@"loc,{#10000},1,14,1,14"
locations_default(#20031,#10000,1,14,1,14)
hasLocation(#20030,#20031)
#20032=*
tokeninfo(#20032,6,#20001,6,"boolean")
#20033=@"loc,{#10000},1,16,1,22"
locations_default(#20033,#10000,1,16,1,22)
hasLocation(#20032,#20033)
#20034=*
tokeninfo(#20034,8,#20001,7,"%")
#20035=@"loc,{#10000},1,24,1,24"
locations_default(#20035,#10000,1,24,1,24)
hasLocation(#20034,#20035)
#20036=*
tokeninfo(#20036,6,#20001,8,"checks")
#20037=@"loc,{#10000},1,25,1,30"
locations_default(#20037,#10000,1,25,1,30)
hasLocation(#20036,#20037)
#20038=*
tokeninfo(#20038,8,#20001,9,"{")
#20039=@"loc,{#10000},1,32,1,32"
locations_default(#20039,#10000,1,32,1,32)
hasLocation(#20038,#20039)
#20040=*
tokeninfo(#20040,7,#20001,10,"return")
#20041=@"loc,{#10000},2,5,2,10"
locations_default(#20041,#10000,2,5,2,10)
hasLocation(#20040,#20041)
#20042=*
tokeninfo(#20042,6,#20001,11,"a")
#20043=@"loc,{#10000},2,12,2,12"
locations_default(#20043,#10000,2,12,2,12)
hasLocation(#20042,#20043)
#20044=*
tokeninfo(#20044,8,#20001,12,";")
#20045=@"loc,{#10000},2,13,2,13"
locations_default(#20045,#10000,2,13,2,13)
hasLocation(#20044,#20045)
#20046=*
tokeninfo(#20046,8,#20001,13,"}")
hasLocation(#20046,#20007)
#20047=*
tokeninfo(#20047,7,#20001,14,"function")
#20048=@"loc,{#10000},4,1,4,8"
locations_default(#20048,#10000,4,1,4,8)
hasLocation(#20047,#20048)
#20049=*
tokeninfo(#20049,6,#20001,15,"g")
#20050=@"loc,{#10000},4,10,4,10"
locations_default(#20050,#10000,4,10,4,10)
hasLocation(#20049,#20050)
#20051=*
tokeninfo(#20051,8,#20001,16,"(")
#20052=@"loc,{#10000},4,11,4,11"
locations_default(#20052,#10000,4,11,4,11)
hasLocation(#20051,#20052)
#20053=*
tokeninfo(#20053,8,#20001,17,")")
#20054=@"loc,{#10000},4,12,4,12"
locations_default(#20054,#10000,4,12,4,12)
hasLocation(#20053,#20054)
#20055=*
tokeninfo(#20055,8,#20001,18,":")
#20056=@"loc,{#10000},4,13,4,13"
locations_default(#20056,#10000,4,13,4,13)
hasLocation(#20055,#20056)
#20057=*
tokeninfo(#20057,8,#20001,19,"%")
#20058=@"loc,{#10000},4,15,4,15"
locations_default(#20058,#10000,4,15,4,15)
hasLocation(#20057,#20058)
#20059=*
tokeninfo(#20059,6,#20001,20,"checks")
#20060=@"loc,{#10000},4,16,4,21"
locations_default(#20060,#10000,4,16,4,21)
hasLocation(#20059,#20060)
#20061=*
tokeninfo(#20061,8,#20001,21,"{")
#20062=@"loc,{#10000},4,23,4,23"
locations_default(#20062,#10000,4,23,4,23)
hasLocation(#20061,#20062)
#20063=*
tokeninfo(#20063,8,#20001,22,"}")
#20064=@"loc,{#10000},4,24,4,24"
locations_default(#20064,#10000,4,24,4,24)
hasLocation(#20063,#20064)
#20065=*
tokeninfo(#20065,8,#20001,23,"{")
#20066=@"loc,{#10000},4,26,4,26"
locations_default(#20066,#10000,4,26,4,26)
hasLocation(#20065,#20066)
#20067=*
tokeninfo(#20067,7,#20001,24,"return")
#20068=@"loc,{#10000},5,5,5,10"
locations_default(#20068,#10000,5,5,5,10)
hasLocation(#20067,#20068)
#20069=*
tokeninfo(#20069,6,#20001,25,"b")
#20070=@"loc,{#10000},5,12,5,12"
locations_default(#20070,#10000,5,12,5,12)
hasLocation(#20069,#20070)
#20071=*
tokeninfo(#20071,8,#20001,26,";")
#20072=@"loc,{#10000},5,13,5,13"
locations_default(#20072,#10000,5,13,5,13)
hasLocation(#20071,#20072)
#20073=*
tokeninfo(#20073,8,#20001,27,"}")
hasLocation(#20073,#20013)
#20074=*
tokeninfo(#20074,8,#20001,28,"(")
#20075=@"loc,{#10000},8,1,8,1"
locations_default(#20075,#10000,8,1,8,1)
hasLocation(#20074,#20075)
#20076=*
tokeninfo(#20076,6,#20001,29,"c")
#20077=@"loc,{#10000},8,2,8,2"
locations_default(#20077,#10000,8,2,8,2)
hasLocation(#20076,#20077)
#20078=*
tokeninfo(#20078,8,#20001,30,")")
#20079=@"loc,{#10000},8,3,8,3"
locations_default(#20079,#10000,8,3,8,3)
hasLocation(#20078,#20079)
#20080=*
tokeninfo(#20080,8,#20001,31,":")
#20081=@"loc,{#10000},8,4,8,4"
locations_default(#20081,#10000,8,4,8,4)
hasLocation(#20080,#20081)
#20082=*
tokeninfo(#20082,6,#20001,32,"boolean")
#20083=@"loc,{#10000},8,6,8,12"
locations_default(#20083,#10000,8,6,8,12)
hasLocation(#20082,#20083)
#20084=*
tokeninfo(#20084,8,#20001,33,"%")
#20085=@"loc,{#10000},8,14,8,14"
locations_default(#20085,#10000,8,14,8,14)
hasLocation(#20084,#20085)
#20086=*
tokeninfo(#20086,6,#20001,34,"checks")
#20087=@"loc,{#10000},8,15,8,20"
locations_default(#20087,#10000,8,15,8,20)
hasLocation(#20086,#20087)
#20088=*
tokeninfo(#20088,8,#20001,35,"=>")
#20089=@"loc,{#10000},8,22,8,23"
locations_default(#20089,#10000,8,22,8,23)
hasLocation(#20088,#20089)
#20090=*
tokeninfo(#20090,6,#20001,36,"c")
#20091=@"loc,{#10000},8,25,8,25"
locations_default(#20091,#10000,8,25,8,25)
hasLocation(#20090,#20091)
#20092=*
tokeninfo(#20092,8,#20001,37,";")
#20093=@"loc,{#10000},8,26,8,26"
locations_default(#20093,#10000,8,26,8,26)
hasLocation(#20092,#20093)
#20094=*
tokeninfo(#20094,8,#20001,38,"(")
#20095=@"loc,{#10000},9,1,9,1"
locations_default(#20095,#10000,9,1,9,1)
hasLocation(#20094,#20095)
#20096=*
tokeninfo(#20096,6,#20001,39,"d")
#20097=@"loc,{#10000},9,2,9,2"
locations_default(#20097,#10000,9,2,9,2)
hasLocation(#20096,#20097)
#20098=*
tokeninfo(#20098,8,#20001,40,")")
#20099=@"loc,{#10000},9,3,9,3"
locations_default(#20099,#10000,9,3,9,3)
hasLocation(#20098,#20099)
#20100=*
tokeninfo(#20100,8,#20001,41,":")
#20101=@"loc,{#10000},9,4,9,4"
locations_default(#20101,#10000,9,4,9,4)
hasLocation(#20100,#20101)
#20102=*
tokeninfo(#20102,8,#20001,42,"%")
#20103=@"loc,{#10000},9,6,9,6"
locations_default(#20103,#10000,9,6,9,6)
hasLocation(#20102,#20103)
#20104=*
tokeninfo(#20104,6,#20001,43,"checks")
#20105=@"loc,{#10000},9,7,9,12"
locations_default(#20105,#10000,9,7,9,12)
hasLocation(#20104,#20105)
#20106=*
tokeninfo(#20106,8,#20001,44,"=>")
#20107=@"loc,{#10000},9,14,9,15"
locations_default(#20107,#10000,9,14,9,15)
hasLocation(#20106,#20107)
#20108=*
tokeninfo(#20108,6,#20001,45,"d")
#20109=@"loc,{#10000},9,17,9,17"
locations_default(#20109,#10000,9,17,9,17)
hasLocation(#20108,#20109)
#20110=*
tokeninfo(#20110,8,#20001,46,";")
#20111=@"loc,{#10000},9,18,9,18"
locations_default(#20111,#10000,9,18,9,18)
hasLocation(#20110,#20111)
#20112=*
tokeninfo(#20112,0,#20001,47,"")
#20113=@"loc,{#10000},10,1,10,0"
locations_default(#20113,#10000,10,1,10,0)
hasLocation(#20112,#20113)
toplevels(#20001,0)
#20114=@"loc,{#10000},1,1,10,0"
locations_default(#20114,#10000,1,1,10,0)
hasLocation(#20001,#20114)
#20115=@"var;{f};{#20000}"
variables(#20115,"f",#20000)
#20116=@"var;{g};{#20000}"
variables(#20116,"g",#20000)
#20117=*
stmts(#20117,17,#20001,0,"functio ... rn a;\n}")
#20118=@"loc,{#10000},1,1,3,1"
locations_default(#20118,#10000,1,1,3,1)
hasLocation(#20117,#20118)
stmt_containers(#20117,#20001)
#20119=*
exprs(#20119,78,#20117,-1,"f")
hasLocation(#20119,#20023)
expr_containers(#20119,#20117)
literals("f","f",#20119)
decl(#20119,#20115)
#20120=*
scopes(#20120,1)
scopenodes(#20117,#20120)
scopenesting(#20120,#20000)
#20121=@"var;{a};{#20120}"
variables(#20121,"a",#20120)
#20122=*
exprs(#20122,78,#20117,0,"a")
hasLocation(#20122,#20027)
expr_containers(#20122,#20117)
literals("a","a",#20122)
decl(#20122,#20121)
#20123=@"var;{arguments};{#20120}"
variables(#20123,"arguments",#20120)
is_arguments_object(#20123)
#20124=*
stmts(#20124,1,#20117,-2,"{\n    return a;\n}")
#20125=@"loc,{#10000},1,32,3,1"
locations_default(#20125,#10000,1,32,3,1)
hasLocation(#20124,#20125)
stmt_containers(#20124,#20117)
#20126=*
stmts(#20126,9,#20124,0,"return a;")
#20127=@"loc,{#10000},2,5,2,13"
locations_default(#20127,#10000,2,5,2,13)
hasLocation(#20126,#20127)
stmt_containers(#20126,#20117)
#20128=*
exprs(#20128,79,#20126,0,"a")
hasLocation(#20128,#20043)
enclosing_stmt(#20128,#20126)
expr_containers(#20128,#20117)
literals("a","a",#20128)
bind(#20128,#20121)
#20129=*
stmts(#20129,17,#20001,1,"functio ... ecks {}")
#20130=@"loc,{#10000},4,1,4,24"
locations_default(#20130,#10000,4,1,4,24)
hasLocation(#20129,#20130)
stmt_containers(#20129,#20001)
#20131=*
exprs(#20131,78,#20129,-1,"g")
hasLocation(#20131,#20050)
expr_containers(#20131,#20129)
literals("g","g",#20131)
decl(#20131,#20116)
#20132=*
scopes(#20132,1)
scopenodes(#20129,#20132)
scopenesting(#20132,#20000)
#20133=@"var;{arguments};{#20132}"
variables(#20133,"arguments",#20132)
is_arguments_object(#20133)
#20134=*
stmts(#20134,1,#20129,-2,"{}")
#20135=@"loc,{#10000},4,23,4,24"
locations_default(#20135,#10000,4,23,4,24)
hasLocation(#20134,#20135)
stmt_containers(#20134,#20129)
#20136=*
stmts(#20136,1,#20001,2,"{\n    return b;\n}")
#20137=@"loc,{#10000},4,26,6,1"
locations_default(#20137,#10000,4,26,6,1)
hasLocation(#20136,#20137)
stmt_containers(#20136,#20001)
#20138=*
stmts(#20138,9,#20136,0,"return b;")
#20139=@"loc,{#10000},5,5,5,13"
locations_default(#20139,#10000,5,5,5,13)
hasLocation(#20138,#20139)
stmt_containers(#20138,#20001)
#20140=*
exprs(#20140,79,#20138,0,"b")
hasLocation(#20140,#20070)
enclosing_stmt(#20140,#20138)
expr_containers(#20140,#20001)
literals("b","b",#20140)
#20141=@"var;{b};{#20000}"
variables(#20141,"b",#20000)
bind(#20140,#20141)
#20142=*
stmts(#20142,2,#20001,3,"(c): bo ... s => c;")
hasLocation(#20142,#20017)
stmt_containers(#20142,#20001)
#20143=*
exprs(#20143,65,#20142,0,"(c): bo ... ks => c")
#20144=@"loc,{#10000},8,1,8,25"
locations_default(#20144,#10000,8,1,8,25)
hasLocation(#20143,#20144)
enclosing_stmt(#20143,#20142)
expr_containers(#20143,#20001)
#20145=*
scopes(#20145,1)
scopenodes(#20143,#20145)
scopenesting(#20145,#20000)
#20146=@"var;{c};{#20145}"
variables(#20146,"c",#20145)
#20147=*
exprs(#20147,78,#20143,0,"c")
hasLocation(#20147,#20077)
expr_containers(#20147,#20143)
literals("c","c",#20147)
decl(#20147,#20146)
#20148=*
exprs(#20148,79,#20143,-2,"c")
hasLocation(#20148,#20091)
expr_containers(#20148,#20143)
literals("c","c",#20148)
bind(#20148,#20146)
#20149=*
stmts(#20149,2,#20001,4,"(d): %checks => d;")
hasLocation(#20149,#20019)
stmt_containers(#20149,#20001)
#20150=*
exprs(#20150,65,#20149,0,"(d): %checks => d")
#20151=@"loc,{#10000},9,1,9,17"
locations_default(#20151,#10000,9,1,9,17)
hasLocation(#20150,#20151)
enclosing_stmt(#20150,#20149)
expr_containers(#20150,#20001)
#20152=*
scopes(#20152,1)
scopenodes(#20150,#20152)
scopenesting(#20152,#20000)
#20153=@"var;{d};{#20152}"
variables(#20153,"d",#20152)
#20154=*
exprs(#20154,78,#20150,0,"d")
hasLocation(#20154,#20097)
expr_containers(#20154,#20150)
literals("d","d",#20154)
decl(#20154,#20153)
#20155=*
exprs(#20155,79,#20150,-2,"d")
hasLocation(#20155,#20109)
expr_containers(#20155,#20150)
literals("d","d",#20155)
bind(#20155,#20153)
#20156=*
entry_cfg_node(#20156,#20001)
#20157=@"loc,{#10000},1,1,1,0"
locations_default(#20157,#10000,1,1,1,0)
hasLocation(#20156,#20157)
#20158=*
exit_cfg_node(#20158,#20001)
hasLocation(#20158,#20113)
successor(#20149,#20150)
successor(#20150,#20158)
#20159=*
entry_cfg_node(#20159,#20150)
#20160=@"loc,{#10000},9,1,9,0"
locations_default(#20160,#10000,9,1,9,0)
hasLocation(#20159,#20160)
#20161=*
exit_cfg_node(#20161,#20150)
#20162=@"loc,{#10000},9,18,9,17"
locations_default(#20162,#10000,9,18,9,17)
hasLocation(#20161,#20162)
successor(#20155,#20161)
successor(#20154,#20155)
successor(#20159,#20154)
successor(#20142,#20143)
successor(#20143,#20149)
#20163=*
entry_cfg_node(#20163,#20143)
#20164=@"loc,{#10000},8,1,8,0"
locations_default(#20164,#10000,8,1,8,0)
hasLocation(#20163,#20164)
#20165=*
exit_cfg_node(#20165,#20143)
#20166=@"loc,{#10000},8,26,8,25"
locations_default(#20166,#10000,8,26,8,25)
hasLocation(#20165,#20166)
successor(#20148,#20165)
successor(#20147,#20148)
successor(#20163,#20147)
successor(#20136,#20140)
successor(#20140,#20138)
successor(#20138,#20158)
successor(#20129,#20136)
#20167=*
entry_cfg_node(#20167,#20129)
#20168=@"loc,{#10000},4,1,4,0"
locations_default(#20168,#10000,4,1,4,0)
hasLocation(#20167,#20168)
#20169=*
exit_cfg_node(#20169,#20129)
#20170=@"loc,{#10000},4,25,4,24"
locations_default(#20170,#10000,4,25,4,24)
hasLocation(#20169,#20170)
successor(#20134,#20169)
successor(#20167,#20134)
successor(#20117,#20129)
#20171=*
entry_cfg_node(#20171,#20117)
hasLocation(#20171,#20157)
#20172=*
exit_cfg_node(#20172,#20117)
#20173=@"loc,{#10000},3,2,3,1"
locations_default(#20173,#10000,3,2,3,1)
hasLocation(#20172,#20173)
successor(#20124,#20128)
successor(#20128,#20126)
successor(#20126,#20172)
successor(#20122,#20124)
successor(#20171,#20122)
successor(#20131,#20117)
successor(#20119,#20131)
successor(#20156,#20119)
numlines(#10000,9,8,0)
filetype(#10000,"javascript")