#10000=@"/xs-app.json;sourcefile" files(#10000,"/xs-app.json") #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=* json(#20000,5,#10000,0,"{\n "" ... ]\n}") #20001=@"loc,{#10000},1,1,12,1" locations_default(#20001,#10000,1,1,12,1) json_locations(#20000,#20001) #20002=* json(#20002,3,#20000,0,"""index.html""") #20003=@"loc,{#10000},2,20,2,31" locations_default(#20003,#10000,2,20,2,31) json_locations(#20002,#20003) json_literals("index.html","""index.html""",#20002) json_properties(#20000,"welcomeFile",#20002) #20004=* json(#20004,3,#20000,1,"""none""") #20005=@"loc,{#10000},3,29,3,34" locations_default(#20005,#10000,3,29,3,34) json_locations(#20004,#20005) json_literals("none","""none""",#20004) json_properties(#20000,"authenticationMethod",#20004) #20006=* json(#20006,4,#20000,2,"[\n ... }\n ]") #20007=@"loc,{#10000},4,15,11,5" locations_default(#20007,#10000,4,15,11,5) json_locations(#20006,#20007) #20008=* json(#20008,5,#20006,0,"{\n ... }") #20009=@"loc,{#10000},5,9,10,9" locations_default(#20009,#10000,5,9,10,9) json_locations(#20008,#20009) #20010=* json(#20010,3,#20008,0,"""/bad/(.*)""") #20011=@"loc,{#10000},6,23,6,33" locations_default(#20011,#10000,6,23,6,33) json_locations(#20010,#20011) json_literals("/bad/(.*)","""/bad/(.*)""",#20010) json_properties(#20008,"source",#20010) #20012=* json(#20012,3,#20008,1,"""srv_api""") #20013=@"loc,{#10000},7,28,7,36" locations_default(#20013,#10000,7,28,7,36) json_locations(#20012,#20013) json_literals("srv_api","""srv_api""",#20012) json_properties(#20008,"destination",#20012) #20014=* json(#20014,1,#20008,2,"false") #20015=@"loc,{#10000},8,31,8,35" locations_default(#20015,#10000,8,31,8,35) json_locations(#20014,#20015) json_literals("false","false",#20014) json_properties(#20008,"csrfProtection",#20014) #20016=* json(#20016,3,#20008,3,"""none""") #20017=@"loc,{#10000},9,35,9,40" locations_default(#20017,#10000,9,35,9,40) json_locations(#20016,#20017) json_literals("none","""none""",#20016) json_properties(#20008,"authenticationType",#20016) json_properties(#20000,"routes",#20006) numlines(#10000,12,0,0) filetype(#10000,"json")