ts2workflows 0.10.0 → 0.11.0

package/LICENSE

@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright © 2024 Antti Ajanki, <antti.ajanki@iki.fi>
+Copyright © 2024-2025 Antti Ajanki, <antti.ajanki@iki.fi>
 
 Permission is hereby granted, free of charge, to any person obtaining
 a copy of this software and associated documentation files (the

package/README.md

@@ -2,13 +2,22 @@
 
 ts2workflows converts Typescript code to a [GCP Workflows](https://cloud.google.com/workflows/docs/apis) program.
 
+![NPM Version](https://img.shields.io/npm/v/ts2workflows)
+![Node LTS](https://img.shields.io/node/v-lts/ts2workflows)
+
 Only a subset of Typescript features are supported. The [language reference](language_reference.md) describes the supported Typescript features.
 
 See the [samples](samples) directory for code examples.
 
 Project status: It's possible to write Workflows programs, but the transpiler has not been extensively tested. Expect some rough edges!
 
-## Command for transpiling a Typescript file to Workflows syntax
+## Installation
+
+```
+npm install ts2workflows
+```
+
+## Usage
 
 Converting Typescript code in a file samples/sample1.ts into GCP Workflows YAML syntax on stdout:
 
@@ -28,7 +37,7 @@ When developing ts2workflows, you can run the transpiler directly from the sourc
 npx tsx src/cli.ts samples/sample1.ts
 ```
 
-## Type checking
+## Type checking workflow sources
 
 One benefit of writing the workflow programs in Typescript is that the sources can be type checked.
 
@@ -48,20 +57,28 @@ import { http, retry_policy } from 'ts2workflows/types/workflowslib'
 
 Type checking step is completely separate from the transpiling. The ts2workflows command ignores type annotations.
 
-## Build
+## Development
+
+### Build
 
 ```
 npm install
 npm run build
 ```
 
-## Run unit tests
+### Run unit tests
 
 ```
 npm run test
 ```
 
-## Architecture
+Run tests and print the test coverage:
+
+```
+npm run test-coverage
+```
+
+### Architecture
 
 A transpilation using ts2workflows consists of five phases:
 

package/dist/ast/stepnames.js

@@ -12,9 +12,9 @@ export class StepNameGenerator {
     }
 }
 export function generateStepNames(ast) {
-    const stepNameGenerator = new StepNameGenerator();
     const subworkflows = ast.subworkflows
         .map((subworkflow) => {
+        const stepNameGenerator = new StepNameGenerator();
         return subworkflow.withStepNames((x) => stepNameGenerator.generate(x));
     })
         .map(fixJumpLabels);
@@ -150,7 +150,7 @@ function removeJumpTargetsParallel(step) {
     return new ParallelStepASTNamed(transformedSteps, step.shared, step.concurrenceLimit, step.exceptionPolicy);
 }
 function removeJumpTargetsSwitch(step) {
-    const transformedConditions = step.conditions.map((cond) => {
+    const transformedConditions = step.branches.map((cond) => {
         return {
             condition: cond.condition,
             steps: removeJumpTargetSteps(cond.steps),
@@ -250,7 +250,7 @@ function renameJumpTargetsSwitch(step, replaceLabels) {
     if (step.next) {
         updatedNext = replaceLabels.get(step.next) ?? step.next;
     }
-    const updatedConditions = step.conditions.map((cond) => {
+    const updatedConditions = step.branches.map((cond) => {
         let updatedCondNext = undefined;
         if (cond.next) {
             updatedCondNext = replaceLabels.get(cond.next) ?? cond.next;

package/dist/ast/steps.d.ts

@@ -157,9 +157,9 @@ export declare class SwitchStepAST {
 }
 export declare class SwitchStepASTNamed {
     readonly tag = "switch";
-    readonly conditions: SwitchConditionAST<NamedWorkflowStep>[];
+    readonly branches: SwitchConditionAST<NamedWorkflowStep>[];
     readonly next?: StepName;
-    constructor(conditions: SwitchConditionAST<NamedWorkflowStep>[], next?: StepName);
+    constructor(branches: SwitchConditionAST<NamedWorkflowStep>[], next?: StepName);
 }
 export interface SwitchConditionAST<T extends WorkflowStepAST | NamedWorkflowStep> {
     readonly condition: Expression;
@@ -179,11 +179,11 @@ export declare class TryStepAST {
 }
 export declare class TryStepASTNamed {
     readonly tag = "try";
-    readonly retryPolicy?: string | CustomRetryPolicy;
-    readonly errorMap?: VariableName;
     readonly trySteps: NamedWorkflowStep[];
     readonly exceptSteps?: NamedWorkflowStep[];
-    constructor(steps: NamedWorkflowStep[], exceptSteps?: NamedWorkflowStep[], retryPolicy?: string | CustomRetryPolicy, errorMap?: VariableName);
+    readonly retryPolicy?: string | CustomRetryPolicy;
+    readonly errorMap?: VariableName;
+    constructor(trySteps: NamedWorkflowStep[], exceptSteps?: NamedWorkflowStep[], retryPolicy?: string | CustomRetryPolicy, errorMap?: VariableName);
 }
 export declare class JumpTargetAST {
     readonly tag = "jumptarget";

package/dist/ast/steps.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"steps.d.ts","sourceRoot":"","sources":["../../src/ast/steps.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,UAAU,EAEV,gBAAgB,EAChB,YAAY,EACZ,2BAA2B,EAE5B,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAE/D,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAA;AAC7B,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,2BAA2B,GAAG,gBAAgB,CAAA;IACpD,KAAK,EAAE,UAAU,CAAA;CAClB;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,CAAA;AAQjE,MAAM,WAAW,iBAAiB;IAChC,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,UAAU,EAAE,UAAU,CAAA;IACtB,OAAO,EAAE;QACP,YAAY,CAAC,EAAE,UAAU,CAAA;QACzB,QAAQ,CAAC,EAAE,UAAU,CAAA;QACrB,UAAU,CAAC,EAAE,UAAU,CAAA;KACxB,CAAA;CACF;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,YAAY,EAAE,cAAc,EAAE,CAAA;CACxC;AAED,qBAAa,cAAc;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAA;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAA;gBAGnC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,eAAe,EAAE,EACxB,MAAM,CAAC,EAAE,iBAAiB,EAAE;IAO9B,aAAa,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GAAG,WAAW;CAIjE;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,aAAa,GACb,WAAW,GACX,UAAU,GACV,eAAe,GACf,WAAW,GACX,eAAe,GACf,YAAY,GACZ,aAAa,GACb,YAAY,GACZ,aAAa,GACb,UAAU,GACV,aAAa,CAAA;AAEjB;;GAEG;AACH,MAAM,MAAM,8BAA8B,GACtC,aAAa,GACb,WAAW,GACX,eAAe,GACf,WAAW,GACX,oBAAoB,GACpB,YAAY,GACZ,aAAa,GACb,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,aAAa,CAAA;AAEjB,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,8BAA8B,CAAA;CACrC;AAGD,qBAAa,aAAa;IACxB,QAAQ,CAAC,GAAG,YAAW;IACvB,QAAQ,CAAC,WAAW,EAAE,kBAAkB,EAAE,CAAA;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;gBAGpB,WAAW,EAAE,kBAAkB,EAAE,EACjC,IAAI,CAAC,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM;IAOhB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa;IAQzC,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,aAAa;IAI3C,gBAAgB,IAAI,aAAa;CAGlC;AAGD,qBAAa,WAAW;IACtB,QAAQ,CAAC,GAAG,UAAS;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,kBAAkB,CAAA;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,IAAI,EAAE,MAAM,EACZ,IAAI,CAAC,EAAE,kBAAkB,EACzB,MAAM,CAAC,EAAE,YAAY,EACrB,KAAK,CAAC,EAAE,MAAM;IAQhB,WAAW,IAAI,MAAM;IAIrB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW;IAIzC,gBAAgB,IAAI,WAAW;CAGhC;AAGD,qBAAa,UAAU;IACrB,QAAQ,CAAC,GAAG,SAAQ;IACpB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAA;IACjC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAA;IACvC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,YAAY,CAAA;IACzC,QAAQ,CAAC,cAAc,EAAE,UAAU,CAAA;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,KAAK,EAAE,eAAe,EAAE,EACxB,gBAAgB,EAAE,YAAY,EAC9B,cAAc,EAAE,UAAU,EAC1B,aAAa,CAAC,EAAE,YAAY,EAC5B,KAAK,CAAC,EAAE,MAAM;IAShB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU;IAUxC,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,UAAU;CASd;AAED,qBAAa,eAAe;IAC1B,QAAQ,CAAC,GAAG,cAAa;IACzB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAA;IACjC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAA;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAA;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,KAAK,EAAE,eAAe,EAAE,EACxB,gBAAgB,EAAE,YAAY,EAC9B,UAAU,EAAE,MAAM,GAAG,UAAU,EAC/B,QAAQ,EAAE,MAAM,GAAG,UAAU,EAC7B,KAAK,CAAC,EAAE,MAAM;IAShB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,eAAe;IAU7C,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,eAAe;CASnB;AAED,qBAAa,eAAe;IAC1B,QAAQ,CAAC,GAAG,SAAQ;IACpB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,CAAA;IACnC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAA;IACvC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,YAAY,CAAA;IACzC,QAAQ,CAAC,cAAc,CAAC,EAAE,UAAU,CAAA;IACpC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;gBAGrC,KAAK,EAAE,iBAAiB,EAAE,EAC1B,gBAAgB,EAAE,YAAY,EAC9B,cAAc,CAAC,EAAE,UAAU,EAC3B,aAAa,CAAC,EAAE,YAAY,EAC5B,UAAU,CAAC,EAAE,MAAM,GAAG,UAAU,EAChC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU;CASjC;AAED,qBAAa,WAAW;IACtB,QAAQ,CAAC,GAAG,UAAS;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM;IAK1C,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW;IAIzC,gBAAgB,IAAI,WAAW;CAGhC;AAGD,qBAAa,eAAe;IAC1B,QAAQ,CAAC,GAAG,cAAa;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,UAAU,CAAA;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAA;IAChC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,UAAU,EAClD,MAAM,CAAC,EAAE,YAAY,EAAE,EACvB,gBAAgB,CAAC,EAAE,MAAM,EACzB,eAAe,CAAC,EAAE,MAAM,EACxB,KAAK,CAAC,EAAE,MAAM;IAShB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,eAAe;IAU7C,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,eAAe;CAmBnB;AAED,qBAAa,oBAAoB;IAC/B,QAAQ,CAAC,GAAG,cAAa;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAA;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAA;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAA;IAChC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;gBAG/B,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,GAAG,eAAe,EAC5D,MAAM,CAAC,EAAE,YAAY,EAAE,EACvB,gBAAgB,CAAC,EAAE,MAAM,EACzB,eAAe,CAAC,EAAE,MAAM;CAc3B;AAGD,qBAAa,YAAY;IACvB,QAAQ,CAAC,GAAG,WAAU;IACtB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,MAAM;IAK7C,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,YAAY;IAI1C,gBAAgB,IAAI,YAAY;CAGjC;AAGD,qBAAa,aAAa;IACxB,QAAQ,CAAC,GAAG,YAAW;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,KAAK,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM;IAKzD,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,aAAa;IAI3C,gBAAgB,IAAI,aAAa;CAGlC;AAGD,qBAAa,YAAY;IACvB,QAAQ,CAAC,GAAG,WAAU;IACtB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAA;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,KAAK,EAAE,eAAe,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM;IAKpD,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,YAAY;IAI1C,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,YAAY;CAGhB;AAED,qBAAa,iBAAiB;IAC5B,QAAQ,CAAC,GAAG,WAAU;IACtB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,CAAA;gBAEvB,KAAK,EAAE,iBAAiB,EAAE;CAGvC;AAGD,qBAAa,aAAa;IACxB,QAAQ,CAAC,GAAG,YAAW;IACvB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,eAAe,CAAC,EAAE,CAAA;IACxD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,QAAQ,EAAE,kBAAkB,CAAC,eAAe,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM;IAK3E,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,aAAa;IAI3C,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,aAAa;CAUjB;AAED,qBAAa,kBAAkB;IAC7B,QAAQ,CAAC,GAAG,YAAW;IACvB,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,CAAA;IAC5D,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;gBAGtB,UAAU,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,EACnD,IAAI,CAAC,EAAE,QAAQ;CAKlB;AAED,MAAM,WAAW,kBAAkB,CACjC,CAAC,SAAS,eAAe,GAAG,iBAAiB;IAE7C,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAA;IACnB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CACzB;AAGD,qBAAa,UAAU;IACrB,QAAQ,CAAC,GAAG,SAAQ;IACpB,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAA;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,EAAE,CAAA;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAAA;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,QAAQ,EAAE,eAAe,EAAE,EAC3B,WAAW,CAAC,EAAE,eAAe,EAAE,EAC/B,WAAW,CAAC,EAAE,MAAM,GAAG,iBAAiB,EACxC,QAAQ,CAAC,EAAE,YAAY,EACvB,KAAK,CAAC,EAAE,MAAM;IAShB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU;IAUxC,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,UAAU;CASd;AAED,qBAAa,eAAe;IAC1B,QAAQ,CAAC,GAAG,SAAQ;IACpB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAAA;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;IAEhC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,EAAE,CAAA;IAEtC,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,EAAE,CAAA;gBAGxC,KAAK,EAAE,iBAAiB,EAAE,EAC1B,WAAW,CAAC,EAAE,iBAAiB,EAAE,EACjC,WAAW,CAAC,EAAE,MAAM,GAAG,iBAAiB,EACxC,QAAQ,CAAC,EAAE,YAAY;CAO1B;AAKD,qBAAa,aAAa;IACxB,QAAQ,CAAC,GAAG,gBAAe;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;;IAMtB,gBAAgB,IAAI,aAAa;CAGlC;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,eAAe,EACrB,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GACvC,iBAAiB,CAyCnB;AAwHD;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,8BAA8B,GACnC,iBAAiB,EAAE,EAAE,CAuBvB;AA6BD;;GAEG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,8BAA8B,GACnC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAkEzB"}
+{"version":3,"file":"steps.d.ts","sourceRoot":"","sources":["../../src/ast/steps.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,UAAU,EAEV,gBAAgB,EAChB,YAAY,EACZ,2BAA2B,EAE5B,MAAM,kBAAkB,CAAA;AACzB,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAA;AAE/D,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAA;AAC7B,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,2BAA2B,GAAG,gBAAgB,CAAA;IACpD,KAAK,EAAE,UAAU,CAAA;CAClB;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,CAAA;AAQjE,MAAM,WAAW,iBAAiB;IAChC,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,UAAU,EAAE,UAAU,CAAA;IACtB,OAAO,EAAE;QACP,YAAY,CAAC,EAAE,UAAU,CAAA;QACzB,QAAQ,CAAC,EAAE,UAAU,CAAA;QACrB,UAAU,CAAC,EAAE,UAAU,CAAA;KACxB,CAAA;CACF;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,YAAY,EAAE,cAAc,EAAE,CAAA;CACxC;AAED,qBAAa,cAAc;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAA;IACjC,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAA;gBAGnC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,eAAe,EAAE,EACxB,MAAM,CAAC,EAAE,iBAAiB,EAAE;IAO9B,aAAa,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GAAG,WAAW;CAIjE;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,aAAa,GACb,WAAW,GACX,UAAU,GACV,eAAe,GACf,WAAW,GACX,eAAe,GACf,YAAY,GACZ,aAAa,GACb,YAAY,GACZ,aAAa,GACb,UAAU,GACV,aAAa,CAAA;AAEjB;;GAEG;AACH,MAAM,MAAM,8BAA8B,GACtC,aAAa,GACb,WAAW,GACX,eAAe,GACf,WAAW,GACX,oBAAoB,GACpB,YAAY,GACZ,aAAa,GACb,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,aAAa,CAAA;AAEjB,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,8BAA8B,CAAA;CACrC;AAGD,qBAAa,aAAa;IACxB,QAAQ,CAAC,GAAG,YAAW;IACvB,QAAQ,CAAC,WAAW,EAAE,kBAAkB,EAAE,CAAA;IAC1C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;gBAGpB,WAAW,EAAE,kBAAkB,EAAE,EACjC,IAAI,CAAC,EAAE,MAAM,EACb,KAAK,CAAC,EAAE,MAAM;IAOhB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,aAAa;IAQzC,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,aAAa;IAI3C,gBAAgB,IAAI,aAAa;CAGlC;AAGD,qBAAa,WAAW;IACtB,QAAQ,CAAC,GAAG,UAAS;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,kBAAkB,CAAA;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAA;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,IAAI,EAAE,MAAM,EACZ,IAAI,CAAC,EAAE,kBAAkB,EACzB,MAAM,CAAC,EAAE,YAAY,EACrB,KAAK,CAAC,EAAE,MAAM;IAQhB,WAAW,IAAI,MAAM;IAIrB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW;IAIzC,gBAAgB,IAAI,WAAW;CAGhC;AAGD,qBAAa,UAAU;IACrB,QAAQ,CAAC,GAAG,SAAQ;IACpB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAA;IACjC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAA;IACvC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,YAAY,CAAA;IACzC,QAAQ,CAAC,cAAc,EAAE,UAAU,CAAA;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,KAAK,EAAE,eAAe,EAAE,EACxB,gBAAgB,EAAE,YAAY,EAC9B,cAAc,EAAE,UAAU,EAC1B,aAAa,CAAC,EAAE,YAAY,EAC5B,KAAK,CAAC,EAAE,MAAM;IAShB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU;IAUxC,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,UAAU;CASd;AAED,qBAAa,eAAe;IAC1B,QAAQ,CAAC,GAAG,cAAa;IACzB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAA;IACjC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAA;IACvC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,CAAA;IACxC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAA;IACtC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,KAAK,EAAE,eAAe,EAAE,EACxB,gBAAgB,EAAE,YAAY,EAC9B,UAAU,EAAE,MAAM,GAAG,UAAU,EAC/B,QAAQ,EAAE,MAAM,GAAG,UAAU,EAC7B,KAAK,CAAC,EAAE,MAAM;IAShB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,eAAe;IAU7C,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,eAAe;CASnB;AAED,qBAAa,eAAe;IAC1B,QAAQ,CAAC,GAAG,SAAQ;IACpB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,CAAA;IACnC,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAA;IACvC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,YAAY,CAAA;IACzC,QAAQ,CAAC,cAAc,CAAC,EAAE,UAAU,CAAA;IACpC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU,CAAA;gBAGrC,KAAK,EAAE,iBAAiB,EAAE,EAC1B,gBAAgB,EAAE,YAAY,EAC9B,cAAc,CAAC,EAAE,UAAU,EAC3B,aAAa,CAAC,EAAE,YAAY,EAC5B,UAAU,CAAC,EAAE,MAAM,GAAG,UAAU,EAChC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU;CASjC;AAED,qBAAa,WAAW;IACtB,QAAQ,CAAC,GAAG,UAAS;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM;IAK1C,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW;IAIzC,gBAAgB,IAAI,WAAW;CAGhC;AAGD,qBAAa,eAAe;IAC1B,QAAQ,CAAC,GAAG,cAAa;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,UAAU,CAAA;IAC3D,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAA;IAChC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,YAAY,CAAC,GAAG,UAAU,EAClD,MAAM,CAAC,EAAE,YAAY,EAAE,EACvB,gBAAgB,CAAC,EAAE,MAAM,EACzB,eAAe,CAAC,EAAE,MAAM,EACxB,KAAK,CAAC,EAAE,MAAM;IAShB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,eAAe;IAU7C,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,eAAe;CAmBnB;AAED,qBAAa,oBAAoB;IAC/B,QAAQ,CAAC,GAAG,cAAa;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAA;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,eAAe,CAAA;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,EAAE,CAAA;IAChC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;gBAG/B,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,GAAG,eAAe,EAC5D,MAAM,CAAC,EAAE,YAAY,EAAE,EACvB,gBAAgB,CAAC,EAAE,MAAM,EACzB,eAAe,CAAC,EAAE,MAAM;CAc3B;AAGD,qBAAa,YAAY;IACvB,QAAQ,CAAC,GAAG,WAAU;IACtB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,KAAK,EAAE,UAAU,EAAE,KAAK,CAAC,EAAE,MAAM;IAK7C,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,YAAY;IAI1C,gBAAgB,IAAI,YAAY;CAGjC;AAGD,qBAAa,aAAa;IACxB,QAAQ,CAAC,GAAG,YAAW;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAA;IAC3B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,KAAK,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,CAAC,EAAE,MAAM;IAKzD,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,aAAa;IAI3C,gBAAgB,IAAI,aAAa;CAGlC;AAGD,qBAAa,YAAY;IACvB,QAAQ,CAAC,GAAG,WAAU;IACtB,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,CAAA;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,KAAK,EAAE,eAAe,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM;IAKpD,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,YAAY;IAI1C,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,YAAY;CAGhB;AAED,qBAAa,iBAAiB;IAC5B,QAAQ,CAAC,GAAG,WAAU;IACtB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,CAAA;gBAEvB,KAAK,EAAE,iBAAiB,EAAE;CAGvC;AAGD,qBAAa,aAAa;IACxB,QAAQ,CAAC,GAAG,YAAW;IACvB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,eAAe,CAAC,EAAE,CAAA;IACxD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAEX,QAAQ,EAAE,kBAAkB,CAAC,eAAe,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM;IAK3E,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,aAAa;IAI3C,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,aAAa;CAUjB;AAED,qBAAa,kBAAkB;IAC7B,QAAQ,CAAC,GAAG,YAAW;IACvB,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,CAAA;IAC1D,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;gBAGtB,QAAQ,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,EAAE,EACjD,IAAI,CAAC,EAAE,QAAQ;CAKlB;AAED,MAAM,WAAW,kBAAkB,CACjC,CAAC,SAAS,eAAe,GAAG,iBAAiB;IAE7C,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,CAAC,EAAE,CAAA;IACnB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CACzB;AAGD,qBAAa,UAAU;IACrB,QAAQ,CAAC,GAAG,SAAQ;IAEpB,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAA;IAEpC,QAAQ,CAAC,WAAW,CAAC,EAAE,eAAe,EAAE,CAAA;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAAA;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;IAChC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;gBAGrB,QAAQ,EAAE,eAAe,EAAE,EAC3B,WAAW,CAAC,EAAE,eAAe,EAAE,EAC/B,WAAW,CAAC,EAAE,MAAM,GAAG,iBAAiB,EACxC,QAAQ,CAAC,EAAE,YAAY,EACvB,KAAK,CAAC,EAAE,MAAM;IAShB,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,UAAU;IAUxC,gBAAgB,CACd,EAAE,EAAE,CAAC,KAAK,EAAE,eAAe,EAAE,KAAK,eAAe,EAAE,GAClD,UAAU;CASd;AAED,qBAAa,eAAe;IAC1B,QAAQ,CAAC,GAAG,SAAQ;IAEpB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,EAAE,CAAA;IAEtC,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,EAAE,CAAA;IAC1C,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,GAAG,iBAAiB,CAAA;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAA;gBAG9B,QAAQ,EAAE,iBAAiB,EAAE,EAC7B,WAAW,CAAC,EAAE,iBAAiB,EAAE,EACjC,WAAW,CAAC,EAAE,MAAM,GAAG,iBAAiB,EACxC,QAAQ,CAAC,EAAE,YAAY;CAO1B;AAKD,qBAAa,aAAa;IACxB,QAAQ,CAAC,GAAG,gBAAe;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;;IAMtB,gBAAgB,IAAI,aAAa;CAGlC;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,eAAe,EACrB,YAAY,EAAE,CAAC,MAAM,EAAE,MAAM,KAAK,MAAM,GACvC,iBAAiB,CAyCnB;AAwHD;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,8BAA8B,GACnC,iBAAiB,EAAE,EAAE,CAuBvB;AA6BD;;GAEG;AACH,wBAAgB,UAAU,CACxB,IAAI,EAAE,8BAA8B,GACnC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAkEzB"}

package/dist/ast/steps.js

@@ -267,17 +267,19 @@ export class SwitchStepAST {
 }
 export class SwitchStepASTNamed {
     tag = 'switch';
-    conditions;
+    branches;
     next;
-    constructor(conditions, next) {
-        this.conditions = conditions;
+    constructor(branches, next) {
+        this.branches = branches;
         this.next = next;
     }
 }
 // https://cloud.google.com/workflows/docs/reference/syntax/catching-errors
 export class TryStepAST {
     tag = 'try';
+    // Steps in the try block
     trySteps;
+    // Steps in the except block
     exceptSteps;
     retryPolicy;
     errorMap;
@@ -298,14 +300,14 @@ export class TryStepAST {
 }
 export class TryStepASTNamed {
     tag = 'try';
-    retryPolicy;
-    errorMap;
     // Steps in the try block
     trySteps;
     // Steps in the except block
     exceptSteps;
-    constructor(steps, exceptSteps, retryPolicy, errorMap) {
-        this.trySteps = steps;
+    retryPolicy;
+    errorMap;
+    constructor(trySteps, exceptSteps, retryPolicy, errorMap) {
+        this.trySteps = trySteps;
         this.retryPolicy = retryPolicy;
         this.errorMap = errorMap;
         this.exceptSteps = exceptSteps;
@@ -443,7 +445,7 @@ export function nestedSteps(step) {
         case 'parallel':
             return nestedStepsParallel(step);
         case 'switch':
-            return step.conditions.map((x) => x.steps);
+            return step.branches.map((x) => x.steps);
         case 'try':
             return nestedStepsTry(step);
     }
@@ -519,7 +521,7 @@ export function renderStep(step) {
             };
         case 'switch':
             return {
-                switch: step.conditions.map(renderSwitchCondition),
+                switch: step.branches.map(renderSwitchCondition),
                 ...(step.next && { next: step.next }),
             };
         case 'try':

package/dist/ast/workflows.d.ts

@@ -19,10 +19,5 @@ export declare class Subworkflow {
     constructor(name: string, steps: NamedWorkflowStep[], params?: WorkflowParameter[]);
     render(): Record<string, unknown>;
     renderBody(): Record<string, unknown>;
-    iterateStepsDepthFirst(): IterableIterator<NamedWorkflowStep>;
 }
-/**
- * Print the workflow as a YAML string.
- */
-export declare function toYAMLString(workflow: WorkflowApp): string;
 //# sourceMappingURL=workflows.d.ts.map

package/dist/ast/workflows.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"workflows.d.ts","sourceRoot":"","sources":["../../src/ast/workflows.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,+BAA+B,EAAE,MAAM,kBAAkB,CAAA;AAChF,OAAO,EAAE,iBAAiB,EAA2B,MAAM,YAAY,CAAA;AAEvE,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,YAAY,CAAA;IAClB,OAAO,CAAC,EAAE,+BAA+B,CAAA;CAC1C;AAED;;GAEG;AACH,qBAAa,WAAW;IACtB,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAAA;gBAExB,YAAY,GAAE,WAAW,EAAO;IAI5C,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAKlC;AAGD,qBAAa,WAAW;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,CAAA;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAA;gBAGnC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,iBAAiB,EAAE,EAC1B,MAAM,CAAC,EAAE,iBAAiB,EAAE;IAO9B,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAMjC,UAAU,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAuBpC,sBAAsB,IAAI,gBAAgB,CAAC,iBAAiB,CAAC;CAqB/D;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,WAAW,GAAG,MAAM,CAI1D"}
+{"version":3,"file":"workflows.d.ts","sourceRoot":"","sources":["../../src/ast/workflows.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,+BAA+B,EAAE,MAAM,kBAAkB,CAAA;AAChF,OAAO,EAAE,iBAAiB,EAAc,MAAM,YAAY,CAAA;AAE1D,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,YAAY,CAAA;IAClB,OAAO,CAAC,EAAE,+BAA+B,CAAA;CAC1C;AAED;;GAEG;AACH,qBAAa,WAAW;IACtB,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAAA;gBAExB,YAAY,GAAE,WAAW,EAAO;IAI5C,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAKlC;AAGD,qBAAa,WAAW;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,EAAE,CAAA;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,iBAAiB,EAAE,CAAA;gBAGnC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,iBAAiB,EAAE,EAC1B,MAAM,CAAC,EAAE,iBAAiB,EAAE;IAO9B,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAMjC,UAAU,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAsBtC"}

package/dist/ast/workflows.js

@@ -1,5 +1,4 @@
-import * as YAML from 'yaml';
-import { nestedSteps, renderStep } from './steps.js';
+import { renderStep } from './steps.js';
 /**
  * This is the main container class that brings together all subworkflows in a program
  */
@@ -48,27 +47,4 @@ export class Subworkflow {
         });
         return body;
     }
-    *iterateStepsDepthFirst() {
-        const visited = new Set();
-        function* visitPreOrder(step) {
-            if (!visited.has(step)) {
-                visited.add(step);
-                yield step;
-                for (const x of nestedSteps(step.step).flat()) {
-                    yield* visitPreOrder(x);
-                }
-            }
-        }
-        for (const step of this.steps) {
-            yield* visitPreOrder(step);
-        }
-    }
-}
-/**
- * Print the workflow as a YAML string.
- */
-export function toYAMLString(workflow) {
-    return YAML.stringify(workflow.render(), {
-        lineWidth: 100,
-    });
 }

package/dist/transpiler/index.d.ts

@@ -1,2 +1,7 @@
+import { WorkflowApp } from '../ast/workflows.js';
 export declare function transpile(code: string, inputFile?: string, tsconfigPath?: string): string;
+/**
+ * Print the workflow as a YAML string.
+ */
+export declare function toYAMLString(workflow: WorkflowApp): string;
 //# sourceMappingURL=index.d.ts.map

package/dist/transpiler/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/transpiler/index.ts"],"names":[],"mappings":"AAcA,wBAAgB,SAAS,CACvB,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,MAAM,EAClB,YAAY,CAAC,EAAE,MAAM,GACpB,MAAM,CAkBR"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/transpiler/index.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,WAAW,EAAqB,MAAM,qBAAqB,CAAA;AAKpE,wBAAgB,SAAS,CACvB,IAAI,EAAE,MAAM,EACZ,SAAS,CAAC,EAAE,MAAM,EAClB,YAAY,CAAC,EAAE,MAAM,GACpB,MAAM,CAkBR;AAuID;;GAEG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,WAAW,GAAG,MAAM,CAI1D"}

package/dist/transpiler/index.js

@@ -20,7 +20,7 @@ export function transpile(code, inputFile, tsconfigPath) {
     const { ast } = parseAndGenerateServices(code, parserOptions);
     const workflowAst = { subworkflows: ast.body.flatMap(parseTopLevelStatement) };
     const workflow = generateStepNames(workflowAst);
-    return YAML.stringify(workflow.render(), { lineWidth: 100 });
+    return toYAMLString(workflow);
 }
 function parseTopLevelStatement(node) {
     switch (node.type) {
@@ -104,3 +104,11 @@ function parseSubworkflowDefaultArgument(param) {
         default: defaultValue,
     };
 }
+/**
+ * Print the workflow as a YAML string.
+ */
+export function toYAMLString(workflow) {
+    return YAML.stringify(workflow.render(), {
+        lineWidth: 100,
+    });
+}

package/dist/transpiler/statements.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../src/transpiler/statements.ts"],"names":[],"mappings":"AACA,OAAO,EAAkB,QAAQ,EAAE,MAAM,sCAAsC,CAAA;AAC/E,OAAO,EAWL,QAAQ,EAOR,eAAe,EAChB,MAAM,iBAAiB,CAAA;AAkCxB,MAAM,WAAW,cAAc;IAE7B,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAA;IAE/B,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAA;IAGlC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAKtC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,CAAA;CAC9B;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,QAAQ,CAAC,SAAS,EACxB,GAAG,EAAE,cAAc,GAClB,eAAe,EAAE,CAEnB"}
+{"version":3,"file":"statements.d.ts","sourceRoot":"","sources":["../../src/transpiler/statements.ts"],"names":[],"mappings":"AACA,OAAO,EAAkB,QAAQ,EAAE,MAAM,sCAAsC,CAAA;AAC/E,OAAO,EAWL,QAAQ,EAOR,eAAe,EAChB,MAAM,iBAAiB,CAAA;AAkCxB,MAAM,WAAW,cAAc;IAE7B,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAA;IAE/B,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAA;IAGlC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAKtC,gBAAgB,CAAC,EAAE,QAAQ,EAAE,CAAA;CAC9B;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,QAAQ,CAAC,SAAS,EACxB,GAAG,EAAE,cAAc,GAClB,eAAe,EAAE,CA6EnB"}

package/dist/transpiler/statements.js

@@ -3,18 +3,15 @@ import { AST_NODE_TYPES } from '@typescript-eslint/typescript-estree';
 import { AssignStepAST, CallStepAST, ForRangeStepAST, ForStepAST, JumpTargetAST, NextStepAST, ParallelStepAST, RaiseStepAST, ReturnStepAST, StepsStepAST, SwitchStepAST, TryStepAST, } from '../ast/steps.js';
 import { BinaryExpression, FunctionInvocationExpression, MemberExpression, PrimitiveExpression, VariableReferenceExpression, asExpression, isExpression, isFullyQualifiedName, isLiteral, isPure, nullEx, safeAsExpression, trueEx, } from '../ast/expressions.js';
 import { InternalTranspilingError, WorkflowSyntaxError } from '../errors.js';
-import { chainPairs, isRecord } from '../utils.js';
+import { isRecord } from '../utils.js';
 import { convertExpression, convertMemberExpression, convertObjectExpression, convertObjectAsExpressionValues, isIntrinsic, throwIfSpread, isIntrinsicStatment as isIntrinsicStatement, convertVariableNameExpression, } from './expressions.js';
 import { blockingFunctions } from './generated/functionMetadata.js';
 export function parseStatement(node, ctx) {
-    return parseStatementRecursively(node, undefined, ctx);
-}
-function parseStatementRecursively(node, nextNode, ctx) {
     switch (node.type) {
         case AST_NODE_TYPES.BlockStatement:
-            return chainPairs(R.partialRight(parseStatementRecursively, [ctx]), node.body);
+            return node.body.flatMap((node) => parseStatement(node, ctx));
         case AST_NODE_TYPES.VariableDeclaration:
-            return convertVariableDeclarations(node.declarations, ctx);
+            return convertVariableDeclarations(node, ctx);
         case AST_NODE_TYPES.ExpressionStatement:
             if (node.expression.type === AST_NODE_TYPES.AssignmentExpression) {
                 return assignmentExpressionToSteps(node.expression, ctx);
@@ -45,14 +42,8 @@ function parseStatementRecursively(node, nextNode, ctx) {
             return [breakStatementToNextStep(node, ctx)];
         case AST_NODE_TYPES.ContinueStatement:
             return [continueStatementToNextStep(node, ctx)];
-        case AST_NODE_TYPES.TryStatement: {
-            let retryPolicy = undefined;
-            if (nextNode?.type === AST_NODE_TYPES.ExpressionStatement &&
-                nextNode.expression.type === AST_NODE_TYPES.CallExpression) {
-                retryPolicy = parseRetryPolicy(nextNode.expression);
-            }
-            return tryStatementToTrySteps(node, retryPolicy, ctx);
-        }
+        case AST_NODE_TYPES.TryStatement:
+            return tryStatementToTrySteps(node, ctx);
         case AST_NODE_TYPES.LabeledStatement:
             return labeledStep(node, ctx);
         case AST_NODE_TYPES.EmptyStatement:
@@ -68,8 +59,11 @@ function parseStatementRecursively(node, nextNode, ctx) {
             throw new WorkflowSyntaxError(`TODO: encountered unsupported type: ${node.type}`, node.loc);
     }
 }
-function convertVariableDeclarations(declarations, ctx) {
-    return declarations.flatMap((decl) => {
+function convertVariableDeclarations(node, ctx) {
+    if (node.kind !== 'const' && node.kind !== 'let') {
+        throw new WorkflowSyntaxError('Only const and let variable declarations are supported', node.loc);
+    }
+    return node.declarations.flatMap((decl) => {
         if (decl.id.type === AST_NODE_TYPES.Identifier) {
             return convertInitializer(decl.id.name, decl.init, ctx);
         }
@@ -885,7 +879,8 @@ function continueStatementToNextStep(node, ctx) {
     }
     return new NextStepAST(target);
 }
-function tryStatementToTrySteps(node, retryPolicy, ctx) {
+function tryStatementToTrySteps(node, ctx) {
+    const retryPolicy = extractRetryPolicy(node.block);
     if (!node.finalizer) {
         // Basic try-catch without a finally block
         const baseTryStep = parseTryCatchRetry(node, ctx, retryPolicy);
@@ -1033,27 +1028,30 @@ function labeledStep(node, ctx) {
     }
     return steps;
 }
-function parseRetryPolicy(node) {
-    const callee = node.callee;
-    if (callee.type !== AST_NODE_TYPES.Identifier ||
-        callee.name !== 'retry_policy') {
-        // Ignore everything else besides retry_policy()
-        return undefined;
-    }
-    if (node.arguments.length < 1) {
-        throw new WorkflowSyntaxError('Required argument missing', node.loc);
-    }
-    const arg0 = throwIfSpread(node.arguments).map(convertExpression)[0];
-    const argsLoc = node.arguments[0].loc;
-    if (isFullyQualifiedName(arg0)) {
-        return arg0.toString();
-    }
-    else if (arg0.expressionType === 'primitive' && isRecord(arg0.value)) {
-        return retryPolicyFromParams(arg0.value, argsLoc);
-    }
-    else {
-        throw new WorkflowSyntaxError('Unexpected type', argsLoc);
+function extractRetryPolicy(tryBlock) {
+    // Find and parse the first retry_policy() in tryBlock
+    for (const statement of tryBlock.body) {
+        if (statement.type === AST_NODE_TYPES.ExpressionStatement &&
+            statement.expression.type === AST_NODE_TYPES.CallExpression &&
+            statement.expression.callee.type === AST_NODE_TYPES.Identifier &&
+            statement.expression.callee.name === 'retry_policy') {
+            if (statement.expression.arguments.length < 1) {
+                throw new WorkflowSyntaxError('Required argument missing', statement.expression.loc);
+            }
+            const arg0 = throwIfSpread(statement.expression.arguments).map(convertExpression)[0];
+            const argsLoc = statement.expression.arguments[0].loc;
+            if (isFullyQualifiedName(arg0)) {
+                return arg0.toString();
+            }
+            else if (arg0.expressionType === 'primitive' && isRecord(arg0.value)) {
+                return retryPolicyFromParams(arg0.value, argsLoc);
+            }
+            else {
+                throw new WorkflowSyntaxError('Unexpected type', argsLoc);
+            }
+        }
     }
+    return undefined;
 }
 function retryPolicyFromParams(paramsObject, argsLoc) {
     const params = R.map(asExpression, paramsObject);

package/dist/utils.d.ts

@@ -1,9 +1,2 @@
 export declare function isRecord(object: unknown): object is Record<keyof never, unknown>;
-/**
- * Like arr.flatMap() but the callback takes two consecutive array elements.
- *
- * During the last execution of the callback, the second argument (which would
- * be element after the last array element) will be undefined.
- */
-export declare function chainPairs<T, U>(callback: (val: T, next: T | undefined) => U[], arr: readonly T[]): U[];
 //# sourceMappingURL=utils.d.ts.map

package/dist/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAEA,wBAAgB,QAAQ,CACtB,MAAM,EAAE,OAAO,GACd,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,EAAE,OAAO,CAAC,CAExC;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAC7B,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,SAAS,KAAK,CAAC,EAAE,EAC9C,GAAG,EAAE,SAAS,CAAC,EAAE,GAChB,CAAC,EAAE,CAKL"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,wBAAgB,QAAQ,CACtB,MAAM,EAAE,OAAO,GACd,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,EAAE,OAAO,CAAC,CAExC"}

package/dist/utils.js

@@ -1,13 +1,3 @@
-import * as R from 'ramda';
 export function isRecord(object) {
     return object instanceof Object && object.constructor === Object;
 }
-/**
- * Like arr.flatMap() but the callback takes two consecutive array elements.
- *
- * During the last execution of the callback, the second argument (which would
- * be element after the last array element) will be undefined.
- */
-export function chainPairs(callback, arr) {
-    return R.chain(R.apply(callback), R.zip(arr, R.append(undefined, R.tail(arr))));
-}

package/language_reference.md

@@ -20,6 +20,14 @@ Semicolon can be used as optional statement delimitter.
 - Array: `[1, 2, 3]`
 - Map: `{temperature: -12, unit: "Celsius"}`
 
+The Typescript type alias `WorkflowsValue` (provided by `ts2workflows/types/workflowslib`) represents any valid Workflows value. Sample usage:
+
+```typescript
+import { WorkflowsValue } from 'ts2workflows/types/workflowslib'
+
+const x: WorkflowsValue = [1, 2]
+```
+
 ### Array type
 
 ⚠️ Arrays are not objects in GCP Workflows. In particular, methods like `[].map()` and `[].concat()` are not available.
@@ -46,7 +54,7 @@ Note that `null` and `undefined` still are distinct types on the type checking s
 
 Expressions that combine variables with operators such as `+`, `>`, `==` perform implict type conversions according to the [rules listed on GCP Workflows documentation](https://cloud.google.com/workflows/docs/reference/syntax/datatypes#implicit-conversions). For example, applying `+` to a string and a number concatenates the values into a string.
 
-⚠️ Checking if a variable is null or not must be done by an explicit comparison: `if (var != null) {...}`. Relying on an implicit conversion (`if (var) {...}` where `var` is not a boolean) results in a TypeError at runtime.
+⚠️ Checking if a variable is null or not must be done by an explicit comparison: `if (myVar != null) {...}`. Relying on an implicit conversion (`if (myVvar) {...}` where `myVar` is not a boolean) results in a TypeError at runtime.
 
 ## Expressions
 
@@ -156,6 +164,25 @@ String literals can include interpolated variables. The syntax is same as in Typ
 
 ⚠️ Interpolated values can (only) be numbers, strings, booleans or nulls. Other types will throw a TypeError at runtime.
 
+## Variable scopes
+
+Variable scopes are determined by the [GCP Workflows scoping rules](https://cloud.google.com/workflows/docs/reference/syntax/variables#variable-scope).
+
+Variables have function scope, that is they are available in the function where they are defined. Variables defined in `for` and `except` blocks are exceptions; they belong to a local scope of the block in which they are declared.
+
+⚠️ TypeScript has more strict scoping rules. In Typescript, variables declared with `let` or `const` are accessible only on the block in which they are declared (i.e. variable declared inside an if branch cannot be accessed after the if block ends). Programs written according to TypeScript scoping rules always produce valid GCP Workflows programs, too.
+
+Trying to read a variable before it is assigned causes a runtime error.
+
+⚠️ If variable is not initialized at declaration, its value is implicitly set to `null`. For example, the following program will return `null`. (Note that the sample is not valid as a TypeScript program. TypeScript compiler consideres variable `x` to be used before it is assigned.)
+
+```typescript
+function main(): void {
+  let x: number | null
+  return x
+}
+```
+
 ## Subworkflow definitions
 
 ts2workflows converts Typescript `function`s to subworkflow definitions.
@@ -694,24 +721,25 @@ If an exception gets thrown inside a try block, the stack trace in Workflows log
 
 ## Retrying on errors
 
-It is possible to set a retry policy for a try-catch statement. Because Typescript does not have `retry` keyword, the retry is implemented by a special `retry_policy` intrinsic function. It must be called immediately after a try-catch block. `retry_policy` is ignored elsewhere.
+It is possible to set a retry policy for a try-catch statement. Because Typescript does not have `retry` keyword, the retry is implemented by a `retry_policy` intrinsic function. It must be called inside a try block. `retry_policy` is ignored elsewhere. Only the first `retry_policy` in a try block has any effect.
 
 The arguments of `retry_policy` specify which errors are retried and how many times. The arguments can be either a policy provided by GCP Workflows or a custom retry policy as explained in the next sections.
 
-If an exception gets thrown in a try block and the retry policy covers the exception, the try block is executed again. Finally and catch blocks are run after possible retry attempts. The following sample retries `http.get()` if it throws an HTTP error and executes `sys.log('Error!')` and `closeConnection()` after retry attempts.
+If an exception gets thrown in a try block and the retry policy covers the exception, the try block is executed again. Finally and catch blocks are run if the try block keeps failing after all retry attempts have been used up. The following sample retries `http.get()` if it throws an HTTP error covered by `http.default_retry`. It logs `sys.log('Error!')` if the number of retry attempts exceed retry policy's maximum retry attempt count. `closeConnection()` is run always regardless of whether the HTTP request succeeded or failed.
 
 ```javascript
 import { http, retry_policy, sys } from 'ts2workflows/types/workflowslib'
 
 function main() {
   try {
+    retry_policy(http.default_retry)
+
     http.get('https://visit.dreamland.test/')
   } catch (err) {
     sys.log('Error!')
   } finally {
     closeConnection()
   }
-  retry_policy(http.default_retry)
 }
 ```
 
@@ -724,11 +752,12 @@ import { http, retry_policy } from 'ts2workflows/types/workflowslib'
 
 function main() {
   try {
+    retry_policy(http.default_retry)
+
     http.get('https://visit.dreamland.test/')
   } catch (err) {
     return 'Error!'
   }
-  retry_policy(http.default_retry)
 }
 ```
 
@@ -743,19 +772,20 @@ import { http, retry_policy } from 'ts2workflows/types/workflowslib'
 
 function main() {
   try {
+    retry_policy({
+      predicate: http.default_retry_predicate,
+      max_retries: 3,
+      backoff: {
+        initial_delay: 0.5,
+        max_delay: 60,
+        multiplier: 2,
+      },
+    })
+
     http.get('https://visit.dreamland.test/')
   } catch (err) {
     return 'Error!'
   }
-  retry_policy({
-    predicate: http.default_retry_predicate,
-    max_retries: 3,
-    backoff: {
-      initial_delay: 0.5,
-      max_delay: 60,
-      multiplier: 2,
-    },
-  })
 }
 ```
 
@@ -904,7 +934,7 @@ function retry_policy(
 ): void
 ```
 
-A retry policy can be attached to a `try`-`catch` block be calling `retry_policy` as the next statement after the `try`-`catch`. ts2workflows ignores `retry_policy` everywhere else except after a `try`-`catch`.
+A retry policy can be attached to a `try`-`catch` block by calling `retry_policy` inside the `try` block. ts2workflows ignores `retry_policy` everywhere else.
 
 See the section on [retrying errors](#retrying-on-errors).
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts2workflows",
-  "version": "0.10.0",
+  "version": "0.11.0",
   "description": "Transpile Typescript code to GCP Workflows programs",
   "homepage": "https://github.com/aajanki/ts2workflows",
   "repository": {
@@ -12,7 +12,7 @@
   "types": "dist/index.d.ts",
   "type": "module",
   "engines": {
-    "node": ">=18"
+    "node": ">=20"
   },
   "scripts": {
     "build": "rimraf dist && npm run build:functionmetadata && tsc",
@@ -20,6 +20,7 @@
     "lint": "eslint src test scripts",
     "format": "prettier . --write",
     "test": "mocha",
+    "test-coverage": "nyc mocha",
     "prepare": "husky && npm run build"
   },
   "lint-staged": {
@@ -61,25 +62,26 @@
     "@eslint/js": "^9.10.0",
     "@types/chai": "^5.0.1",
     "@types/mocha": "^10.0.6",
-    "@types/node": "^18",
+    "@types/node": "^20",
     "@types/ramda": "^0.30.2",
     "@typescript-eslint/eslint-plugin": "^8.0.0",
     "@typescript-eslint/parser": "^8.0.0",
     "chai": "^5.1.1",
     "eslint": "^9.10.0",
     "husky": "^9.1.6",
-    "lint-staged": "^15.2.10",
+    "lint-staged": "^16.1.2",
     "mocha": "^11.1.0",
+    "nyc": "^17.1.0",
     "prettier": "^3.2.5",
-    "rimraf": "^5.0.10",
-    "tsx": "^4.10.2",
+    "rimraf": "^6.0.1",
+    "tsx": "~4.19.4",
     "typescript-eslint": "^8.0.0"
   },
   "dependencies": {
     "@typescript-eslint/typescript-estree": "^8.0.0",
-    "commander": "^13.1.0",
-    "ramda": "^0.30.1",
-    "typescript": "^5.0.0",
+    "commander": "^14.0.0",
+    "ramda": "^0.31.3",
+    "typescript": "^5.4.0",
     "yaml": "^2.4.2"
   }
 }

package/types/workflowslib.d.ts

@@ -10,6 +10,28 @@ export interface bytes {
   readonly [__bytes_tag]: 'bytes'
 }
 
+// GCP Workflows data types
+export type WorkflowsValue =
+  | boolean
+  | number
+  | string
+  | bytes
+  | WorkflowsValue[]
+  | { [key: string]: WorkflowsValue }
+  | null
+
+type BooleanNumberStringListOrDict =
+  | boolean
+  | number
+  | string
+  | BooleanNumberStringListOrDict[]
+  | { [key: string]: BooleanNumberStringListOrDict }
+
+type HTTPQuery = Record<
+  string,
+  string | number | boolean | (string | number | boolean)[]
+>
+
 // GCP Workflows expression helpers
 
 export declare function double(x: string | number): number
@@ -19,19 +41,10 @@ export declare function keys(map: Record<string, unknown>): string[]
 export declare function len(
   value: unknown[] | Record<string, unknown> | string,
 ): number
-export declare function get_type(
-  value:
-    | boolean
-    | number
-    | string
-    | unknown[]
-    | Record<string, unknown>
-    | null
-    | bytes
-    | undefined,
-): string
+export declare function get_type(value: unknown): string
 
 // GCP Workflows standard library functions
+// https://cloud.google.com/workflows/docs/reference/stdlib/overview
 
 export declare namespace base64 {
   function decode(data: bytes, padding?: boolean): string
@@ -39,7 +52,7 @@ export declare namespace base64 {
 }
 
 export declare namespace events {
-  function await_callback<ResponseType = unknown>(
+  function await_callback<ResponseType = WorkflowsValue>(
     callback: {
       url: string
     },
@@ -80,15 +93,12 @@ export declare namespace http {
   export function default_retry_predicate_non_idempotent(
     errormap: Record<string, any>,
   ): boolean
-  function _delete<ResponseType = unknown>(
+  function _delete<ResponseType = WorkflowsValue>(
     url: string,
     timeout?: number,
-    body?: unknown,
+    body?: any,
     headers?: Record<string, string>,
-    query?: Record<
-      string,
-      string | number | boolean | (string | number | boolean)[]
-    >,
+    query?: HTTPQuery,
     auth?: Record<string, string>,
     private_service_name?: string,
     ca_certificate?: string,
@@ -97,14 +107,11 @@ export declare namespace http {
     code: number
     headers: Record<string, string>
   }
-  export function get<ResponseType = unknown>(
+  export function get<ResponseType = WorkflowsValue>(
     url: string,
     timeout?: number,
     headers?: Record<string, string>,
-    query?: Record<
-      string,
-      string | number | boolean | (string | number | boolean)[]
-    >,
+    query?: HTTPQuery,
     auth?: Record<string, string>,
     private_service_name?: string,
     ca_certificate?: string,
@@ -113,10 +120,10 @@ export declare namespace http {
     code: number
     headers: Record<string, string>
   }
-  export function patch<ResponseType = unknown>(
+  export function patch<ResponseType = WorkflowsValue>(
     url: string,
     timeout?: number,
-    body?: unknown,
+    body?: any,
     headers?: Record<string, string>,
     query?: Record<
       string,
@@ -130,15 +137,12 @@ export declare namespace http {
     code: number
     headers: Record<string, string>
   }
-  export function post<ResponseType = unknown>(
+  export function post<ResponseType = WorkflowsValue>(
     url: string,
     timeout?: number,
-    body?: unknown,
+    body?: any,
     headers?: Record<string, string>,
-    query?: Record<
-      string,
-      string | number | boolean | (string | number | boolean)[]
-    >,
+    query?: HTTPQuery,
     auth?: Record<string, string>,
     private_service_name?: string,
     ca_certificate?: string,
@@ -147,15 +151,12 @@ export declare namespace http {
     code: number
     headers: Record<string, string>
   }
-  export function put<ResponseType = unknown>(
+  export function put<ResponseType = WorkflowsValue>(
     url: string,
     timeout?: number,
-    body?: unknown,
+    body?: any,
     headers?: Record<string, string>,
-    query?: Record<
-      string,
-      string | number | boolean | (string | number | boolean)[]
-    >,
+    query?: HTTPQuery,
     auth?: Record<string, string>,
     private_service_name?: string,
     ca_certificate?: string,
@@ -164,16 +165,13 @@ export declare namespace http {
     code: number
     headers: Record<string, string>
   }
-  export function request<ResponseType = unknown>(
+  export function request<ResponseType = WorkflowsValue>(
     method: string,
     url: string,
     timeout?: number,
-    body?: unknown,
+    body?: any,
     headers?: Record<string, string>,
-    query?: Record<
-      string,
-      string | number | boolean | (string | number | boolean)[]
-    >,
+    query?: HTTPQuery,
     auth?: Record<string, string>,
     private_service_name?: string,
     ca_certificate?: string,
@@ -186,16 +184,9 @@ export declare namespace http {
 }
 
 export declare namespace json {
-  function decode(data: bytes | string): unknown
+  function decode(data: bytes | string): WorkflowsValue
   function encode(
-    data:
-      | string
-      | number
-      | boolean
-      | unknown[]
-      | Record<string, unknown>
-      | null
-      | undefined,
+    data: unknown,
     indent?:
       | boolean
       | {
@@ -204,14 +195,7 @@ export declare namespace json {
         },
   ): bytes
   function encode_to_string(
-    data:
-      | string
-      | number
-      | boolean
-      | unknown[]
-      | Record<string, unknown>
-      | null
-      | undefined,
+    data: unknown,
     indent?:
       | boolean
       | {
@@ -228,10 +212,10 @@ export declare namespace list {
 
 export declare namespace map {
   function _delete<T>(map: Record<string, T>, key: string): Record<string, T>
-  export function get<T, K extends string | string[]>(
-    map: Record<string, T>,
-    keys: K,
-  ): K extends string ? T | null : unknown
+  // map.get() with a string key, returns a property value or null
+  export function get<T>(map: Record<string, T>, keys: string): T | null
+  // map.get() with string[] key or non-object lookup, the return type is unknown
+  export function get(map: any, keys: string | string[]): WorkflowsValue
   export function merge<T, U>(
     first: Record<string, T>,
     second: Record<string, U>,
@@ -250,23 +234,23 @@ export declare namespace math {
 }
 
 export declare namespace retry {
-  function always(exception: unknown): void
+  function always(exception: any): void
   const default_backoff: {
     initial_delay: number
     max_delay: number
     multiplier: number
   }
-  function never(exception: unknown): void
+  function never(exception: any): void
 }
 
 export declare namespace sys {
   function get_env(name: string): string | null
   function get_env(name: string, default_value: string): string
   function log(
-    data?: number | boolean | string | unknown[] | object,
+    data?: BooleanNumberStringListOrDict,
     severity?: string,
-    text?: number | boolean | string | unknown[] | object,
-    json?: object,
+    text?: BooleanNumberStringListOrDict,
+    json?: Record<string, any>,
     timeout?: number,
   ): void
   function now(): number
@@ -456,9 +440,9 @@ export declare namespace googleapis {
       interface GoogleLongrunningOperation {
         done: boolean
         error?: Status
-        metadata?: Record<string, unknown>
+        metadata?: Record<string, any>
         name: string
-        response: Record<string, unknown>
+        response: Record<string, any>
       }
       interface GoogleLongrunningListOperationsResponse {
         nextPageToken?: string
@@ -476,7 +460,7 @@ export declare namespace googleapis {
         displayName: string
         labels: Record<string, string>
         locationId: string
-        metadata?: Record<string, unknown>
+        metadata?: Record<string, any>
         name: string
       }
       interface ListCollectionIdsRequest {
@@ -538,7 +522,7 @@ export declare namespace googleapis {
       }
       interface Status {
         code: number
-        details: Record<string, unknown>[]
+        details: Record<string, any>[]
         message: string
       }
       interface StructuredQuery {
@@ -751,5 +735,5 @@ export declare function retry_policy(
 
 export declare function call_step<T, A extends any[]>(
   func: (...args: A) => T,
-  arguments: Record<string, unknown>,
+  arguments: Record<string, any>,
 ): T

package/dist/ast/validation.d.ts

@@ -1,20 +0,0 @@
-import { WorkflowApp } from './workflows.js';
-export declare class WorkflowValidationError extends Error {
-    issues: WorkflowIssue[];
-    constructor(issues: WorkflowIssue[]);
-}
-export interface WorkflowIssue {
-    type: string;
-    message: string;
-}
-/**
- * Execute all syntax validators on a WorkflowApp app.
- *
- * Throws a WorkflowValidationError if there are errors.
- */
-export declare function validate(app: WorkflowApp, disabled?: string[]): void;
-/**
- * Returns all validator names.
- */
-export declare function validatorNames(): string[];
-//# sourceMappingURL=validation.d.ts.map

package/dist/ast/validation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/ast/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,WAAW,EAAE,MAAM,gBAAgB,CAAA;AAEzD,qBAAa,uBAAwB,SAAQ,KAAK;IAChD,MAAM,EAAE,aAAa,EAAE,CAAA;gBAEX,MAAM,EAAE,aAAa,EAAE;CAMpC;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;CAChB;AAWD;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,GAAG,EAAE,WAAW,EAAE,QAAQ,GAAE,MAAM,EAAO,GAAG,IAAI,CAexE;AAED;;GAEG;AACH,wBAAgB,cAAc,IAAI,MAAM,EAAE,CAEzC"}

package/dist/ast/validation.js

@@ -1,214 +0,0 @@
-export class WorkflowValidationError extends Error {
-    issues;
-    constructor(issues) {
-        const issueTypes = Array.from(new Set(issues.map((x) => x.type))).join(', ');
-        super(`Workflow validation error: ${issueTypes}`);
-        this.name = this.constructor.name;
-        this.issues = issues;
-    }
-}
-const validators = new Map([
-    ['invalidWorkflowName', validateWorkflowNames],
-    ['duplicatedStepName', validateNoDuplicateStepNames],
-    ['duplicatedSubworkflowName', validateNoDuplicateSubworkflowNames],
-    ['missingJumpTarget', validateJumpTargets],
-    ['wrongNumberOfCallArguments', validateSubworkflowArguments],
-]);
-/**
- * Execute all syntax validators on a WorkflowApp app.
- *
- * Throws a WorkflowValidationError if there are errors.
- */
-export function validate(app, disabled = []) {
-    const selectedValidators = Array.from(validators.entries()).filter(([name]) => {
-        return !disabled.includes(name);
-    });
-    const issues = [];
-    for (const [, validator] of selectedValidators) {
-        issues.push(...validator(app));
-    }
-    if (issues.length > 0) {
-        throw new WorkflowValidationError(issues);
-    }
-}
-/**
- * Returns all validator names.
- */
-export function validatorNames() {
-    return Array.from(validators.keys());
-}
-/**
- * Check that workflow does not contain duplicated step names.
- */
-function validateNoDuplicateStepNames(app) {
-    function collectDuplicateStepName(wf) {
-        const seen = new Set();
-        const duplicates = new Set();
-        for (const { name } of wf.iterateStepsDepthFirst()) {
-            if (seen.has(name)) {
-                duplicates.add(name);
-            }
-            else {
-                seen.add(name);
-            }
-        }
-        return Array.from(duplicates.values());
-    }
-    const issues = [];
-    for (const subworkflow of app.subworkflows) {
-        const duplicatesInSub = collectDuplicateStepName(subworkflow);
-        if (duplicatesInSub.length > 0) {
-            const message = `Duplicated step names in the subworkflow ${subworkflow.name}: ${duplicatesInSub.join(', ')}`;
-            issues.push({ type: 'duplicatedStepName', message: message });
-        }
-    }
-    return issues;
-}
-/**
- * Check that there are no two subworkflows sharing a name.
- */
-function validateNoDuplicateSubworkflowNames(app) {
-    const seen = new Set();
-    const duplicates = new Set();
-    const names = app.subworkflows.map((w) => w.name);
-    for (const name of names) {
-        if (seen.has(name)) {
-            duplicates.add(name);
-        }
-        else {
-            seen.add(name);
-        }
-    }
-    if (duplicates.size > 0) {
-        const dup = Array.from(duplicates);
-        return [
-            {
-                type: 'duplicatedSubworkflowName',
-                message: `Duplicated subworkflow names: ${dup.join(', ')}`,
-            },
-        ];
-    }
-    else {
-        return [];
-    }
-}
-/**
- * Check that the subworkflow names are valid.
- */
-function validateWorkflowNames(app) {
-    const issues = [];
-    const names = app.subworkflows.map((w) => w.name);
-    if (names.some((x) => x === '')) {
-        issues.push({
-            type: 'invalidWorkflowName',
-            message: 'Subworkflow must have a non-empty name',
-        });
-    }
-    return issues;
-}
-/**
- * Check that there are no jumps (calls, nexts) to non-existing steps or subworkflows
- */
-function validateJumpTargets(app) {
-    const subworkflowNames = app.subworkflows.map((w) => w.name);
-    return app.subworkflows.flatMap((subworkflow) => {
-        return validateJumpTargetsInWorkflow(subworkflow, subworkflowNames);
-    });
-}
-function validateJumpTargetsInWorkflow(workflow, subworkflowNames) {
-    const issues = [];
-    const stepNames = [];
-    for (const { name } of workflow.iterateStepsDepthFirst()) {
-        stepNames.push(name);
-    }
-    function validCallTarget(name) {
-        return (isRuntimeFunction(name) ||
-            stepNames.includes(name) ||
-            subworkflowNames.includes(name));
-    }
-    function validNextTarget(name) {
-        return stepNames.includes(name) || name === 'end'; // accepts "next: end"
-    }
-    for (const { name, step } of workflow.iterateStepsDepthFirst()) {
-        if (step.tag === 'call') {
-            if (!validCallTarget(step.call))
-                issues.push({
-                    type: 'missingJumpTarget',
-                    message: `Call target "${step.call}" in step "${name}" not found`,
-                });
-        }
-        else if (step.tag === 'switch') {
-            if (step.next && !validNextTarget(step.next)) {
-                issues.push({
-                    type: 'missingJumpTarget',
-                    message: `Next target "${step.next}" in step "${name}" not found`,
-                });
-            }
-            step.conditions.forEach((cond) => {
-                if (cond.next && !validNextTarget(cond.next)) {
-                    issues.push({
-                        type: 'missingJumpTarget',
-                        message: `Next target "${cond.next}" in step "${name}" not found`,
-                    });
-                }
-            });
-        }
-    }
-    return issues;
-}
-/**
- * Check that call steps provide a correct number of argument in subworkflow calls
- */
-function validateSubworkflowArguments(app) {
-    const issues = [];
-    const paramsBySubworkflow = new Map(app.subworkflows.map((x) => [
-        x.name,
-        {
-            required: x.params
-                ?.filter((x) => typeof x.default === 'undefined')
-                .map((x) => x.name) ?? [],
-            optional: x.params
-                ?.filter((x) => typeof x.default !== 'undefined')
-                .map((x) => x.name) ?? [],
-        },
-    ]));
-    app.subworkflows.forEach((subw) => {
-        issues.push(...findIssuesInCallArguments(subw, paramsBySubworkflow));
-    });
-    return issues;
-}
-function findIssuesInCallArguments(wf, argumentBySubworkflowName) {
-    const issues = [];
-    for (const { name, step } of wf.iterateStepsDepthFirst()) {
-        if (step.tag === 'call' && argumentBySubworkflowName.has(step.call)) {
-            const requiredArgs = argumentBySubworkflowName.get(step.call)?.required ?? [];
-            const optionalArgs = argumentBySubworkflowName.get(step.call)?.optional ?? [];
-            const requiredAndOptionalArgs = requiredArgs.concat(optionalArgs);
-            const providedArgs = Object.keys(step.args ?? {});
-            const requiredButNotProvided = requiredArgs.filter((x) => !providedArgs.includes(x));
-            const providedButNotRequired = providedArgs.filter((x) => !requiredAndOptionalArgs.includes(x));
-            if (requiredButNotProvided.length > 0) {
-                issues.push({
-                    type: 'wrongNumberOfCallArguments',
-                    message: `Required parameters not provided on call step "${name}": ${JSON.stringify(requiredButNotProvided)}`,
-                });
-            }
-            if (providedButNotRequired.length > 0) {
-                issues.push({
-                    type: 'wrongNumberOfCallArguments',
-                    message: `Extra arguments provided on call step "${name}": ${JSON.stringify(providedButNotRequired)}`,
-                });
-            }
-        }
-    }
-    return issues;
-}
-/**
- * Returns true if functionName is a standard library or connector function.
- *
- * Current version does a minimalistic checking and assumes that a name is a
- * standard library function if it contains a dot.
- */
-function isRuntimeFunction(functionName) {
-    return functionName.includes('.');
-}