semantifold 0.4.0 → 0.5.0

package/src/backends/identifiers.js

@@ -4,6 +4,7 @@ import {unsupportedCapability} from "../diagnostic.js"
 
 /** @type {Record<Exclude<import("../semantic/types.js").BackendLanguage, "ios">, RegExp>} */
 const identifierPatterns = {
+  android: /^(?:_|\p{L})(?:_|\p{L}|\p{Nd})*$/u,
   dart: /^(?:_|\p{L})(?:_|\p{L}|\p{Nd})*$/u,
   kotlin: /^(?:_|\p{L})(?:_|\p{L}|\p{Nd})*$/u,
   swift: /^(?:_|\p{XID_Start})(?:_|\p{XID_Continue})*$/u,
@@ -23,6 +24,11 @@ const identifierPatterns = {
 
 /** @type {Record<Exclude<import("../semantic/types.js").BackendLanguage, "ios">, Set<string>>} */
 const reservedWords = {
+  android: new Set([
+    "as", "break", "class", "continue", "do", "else", "false", "for", "fun", "if", "in", "interface", "is", "null",
+    "object", "package", "return", "super", "this", "throw", "true", "try", "typealias", "typeof", "val", "var", "when",
+    "while", "_", "main", "println", "Long", "Boolean", "String", "Math", "ArithmeticException"
+  ]),
   dart: new Set([
     "Function", "Never", "Object", "RangeError", "String", "abstract", "as", "assert", "async", "await", "base",
     "bool", "break", "case", "catch", "class", "const", "continue", "covariant", "default", "deferred", "do",

package/src/backends/kotlin.js

@@ -47,12 +47,12 @@ export function generateKotlin(module, writer) {
     writer.mapped(emitScalarType("kotlin", declaration.returnType), {mappingKind: "exact", node: declaration.returnType,
       path: `${path}/returnType`, role: "type"})
     writer.synthetic(" {\n", "Kotlin function body scaffold", [declaration], [path])
-    emitBlock(writer, declaration.body, "  ", `${path}/body`)
+    emitKotlinBlock(writer, declaration.body, "  ", `${path}/body`)
     writer.synthetic("}\n", "Kotlin function body scaffold", [declaration], [path])
   })
 
   writer.synthetic("\nfun main() {\n", "Kotlin generated main scaffold", [module.entryPoint], ["/entryPoint"])
-  emitBlock(writer, module.entryPoint.body, "  ", "/entryPoint/body")
+  emitKotlinBlock(writer, module.entryPoint.body, "  ", "/entryPoint/body")
   writer.synthetic("}\n", "Kotlin generated main scaffold", [module.entryPoint], ["/entryPoint"])
 }
 
@@ -62,10 +62,12 @@ export function generateKotlin(module, writer) {
  * @param {import("../semantic/types.js").Block} block - Semantic block.
  * @param {string} indent - Current indentation.
  * @param {string} path - Semantic block path.
+ * @param {string} [printTarget] - Target-owned print function spelling.
  * @returns {void}
  */
-function emitBlock(writer, block, indent, path) {
-  block.statements.forEach((statement, index) => emitStatement(writer, statement, indent, `${path}/statements/${index}`))
+export function emitKotlinBlock(writer, block, indent, path, printTarget = "println") {
+  block.statements.forEach((statement, index) =>
+    emitKotlinStatement(writer, statement, indent, `${path}/statements/${index}`, printTarget))
 }
 
 /**
@@ -74,9 +76,10 @@ function emitBlock(writer, block, indent, path) {
  * @param {import("../semantic/types.js").Statement} statement - Semantic statement.
  * @param {string} indent - Current indentation.
  * @param {string} path - Semantic statement path.
+ * @param {string} printTarget - Target-owned print function spelling.
  * @returns {void}
  */
-function emitStatement(writer, statement, indent, path) {
+function emitKotlinStatement(writer, statement, indent, path, printTarget) {
   writer.synthetic(indent, "indentation", [statement], [path])
   if (statement.kind == "LocalDeclaration") {
     writer.mapped(statement.mutable ? "var" : "val", {mappingKind: "anchor", node: statement, path})
@@ -111,7 +114,7 @@ function emitStatement(writer, statement, indent, path) {
     return
   }
   if (statement.kind == "PrintStatement") {
-    writer.synthetic("println(", "Kotlin println plumbing", [statement], [path])
+    writer.synthetic(`${printTarget}(`, "Kotlin print plumbing", [statement], [path])
     emitExpression(writer, statement.expression, `${path}/expression`, "kotlin", identity)
     writer.synthetic(")\n", "Kotlin println plumbing", [statement], [path])
     return
@@ -121,11 +124,11 @@ function emitStatement(writer, statement, indent, path) {
   writer.synthetic(" (", "Kotlin conditional scaffold", [statement], [path])
   emitExpression(writer, statement.condition, `${path}/condition`, "kotlin", identity)
   writer.synthetic(") {\n", "Kotlin conditional scaffold", [statement.consequent], [`${path}/consequent`])
-  emitBlock(writer, statement.consequent, `${indent}  `, `${path}/consequent`)
+  emitKotlinBlock(writer, statement.consequent, `${indent}  `, `${path}/consequent`, printTarget)
   writer.synthetic(`${indent}}`, "Kotlin conditional scaffold", [statement.consequent], [`${path}/consequent`])
   if (statement.alternate) {
     writer.synthetic(" else {\n", "Kotlin alternate scaffold", [statement.alternate], [`${path}/alternate`])
-    emitBlock(writer, statement.alternate, `${indent}  `, `${path}/alternate`)
+    emitKotlinBlock(writer, statement.alternate, `${indent}  `, `${path}/alternate`, printTarget)
     writer.synthetic(`${indent}}`, "Kotlin alternate scaffold", [statement.alternate], [`${path}/alternate`])
   }
   writer.synthetic("\n", "line break", [statement], [path])

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(["ios"])
+const programApplicationTargets = new Set(["android", "ios"])
 
 /**
  * Validates and prepares a complete semantic program for a non-text backend without allocating a writer.
@@ -68,8 +68,9 @@ 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} [input.configuration] - iOS application configuration.
- * @param {import("../semantic/types.js").IosApplicationAssetInput[]} [input.assets] - Exact iOS caller assets.
+ * @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").AndroidApplicationInputFile[]} [input.resources] - Exact Android caller resources.
  * @returns {import("../semantic/types.js").GeneratedArtifactSet} Transactionally validated artifact set.
  */
 export function generateProgramArtifacts(input) {

package/src/backends/shared.js

@@ -2255,6 +2255,12 @@ 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])
+    }
     if (dartMultiline) writer.synthetic(dartIndent, "Dart call closing indentation", [expression], [path])
     writer.mapped(")", {mappingKind: "anchor", node: expression, path})
     return
@@ -2407,6 +2413,19 @@ export function emitExpression(writer, expression, path, language, emitIdentifie
     return
   }
 
+  if (language == "kotlin" && writer.usesMethodStringEquality() &&
+    (expression.operation == "StringEqual" || expression.operation == "StringNotEqual")) {
+    writer.mapped("(", {mappingKind: "anchor", node: expression, path})
+    if (expression.operation == "StringNotEqual") {
+      writer.mapped("!", {mappingKind: "exact", node: expression, path, role: "operator"})
+    }
+    emitExpression(writer, expression.left, `${path}/left`, language, emitIdentifier)
+    writer.mapped(".equals(", {mappingKind: "exact", node: expression, path, role: "operator"})
+    emitExpression(writer, expression.right, `${path}/right`, language, emitIdentifier)
+    writer.mapped("))", {mappingKind: "anchor", node: expression, path})
+    return
+  }
+
   if (language == "csharp" && ["IntegerAdd", "IntegerSubtract", "IntegerMultiply"].includes(expression.operation)) {
     writer.mapped("checked(", {mappingKind: "anchor", node: expression, path})
     emitExpression(writer, expression.left, `${path}/left`, language, emitIdentifier)

package/src/backends/writer.js

@@ -80,9 +80,13 @@ export class SourceWriter {
    * @param {string[]} [options.stdlibProviderImports] - Ordered provider names this module must import.
    * @param {string} [options.stdlibProviderOwnerModule] - Java owner module identity hosting the shared support block and shims.
    * @param {string[]} [options.stdlibProviderShims] - Java owner program-wide used operations exposed as public static shims.
+   * @param {(expression: import("../semantic/types.js").CallExpression) => string} [options.callNameResolver] - Target-container call spelling override.
+   * @param {string} [options.callArgumentSuffix] - Synthetic trailing argument for every semantic function call.
+   * @param {boolean} [options.methodStringEquality] - Emit string equality through the platform String method.
    */
-  constructor({filename, language, module, program, programPaths, sources, stdlibProviderEntries, stdlibProviderPath,
-    stdlibProviderPaths, stdlibProviderImports, stdlibProviderOwnerModule, stdlibProviderShims}) {
+  constructor({callArgumentSuffix, callNameResolver, filename, language, methodStringEquality, module, program, programPaths, sources,
+    stdlibProviderEntries, stdlibProviderPath, stdlibProviderPaths, stdlibProviderImports, stdlibProviderOwnerModule,
+    stdlibProviderShims}) {
     const index = createGenerationIndex(module, sources)
 
     this.filename = filename
@@ -90,6 +94,9 @@ export class SourceWriter {
     this.module = module
     this.program = program
     this.programPaths = programPaths
+    this.callArgumentSuffix = callArgumentSuffix
+    this.callNameResolver = callNameResolver
+    this.methodStringEquality = methodStringEquality ?? false
     this.index = index
     this.stdlibProviderEntries = stdlibProviderEntries
     this.stdlibProviderPath = stdlibProviderPath
@@ -386,6 +393,7 @@ export class SourceWriter {
    * @returns {string} Target call name.
    */
   callNameFor(expression) {
+    if (this.callNameResolver) return this.callNameResolver(expression)
     const declarationId = expression.resolution?.declarationId
     const owner = declarationId ? this.declarationModules.get(declarationId) : undefined
     const imported = declarationId ? this.#programModule()?.imports.find((item) => item.declarationId == declarationId) : undefined
@@ -398,6 +406,23 @@ export class SourceWriter {
     return declarationName(owner, declarationId)
   }
 
+  /**
+   * Returns a target-container trailing argument for a semantic call.
+   * @param {import("../semantic/types.js").CallExpression} _expression - Resolved semantic call.
+   * @returns {string | undefined} Synthetic argument spelling, when configured.
+   */
+  callArgumentSuffixFor(_expression) {
+    return this.callArgumentSuffix
+  }
+
+  /**
+   * Reports whether string equality must avoid a target runtime helper.
+   * @returns {boolean} Whether to emit the platform String method.
+   */
+  usesMethodStringEquality() {
+    return this.methodStringEquality
+  }
+
   /** Marks emission as occurring inside one top-level reference class. */
   beginReferenceClassEmission() {
     this.referenceClassEmissionDepth += 1

package/src/language-registry.js

@@ -16,6 +16,7 @@ import {generateRuby} from "./backends/ruby.js"
 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 {parseJava} from "./frontends/java.js"
 import {parseKotlin} from "./frontends/kotlin.js"
 import {parseCSharp} from "./frontends/csharp.js"
@@ -501,6 +502,15 @@ const records = [
     mediaType: "application/wasm",
     roundTrip: false
   },
+  {
+    acceptance: {stages: ["generate", "compile", "validate", "instantiate", "execute"], toolchains: ["android"]},
+    applicationBackend: generateAndroidApplication,
+    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: "android",
+    mapping: {binaryRanges: true, richText: true, sourceMapV3: true},
+    roundTrip: false
+  },
   {
     acceptance: {stages: ["generate"], toolchains: []},
     applicationBackend: generateIosApplication,

package/src/semantic/types.js

@@ -2,7 +2,7 @@
 
 /** @typedef {"php" | "ruby" | "javascript" | "typescript" | "java" | "kotlin" | "python" | "csharp" | "go" | "c" | "cpp" | "rust" | "swift" | "dart"} SemanticLanguage */
 /** @typedef {SemanticLanguage} TextBackendLanguage */
-/** @typedef {TextBackendLanguage | "wasm" | "ios"} BackendLanguage */
+/** @typedef {TextBackendLanguage | "wasm" | "ios" | "android"} BackendLanguage */
 /** @typedef {SemanticLanguage | "html"} GeneratedTextLanguage */
 /** @typedef {"integer" | "boolean" | "string"} SemanticTypeName */
 /** @typedef {SemanticTypeName | "void"} FunctionReturnTypeName */
@@ -58,6 +58,51 @@
  * @property {string} sha256 - Lowercase SHA-256 of exact UTF-8 text or bytes.
  */
 
+/**
+ * @typedef AndroidApplicationConfigurationInput
+ * @property {string} [applicationId] - Lowercase reverse-DNS Android application identity.
+ * @property {string} [namespace] - Kotlin/Android namespace; defaults to applicationId.
+ * @property {string} [packageName] - Generated Kotlin package; defaults to namespace.
+ * @property {string} [activityClassName] - Launcher Activity class name.
+ * @property {string} [productName] - Deterministic project product 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 version code.
+ * @property {string} [versionName] - Canonical application version name.
+ * @property {"unspecified"} [orientation] - Baseline orientation behavior.
+ * @property {"system"} [theme] - Baseline platform-native theme.
+ * @property {unknown[]} [permissions] - Validated as the closed empty permission set.
+ */
+
+/**
+ * @typedef AndroidApplicationConfiguration
+ * @property {string} applicationId - Validated Android application identity.
+ * @property {string} namespace - Validated Android namespace.
+ * @property {string} packageName - Generated Kotlin package.
+ * @property {string} activityClassName - Launcher Activity class name.
+ * @property {string} productName - Project product 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 version code.
+ * @property {string} versionName - Canonical application version name.
+ * @property {"unspecified"} orientation - Baseline orientation behavior.
+ * @property {"system"} theme - Platform-native theme.
+ */
+
+/**
+ * @typedef AndroidApplicationInputFile
+ * @property {string} path - Safe path relative to the selected fixed Android resource or asset 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.