semantifold 0.12.0 → 0.14.0

package/build/src/frontends/php.d.ts

@@ -3,6 +3,14 @@ export type PhpConversionContext = {
      * - Explicitly typed visible bindings.
      */
     bindings: Map<string, import("../semantic/types.js").SemanticBindingType>;
+    /**
+     * - Lexically visible exact catch binding names.
+     */
+    catchBindingNames?: Set<string>;
+    /**
+     * - Exact catch binding nodes by visible name.
+     */
+    catchBindingNodes?: Map<string, import("../semantic/types.js").CatchBinding>;
     /**
      * - Reference classes by identity.
      */
@@ -11,6 +19,10 @@ export type PhpConversionContext = {
      * - Enclosing reference class.
      */
     currentClass?: import("../semantic/types.js").ClassDeclaration;
+    /**
+     * - Interface declarations by identity.
+     */
+    interfaces: Map<string, import("../semantic/types.js").InterfaceDeclaration>;
     /**
      * - Error declarations by source name.
      */
@@ -30,7 +42,7 @@ export type PhpConversionContext = {
     /**
      * - Nominal declarations by source name.
      */
-    recordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration>;
+    recordNames: Map<string, import("../semantic/types.js").RecordDeclaration | import("../semantic/types.js").ClassDeclaration | import("../semantic/types.js").EffectResourceDeclaration | import("../semantic/types.js").InterfaceDeclaration>;
     /**
      * - Record declarations by identity.
      */

package/build/src/frontends/php.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"php.d.ts","sourceRoot":"","sources":["../../../src/frontends/php.js"],"names":[],"mappings":"AAuCG,YAAS,oBAAoB,GAC7B;;;;IAA4E,QAAQ,EAAzE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAC1E;;;;IAAyE,OAAO,EAArE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAA6D,YAAY,AAAzE,CACA,EADW,OAAO,sBAAsB,EAAE,gBAAgB,CAC1D;;;;IAAyE,UAAU,EAAxE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAAyE,MAAM,EAApE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAA8C,SAAS,EAA5C,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAC5C;;;;IAAyB,sBAAsB,AAA/C,CACA,EADW,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAAuL,WAAW,EAAvL,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,OAAO,sBAAsB,EAAE,gBAAgB,GAAG,OAAO,sBAAsB,EAAE,yBAAyB,CAAC,CACrL;;;;IAA0E,OAAO,EAAtE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CACxE;;;;IAAkF,UAAU,EAAjF,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,SAAS,CAChF;;;;IAAuE,cAAc,AAArF,CACF,EADa,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,aAAa,CAAC,CACtE;CAAA,CAAA;AAGE,YAAS,oBAAoB,GAC7B;;;;IAA0D,QAAQ,EAAvD,OAAO,sBAAsB,EAAE,cAAc,CACxD;;;;IAA0D,YAAY,EAA3D,OAAO,sBAAsB,EAAE,cAAc,CACxD;;;;IAAmB,IAAI,EAAZ,MAAM,CACjB;;;;IAAuD,UAAU,EAAtD,OAAO,sBAAsB,EAAE,SAAS,EAAE,CACrD;;;;IAAsE,UAAU,EAArE,OAAO,sBAAsB,EAAE,0BAA0B,CACpE;;;;IAA4D,cAAc,AAA1E,CACF,EADa,OAAO,sBAAsB,EAAE,aAAa,EAAE,CAC3D;CAAA,CAAA;AA+1DD;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,EAAC,YAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAC,EANpF;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;IAAsF,YAAY,AAAlG,CACA,EADQ,SAAS,OAAO,sBAAsB,EAAE,2BAA2B,EAAE,CAC7E;IAA8P,OAAO,AAArQ,CACA,EADQ;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;QAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAA;KAAC,CACrP;CAEoF,GAF1E,OAAO,sBAAsB,EAAE,cAAc,CA2HzD;AAsCD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAJhD;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;CAEgD,GAFtC;IAAC,QAAQ,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,uBAAuB,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,IAAI,CAAC;QAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAC,CA0E1lB"}
+{"version":3,"file":"php.d.ts","sourceRoot":"","sources":["../../../src/frontends/php.js"],"names":[],"mappings":"AAuCG,YAAS,oBAAoB,GAC7B;;;;IAA4E,QAAQ,EAAzE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAC1E;;;;IAAyB,iBAAiB,AAA1C,CACA,EADW,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAAsE,iBAAiB,AAAvF,CACA,EADW,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,YAAY,CAAC,CACnE;;;;IAAyE,OAAO,EAArE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAA6D,YAAY,AAAzE,CACA,EADW,OAAO,sBAAsB,EAAE,gBAAgB,CAC1D;;;;IAA6E,UAAU,EAA5E,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,oBAAoB,CAAC,CAC3E;;;;IAAyE,UAAU,EAAxE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAAyE,MAAM,EAApE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CACvE;;;;IAA8C,SAAS,EAA5C,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAC5C;;;;IAAyB,sBAAsB,AAA/C,CACA,EADW,GAAG,CAAC,MAAM,CAAC,CACtB;;;;IAA6O,WAAW,EAA7O,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,GAAG,OAAO,sBAAsB,EAAE,gBAAgB,GAAG,OAAO,sBAAsB,EAAE,yBAAyB,GAAG,OAAO,sBAAsB,EAAE,oBAAoB,CAAC,CAC3O;;;;IAA0E,OAAO,EAAtE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CACxE;;;;IAAkF,UAAU,EAAjF,OAAO,sBAAsB,EAAE,0BAA0B,GAAG,SAAS,CAChF;;;;IAAuE,cAAc,AAArF,CACF,EADa,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,aAAa,CAAC,CACtE;CAAA,CAAA;AAGE,YAAS,oBAAoB,GAC7B;;;;IAA0D,QAAQ,EAAvD,OAAO,sBAAsB,EAAE,cAAc,CACxD;;;;IAA0D,YAAY,EAA3D,OAAO,sBAAsB,EAAE,cAAc,CACxD;;;;IAAmB,IAAI,EAAZ,MAAM,CACjB;;;;IAAuD,UAAU,EAAtD,OAAO,sBAAsB,EAAE,SAAS,EAAE,CACrD;;;;IAAsE,UAAU,EAArE,OAAO,sBAAsB,EAAE,0BAA0B,CACpE;;;;IAA4D,cAAc,AAA1E,CACF,EADa,OAAO,sBAAsB,EAAE,aAAa,EAAE,CAC3D;CAAA,CAAA;AAygED;;;;;;;;GAQG;AACH,wBAAgB,QAAQ,CAAC,EAAC,YAAiB,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,cAAc,EAAC,EANpF;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;IAAsF,YAAY,AAAlG,CACA,EADQ,SAAS,OAAO,sBAAsB,EAAE,2BAA2B,EAAE,CAC7E;IAA8P,OAAO,AAArQ,CACA,EADQ;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,mBAAmB,CAAC,CAAC;QAAC,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,iBAAiB,CAAC,CAAC;QAAC,MAAM,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,sBAAsB,EAAE,gBAAgB,CAAC,CAAA;KAAC,CACrP;CAEoF,GAF1E,OAAO,sBAAsB,EAAE,cAAc,CAuIzD;AAsCD;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,EAAC,QAAQ,EAAE,MAAM,EAAC,EAJhD;IAAsB,QAAQ,EAAtB,MAAM,CACd;IAAsB,MAAM,EAApB,MAAM,CACd;CAEgD,GAFtC;IAAC,QAAQ,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,OAAO,sBAAsB,EAAE,uBAAuB,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,IAAI,CAAC;QAAC,YAAY,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,OAAO,EAAE;QAAC,YAAY,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,OAAO,sBAAsB,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAC,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAC,CA0E1lB"}