@@ -247,13 +247,13 @@ module JsonParser<getJsonSig/0 getJson> {
247247 }
248248
249249 private newtype TJsonMemberList =
250- EmtpyMemberList ( ) or
250+ EmptyMemberList ( ) or
251251 ConsMemberList ( JsonMember head , JsonMemberList tail ) {
252252 exists ( JsonToken first , JsonToken last |
253253 mkJsonMember ( first , head , last ) and
254254 if getNextSkippingWhitespace ( last ) instanceof CommaToken
255255 then mkJsonMembers ( getNextSkippingWhitespace ( getNextSkippingWhitespace ( last ) ) , tail , _)
256- else tail = EmtpyMemberList ( )
256+ else tail = EmptyMemberList ( )
257257 )
258258 }
259259
@@ -267,7 +267,7 @@ module JsonParser<getJsonSig/0 getJson> {
267267
268268 class JsonMemberList extends TJsonMemberList {
269269 string toString ( ) {
270- this = EmtpyMemberList ( ) and result = "{}"
270+ this = EmptyMemberList ( ) and result = "{}"
271271 or
272272 exists ( JsonMember head , JsonMemberList tail , string tailStr |
273273 this = ConsMemberList ( head , tail ) and
@@ -317,7 +317,7 @@ module JsonParser<getJsonSig/0 getJson> {
317317 private predicate mkJsonMembers ( JsonToken first , JsonMemberList members , JsonToken last ) {
318318 exists ( JsonMember h , JsonToken memberLast | mkJsonMember ( first , h , memberLast ) |
319319 not getNextSkippingWhitespace ( memberLast ) instanceof CommaToken and
320- members = ConsMemberList ( h , EmtpyMemberList ( ) ) and
320+ members = ConsMemberList ( h , EmptyMemberList ( ) ) and
321321 last = memberLast
322322 )
323323 or
@@ -400,7 +400,7 @@ module JsonParser<getJsonSig/0 getJson> {
400400 )
401401 or
402402 exists ( LeftBracketToken l , RightBracketToken r | getNextSkippingWhitespace ( l ) = r |
403- members = EmtpyMemberList ( ) and source = l
403+ members = EmptyMemberList ( ) and source = l
404404 )
405405 } or
406406 MkJsonArray ( JsonValueList values , JsonToken source ) {
0 commit comments