semantifold 0.6.0 → 0.7.0

package/src/backends/identifiers.js

@@ -2,7 +2,7 @@
 
 import {unsupportedCapability} from "../diagnostic.js"
 
-/** @type {Record<Exclude<import("../semantic/types.js").BackendLanguage, "ios">, RegExp>} */
+/** @type {Record<Exclude<import("../semantic/types.js").BackendLanguage, "ios" | "flutter">, RegExp>} */
 const identifierPatterns = {
   android: /^(?:_|\p{L})(?:_|\p{L}|\p{Nd})*$/u,
   dart: /^(?:_|\p{L})(?:_|\p{L}|\p{Nd})*$/u,
@@ -23,7 +23,7 @@ const identifierPatterns = {
   wasm: /^(?:[$_]|\p{XID_Start})(?:[$_]|\p{XID_Continue})*$/u
 }
 
-/** @type {Record<Exclude<import("../semantic/types.js").BackendLanguage, "ios">, Set<string>>} */
+/** @type {Record<Exclude<import("../semantic/types.js").BackendLanguage, "ios" | "flutter">, Set<string>>} */
 const reservedWords = {
   android: new Set([
     "as", "break", "class", "continue", "do", "else", "false", "for", "fun", "if", "in", "interface", "is", "null",
@@ -236,7 +236,7 @@ export function validateTargetIdentifier(language, name, role, location) {
   if (typeof name != "string") unsupportedCapability(language, `${role} identifier`, location)
 
   const reservedName = language == "php" ? name.toLowerCase() : name
-  const syntaxLanguage = language == "ios" ? "swift" : language
+  const syntaxLanguage = language == "ios" ? "swift" : language == "flutter" ? "dart" : language
 
   if (!identifierPatterns[syntaxLanguage].test(name) || reservedWords[syntaxLanguage].has(reservedName) ||
     language == "python" && name.normalize("NFKC") != name ||
@@ -296,7 +296,7 @@ export function validateTargetTypeIdentifier(language, name, location) {
     unsupportedCapability(language, `record type identifier '${String(name)}'`, location)
   }
   const reservedName = language == "php" ? name.toLowerCase() : name
-  const syntaxLanguage = language == "ios" ? "swift" : language
+  const syntaxLanguage = language == "ios" ? "swift" : language == "flutter" ? "dart" : language
 
   if (reservedWords[syntaxLanguage].has(reservedName) || reservedTypeNames[language]?.has(reservedName)) {
     unsupportedCapability(language, `record type identifier '${name}'`, location)

package/src/backends/program.js

@@ -23,7 +23,7 @@ import {programImportName, SourceWriter} from "./writer.js"
 /** @type {Readonly<Set<import("../semantic/types.js").SemanticLanguage>>} */
 const programTargets = new Set(["php", "ruby", "javascript", "typescript", "java"])
 /** @type {Readonly<Set<import("../semantic/types.js").BackendLanguage>>} */
-const programApplicationTargets = new Set(["android", "ios"])
+const programApplicationTargets = new Set(["android", "ios", "flutter"])
 
 /**
  * Validates and prepares a complete semantic program for a non-text backend without allocating a writer.
@@ -68,8 +68,8 @@ export function preflightSemanticProgram({backendLanguage, diagnosticLanguage, p
  * @param {import("../semantic/types.js").BackendLanguage} input.language - Registered program target.
  * @param {import("../semantic/types.js").SemanticProgram} input.program - Complete semantic program.
  * @param {"text" | "application"} [input.role] - Explicit artifact role; omitted preserves text generation.
- * @param {import("../semantic/types.js").IosApplicationConfigurationInput | import("../semantic/types.js").AndroidApplicationConfigurationInput} [input.configuration] - Application configuration.
- * @param {import("../semantic/types.js").IosApplicationAssetInput[] | import("../semantic/types.js").AndroidApplicationInputFile[]} [input.assets] - Exact caller assets.
+ * @param {import("../semantic/types.js").IosApplicationConfigurationInput | import("../semantic/types.js").AndroidApplicationConfigurationInput | import("../semantic/types.js").FlutterApplicationConfigurationInput} [input.configuration] - Application configuration.
+ * @param {import("../semantic/types.js").IosApplicationAssetInput[] | import("../semantic/types.js").AndroidApplicationInputFile[] | import("../semantic/types.js").FlutterApplicationAssetInput[]} [input.assets] - Exact caller assets.
  * @param {import("../semantic/types.js").AndroidApplicationInputFile[]} [input.resources] - Exact Android caller resources.
  * @returns {import("../semantic/types.js").GeneratedArtifactSet} Transactionally validated artifact set.
  */

package/src/backends/shared.js

@@ -2241,7 +2241,8 @@ export function emitExpression(writer, expression, path, language, emitIdentifie
     return
   }
   if (expression.kind == "CallExpression") {
-    const dartMultiline = language == "dart" && expression.arguments.length > 0 &&
+    const callArgumentSuffix = writer.callArgumentSuffixFor(expression)
+    const dartMultiline = language == "dart" && (expression.arguments.length > 0 || Boolean(callArgumentSuffix)) &&
       dartExpressionExceedsPageWidth(writer, expression)
     const dartIndent = dartMultiline ? currentLineIndent(writer) : ""
 
@@ -2255,11 +2256,10 @@ export function emitExpression(writer, expression, path, language, emitIdentifie
       emitExpression(writer, argument, `${path}/arguments/${index}`, language, emitIdentifier)
       if (dartMultiline) writer.synthetic(",\n", "Dart formatter argument separator", [expression], [path])
     })
-    const callArgumentSuffix = writer.callArgumentSuffixFor(expression)
-
     if (callArgumentSuffix) {
-      writer.synthetic(`${expression.arguments.length ? ", " : ""}${callArgumentSuffix}`,
-        "target-container semantic call argument", [expression], [path])
+      writer.synthetic(dartMultiline ? `${expression.arguments.length ? "" : "\n"}${dartIndent}  ${callArgumentSuffix},\n` :
+        `${expression.arguments.length ? ", " : ""}${callArgumentSuffix}`,
+      "target-container semantic call argument", [expression], [path])
     }
     if (dartMultiline) writer.synthetic(dartIndent, "Dart call closing indentation", [expression], [path])
     writer.mapped(")", {mappingKind: "anchor", node: expression, path})
@@ -2558,14 +2558,18 @@ function currentLineIndent(writer) {
  * @param {import("../semantic/types.js").Expression} expression Semantic expression.
  * @returns {string} Flat canonical spelling.
  */
-function flatDartExpression(writer, expression) {
+export function flatDartExpression(writer, expression) {
   if (expression.kind == "IdentifierExpression") return expression.name
   if (expression.kind == "IntegerLiteral") return String(expression.value)
   if (expression.kind == "BooleanLiteral") return `_semantifoldBoolean(${expression.value ? "true" : "false"})`
   if (expression.kind == "StringLiteral") return emitStringLiteral("dart", expression.value)
   if (expression.kind == "CallExpression") {
-    return `${writer.callNameFor(expression)}(${expression.arguments.map((argument) =>
-      flatDartExpression(writer, argument)).join(", ")})`
+    const arguments_ = expression.arguments.map((argument) => flatDartExpression(writer, argument))
+    const callArgumentSuffix = writer.callArgumentSuffixFor(expression)
+
+    if (callArgumentSuffix) arguments_.push(callArgumentSuffix)
+
+    return `${writer.callNameFor(expression)}(${arguments_.join(", ")})`
   }
   if (expression.kind == "UnaryExpression") {
     const operand = flatDartExpression(writer, expression.operand)

package/src/language-registry.js

@@ -18,6 +18,7 @@ import {generateTypeScript} from "./backends/typescript.js"
 import {generateBrowserWasm} from "./backends/wasm.js"
 import {generateIosApplication} from "./backends/ios.js"
 import {generateAndroidApplication} from "./backends/android.js"
+import {generateFlutterApplication} from "./backends/flutter.js"
 import {parseJava} from "./frontends/java.js"
 import {parseKotlin} from "./frontends/kotlin.js"
 import {parseCSharp} from "./frontends/csharp.js"
@@ -549,6 +550,15 @@ const records = [
     id: "ios",
     mapping: {binaryRanges: true, richText: true, sourceMapV3: true},
     roundTrip: false
+  },
+  {
+    acceptance: {stages: ["generate", "restore", "compile", "validate", "instantiate", "execute"], toolchains: ["flutter", "android"]},
+    applicationBackend: generateFlutterApplication,
+    artifactMultiplicity: "multiple",
+    features: {closedRecords: false, conditionControlledLoops: false, effectfulCapabilitiesAndResources: false, generalFunctionsAndCalls: false, immutableCollections: false, optionalValues: false, orderedListIteration: false, orderedMapIteration: false, referenceClasses: false, typedErrors: false, typeParametersAndGenerics: false},
+    id: "flutter",
+    mapping: {binaryRanges: true, richText: true, sourceMapV3: true},
+    roundTrip: false
   }
 ]
 

package/src/semantic/types.js

@@ -2,7 +2,7 @@
 
 /** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java" | "kotlin" | "python" | "csharp" | "go" | "c" | "cpp" | "rust" | "swift" | "dart" | "zig"} SemanticLanguage */
 /** @typedef {SemanticLanguage} TextBackendLanguage */
-/** @typedef {TextBackendLanguage | "wasm" | "ios" | "android"} BackendLanguage */
+/** @typedef {TextBackendLanguage | "wasm" | "ios" | "android" | "flutter"} BackendLanguage */
 /** @typedef {SemanticLanguage | "html"} GeneratedTextLanguage */
 /** @typedef {"integer" | "boolean" | "string"} SemanticTypeName */
 /** @typedef {SemanticTypeName | "void"} FunctionReturnTypeName */
@@ -103,6 +103,45 @@
  * @property {string} sha256 - Lowercase SHA-256 of exact UTF-8 text or bytes.
  */
 
+/**
+ * @typedef FlutterApplicationConfigurationInput
+ * @property {string} [packageName] - Lowercase Dart package identity.
+ * @property {string} [organization] - Lowercase reverse-DNS owning organization.
+ * @property {string} [applicationId] - Lowercase reverse-DNS Android application identity extending the organization.
+ * @property {string} [activityClassName] - Generated Java launcher Activity class name.
+ * @property {string} [displayName] - User-visible application label.
+ * @property {23} [minimumSdk] - Qualified minimum Android API.
+ * @property {35} [targetSdk] - Qualified target Android API.
+ * @property {35} [compileSdk] - Qualified compile Android API.
+ * @property {"35.0.0"} [buildToolsVersion] - Qualified Android Build Tools version.
+ * @property {number} [versionCode] - Positive Android/Flutter build number.
+ * @property {string} [versionName] - Canonical application version name.
+ * @property {unknown[]} [permissions] - Validated as the closed empty permission set.
+ */
+
+/**
+ * @typedef FlutterApplicationConfiguration
+ * @property {string} packageName - Validated Dart package identity.
+ * @property {string} organization - Validated owning organization.
+ * @property {string} applicationId - Validated Android application identity.
+ * @property {string} activityClassName - Generated Java launcher Activity class name.
+ * @property {string} displayName - User-visible application label.
+ * @property {23} minimumSdk - Qualified minimum Android API.
+ * @property {35} targetSdk - Qualified target Android API.
+ * @property {35} compileSdk - Qualified compile Android API.
+ * @property {"35.0.0"} buildToolsVersion - Qualified Android Build Tools version.
+ * @property {number} versionCode - Positive Android/Flutter build number.
+ * @property {string} versionName - Canonical application version name.
+ */
+
+/**
+ * @typedef FlutterApplicationAssetInput
+ * @property {string} path - Safe path below the generated Flutter assets root.
+ * @property {string | Uint8Array} content - Exact caller-provided text or bytes.
+ * @property {string} mediaType - Explicit artifact media type.
+ * @property {string} sha256 - Lowercase SHA-256 of exact UTF-8 text or bytes.
+ */
+
 /**
  * @typedef LanguageRoleCapabilities
  * @property {boolean} frontend - Parser adapter availability.