You can not select more than 25 topics
			Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
		
		
		
		
		
			
		
			
				
					833 lines
				
				22 KiB
			
		
		
			
		
	
	
					833 lines
				
				22 KiB
			| 
								 
											3 years ago
										 
									 | 
							
								import type {ScopeValueSets, NameValue, ValueScope, ValueScopeName} from "./scope"
							 | 
						||
| 
								 | 
							
								import {_, nil, _Code, Code, Name, UsedNames, CodeItem, addCodeArg, _CodeOrName} from "./code"
							 | 
						||
| 
								 | 
							
								import {Scope, varKinds} from "./scope"
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								export {_, str, strConcat, nil, getProperty, stringify, regexpCode, Name, Code} from "./code"
							 | 
						||
| 
								 | 
							
								export {Scope, ScopeStore, ValueScope, ValueScopeName, ScopeValueSets, varKinds} from "./scope"
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								// type for expressions that can be safely inserted in code without quotes
							 | 
						||
| 
								 | 
							
								export type SafeExpr = Code | number | boolean | null
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								// type that is either Code of function that adds code to CodeGen instance using its methods
							 | 
						||
| 
								 | 
							
								export type Block = Code | (() => void)
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								export const operators = {
							 | 
						||
| 
								 | 
							
								  GT: new _Code(">"),
							 | 
						||
| 
								 | 
							
								  GTE: new _Code(">="),
							 | 
						||
| 
								 | 
							
								  LT: new _Code("<"),
							 | 
						||
| 
								 | 
							
								  LTE: new _Code("<="),
							 | 
						||
| 
								 | 
							
								  EQ: new _Code("==="),
							 | 
						||
| 
								 | 
							
								  NEQ: new _Code("!=="),
							 | 
						||
| 
								 | 
							
								  NOT: new _Code("!"),
							 | 
						||
| 
								 | 
							
								  OR: new _Code("||"),
							 | 
						||
| 
								 | 
							
								  AND: new _Code("&&"),
							 | 
						||
| 
								 | 
							
								  ADD: new _Code("+"),
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								abstract class Node {
							 | 
						||
| 
								 | 
							
								  abstract readonly names: UsedNames
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNodes(): this | ChildNode | ChildNode[] | undefined {
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(_names: UsedNames, _constants: Constants): this | undefined {
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // get count(): number {
							 | 
						||
| 
								 | 
							
								  //   return 1
							 | 
						||
| 
								 | 
							
								  // }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Def extends Node {
							 | 
						||
| 
								 | 
							
								  constructor(private readonly varKind: Name, private readonly name: Name, private rhs?: SafeExpr) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render({es5, _n}: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    const varKind = es5 ? varKinds.var : this.varKind
							 | 
						||
| 
								 | 
							
								    const rhs = this.rhs === undefined ? "" : ` = ${this.rhs}`
							 | 
						||
| 
								 | 
							
								    return `${varKind} ${this.name}${rhs};` + _n
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(names: UsedNames, constants: Constants): this | undefined {
							 | 
						||
| 
								 | 
							
								    if (!names[this.name.str]) return
							 | 
						||
| 
								 | 
							
								    if (this.rhs) this.rhs = optimizeExpr(this.rhs, names, constants)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    return this.rhs instanceof _CodeOrName ? this.rhs.names : {}
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Assign extends Node {
							 | 
						||
| 
								 | 
							
								  constructor(readonly lhs: Code, public rhs: SafeExpr, private readonly sideEffects?: boolean) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render({_n}: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return `${this.lhs} = ${this.rhs};` + _n
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(names: UsedNames, constants: Constants): this | undefined {
							 | 
						||
| 
								 | 
							
								    if (this.lhs instanceof Name && !names[this.lhs.str] && !this.sideEffects) return
							 | 
						||
| 
								 | 
							
								    this.rhs = optimizeExpr(this.rhs, names, constants)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    const names = this.lhs instanceof Name ? {} : {...this.lhs.names}
							 | 
						||
| 
								 | 
							
								    return addExprNames(names, this.rhs)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class AssignOp extends Assign {
							 | 
						||
| 
								 | 
							
								  constructor(lhs: Code, private readonly op: Code, rhs: SafeExpr, sideEffects?: boolean) {
							 | 
						||
| 
								 | 
							
								    super(lhs, rhs, sideEffects)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render({_n}: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return `${this.lhs} ${this.op}= ${this.rhs};` + _n
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Label extends Node {
							 | 
						||
| 
								 | 
							
								  readonly names: UsedNames = {}
							 | 
						||
| 
								 | 
							
								  constructor(readonly label: Name) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render({_n}: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return `${this.label}:` + _n
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Break extends Node {
							 | 
						||
| 
								 | 
							
								  readonly names: UsedNames = {}
							 | 
						||
| 
								 | 
							
								  constructor(readonly label?: Code) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render({_n}: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    const label = this.label ? ` ${this.label}` : ""
							 | 
						||
| 
								 | 
							
								    return `break${label};` + _n
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Throw extends Node {
							 | 
						||
| 
								 | 
							
								  constructor(readonly error: Code) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render({_n}: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return `throw ${this.error};` + _n
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    return this.error.names
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class AnyCode extends Node {
							 | 
						||
| 
								 | 
							
								  constructor(private code: SafeExpr) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render({_n}: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return `${this.code};` + _n
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNodes(): this | undefined {
							 | 
						||
| 
								 | 
							
								    return `${this.code}` ? this : undefined
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(names: UsedNames, constants: Constants): this {
							 | 
						||
| 
								 | 
							
								    this.code = optimizeExpr(this.code, names, constants)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    return this.code instanceof _CodeOrName ? this.code.names : {}
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								abstract class ParentNode extends Node {
							 | 
						||
| 
								 | 
							
								  constructor(readonly nodes: ChildNode[] = []) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return this.nodes.reduce((code, n) => code + n.render(opts), "")
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNodes(): this | ChildNode | ChildNode[] | undefined {
							 | 
						||
| 
								 | 
							
								    const {nodes} = this
							 | 
						||
| 
								 | 
							
								    let i = nodes.length
							 | 
						||
| 
								 | 
							
								    while (i--) {
							 | 
						||
| 
								 | 
							
								      const n = nodes[i].optimizeNodes()
							 | 
						||
| 
								 | 
							
								      if (Array.isArray(n)) nodes.splice(i, 1, ...n)
							 | 
						||
| 
								 | 
							
								      else if (n) nodes[i] = n
							 | 
						||
| 
								 | 
							
								      else nodes.splice(i, 1)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    return nodes.length > 0 ? this : undefined
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(names: UsedNames, constants: Constants): this | undefined {
							 | 
						||
| 
								 | 
							
								    const {nodes} = this
							 | 
						||
| 
								 | 
							
								    let i = nodes.length
							 | 
						||
| 
								 | 
							
								    while (i--) {
							 | 
						||
| 
								 | 
							
								      // iterating backwards improves 1-pass optimization
							 | 
						||
| 
								 | 
							
								      const n = nodes[i]
							 | 
						||
| 
								 | 
							
								      if (n.optimizeNames(names, constants)) continue
							 | 
						||
| 
								 | 
							
								      subtractNames(names, n.names)
							 | 
						||
| 
								 | 
							
								      nodes.splice(i, 1)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    return nodes.length > 0 ? this : undefined
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    return this.nodes.reduce((names: UsedNames, n) => addNames(names, n.names), {})
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // get count(): number {
							 | 
						||
| 
								 | 
							
								  //   return this.nodes.reduce((c, n) => c + n.count, 1)
							 | 
						||
| 
								 | 
							
								  // }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								abstract class BlockNode extends ParentNode {
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return "{" + opts._n + super.render(opts) + "}" + opts._n
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Root extends ParentNode {}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Else extends BlockNode {
							 | 
						||
| 
								 | 
							
								  static readonly kind = "else"
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class If extends BlockNode {
							 | 
						||
| 
								 | 
							
								  static readonly kind = "if"
							 | 
						||
| 
								 | 
							
								  else?: If | Else
							 | 
						||
| 
								 | 
							
								  constructor(private condition: Code | boolean, nodes?: ChildNode[]) {
							 | 
						||
| 
								 | 
							
								    super(nodes)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    let code = `if(${this.condition})` + super.render(opts)
							 | 
						||
| 
								 | 
							
								    if (this.else) code += "else " + this.else.render(opts)
							 | 
						||
| 
								 | 
							
								    return code
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNodes(): If | ChildNode[] | undefined {
							 | 
						||
| 
								 | 
							
								    super.optimizeNodes()
							 | 
						||
| 
								 | 
							
								    const cond = this.condition
							 | 
						||
| 
								 | 
							
								    if (cond === true) return this.nodes // else is ignored here
							 | 
						||
| 
								 | 
							
								    let e = this.else
							 | 
						||
| 
								 | 
							
								    if (e) {
							 | 
						||
| 
								 | 
							
								      const ns = e.optimizeNodes()
							 | 
						||
| 
								 | 
							
								      e = this.else = Array.isArray(ns) ? new Else(ns) : (ns as Else | undefined)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    if (e) {
							 | 
						||
| 
								 | 
							
								      if (cond === false) return e instanceof If ? e : e.nodes
							 | 
						||
| 
								 | 
							
								      if (this.nodes.length) return this
							 | 
						||
| 
								 | 
							
								      return new If(not(cond), e instanceof If ? [e] : e.nodes)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    if (cond === false || !this.nodes.length) return undefined
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(names: UsedNames, constants: Constants): this | undefined {
							 | 
						||
| 
								 | 
							
								    this.else = this.else?.optimizeNames(names, constants)
							 | 
						||
| 
								 | 
							
								    if (!(super.optimizeNames(names, constants) || this.else)) return
							 | 
						||
| 
								 | 
							
								    this.condition = optimizeExpr(this.condition, names, constants)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    const names = super.names
							 | 
						||
| 
								 | 
							
								    addExprNames(names, this.condition)
							 | 
						||
| 
								 | 
							
								    if (this.else) addNames(names, this.else.names)
							 | 
						||
| 
								 | 
							
								    return names
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // get count(): number {
							 | 
						||
| 
								 | 
							
								  //   return super.count + (this.else?.count || 0)
							 | 
						||
| 
								 | 
							
								  // }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								abstract class For extends BlockNode {
							 | 
						||
| 
								 | 
							
								  static readonly kind = "for"
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class ForLoop extends For {
							 | 
						||
| 
								 | 
							
								  constructor(private iteration: Code) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return `for(${this.iteration})` + super.render(opts)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(names: UsedNames, constants: Constants): this | undefined {
							 | 
						||
| 
								 | 
							
								    if (!super.optimizeNames(names, constants)) return
							 | 
						||
| 
								 | 
							
								    this.iteration = optimizeExpr(this.iteration, names, constants)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    return addNames(super.names, this.iteration.names)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class ForRange extends For {
							 | 
						||
| 
								 | 
							
								  constructor(
							 | 
						||
| 
								 | 
							
								    private readonly varKind: Name,
							 | 
						||
| 
								 | 
							
								    private readonly name: Name,
							 | 
						||
| 
								 | 
							
								    private readonly from: SafeExpr,
							 | 
						||
| 
								 | 
							
								    private readonly to: SafeExpr
							 | 
						||
| 
								 | 
							
								  ) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    const varKind = opts.es5 ? varKinds.var : this.varKind
							 | 
						||
| 
								 | 
							
								    const {name, from, to} = this
							 | 
						||
| 
								 | 
							
								    return `for(${varKind} ${name}=${from}; ${name}<${to}; ${name}++)` + super.render(opts)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    const names = addExprNames(super.names, this.from)
							 | 
						||
| 
								 | 
							
								    return addExprNames(names, this.to)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class ForIter extends For {
							 | 
						||
| 
								 | 
							
								  constructor(
							 | 
						||
| 
								 | 
							
								    private readonly loop: "of" | "in",
							 | 
						||
| 
								 | 
							
								    private readonly varKind: Name,
							 | 
						||
| 
								 | 
							
								    private readonly name: Name,
							 | 
						||
| 
								 | 
							
								    private iterable: Code
							 | 
						||
| 
								 | 
							
								  ) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return `for(${this.varKind} ${this.name} ${this.loop} ${this.iterable})` + super.render(opts)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(names: UsedNames, constants: Constants): this | undefined {
							 | 
						||
| 
								 | 
							
								    if (!super.optimizeNames(names, constants)) return
							 | 
						||
| 
								 | 
							
								    this.iterable = optimizeExpr(this.iterable, names, constants)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    return addNames(super.names, this.iterable.names)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Func extends BlockNode {
							 | 
						||
| 
								 | 
							
								  static readonly kind = "func"
							 | 
						||
| 
								 | 
							
								  constructor(public name: Name, public args: Code, public async?: boolean) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    const _async = this.async ? "async " : ""
							 | 
						||
| 
								 | 
							
								    return `${_async}function ${this.name}(${this.args})` + super.render(opts)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Return extends ParentNode {
							 | 
						||
| 
								 | 
							
								  static readonly kind = "return"
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return "return " + super.render(opts)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Try extends BlockNode {
							 | 
						||
| 
								 | 
							
								  catch?: Catch
							 | 
						||
| 
								 | 
							
								  finally?: Finally
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    let code = "try" + super.render(opts)
							 | 
						||
| 
								 | 
							
								    if (this.catch) code += this.catch.render(opts)
							 | 
						||
| 
								 | 
							
								    if (this.finally) code += this.finally.render(opts)
							 | 
						||
| 
								 | 
							
								    return code
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNodes(): this {
							 | 
						||
| 
								 | 
							
								    super.optimizeNodes()
							 | 
						||
| 
								 | 
							
								    this.catch?.optimizeNodes() as Catch | undefined
							 | 
						||
| 
								 | 
							
								    this.finally?.optimizeNodes() as Finally | undefined
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimizeNames(names: UsedNames, constants: Constants): this {
							 | 
						||
| 
								 | 
							
								    super.optimizeNames(names, constants)
							 | 
						||
| 
								 | 
							
								    this.catch?.optimizeNames(names, constants)
							 | 
						||
| 
								 | 
							
								    this.finally?.optimizeNames(names, constants)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  get names(): UsedNames {
							 | 
						||
| 
								 | 
							
								    const names = super.names
							 | 
						||
| 
								 | 
							
								    if (this.catch) addNames(names, this.catch.names)
							 | 
						||
| 
								 | 
							
								    if (this.finally) addNames(names, this.finally.names)
							 | 
						||
| 
								 | 
							
								    return names
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // get count(): number {
							 | 
						||
| 
								 | 
							
								  //   return super.count + (this.catch?.count || 0) + (this.finally?.count || 0)
							 | 
						||
| 
								 | 
							
								  // }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Catch extends BlockNode {
							 | 
						||
| 
								 | 
							
								  static readonly kind = "catch"
							 | 
						||
| 
								 | 
							
								  constructor(readonly error: Name) {
							 | 
						||
| 
								 | 
							
								    super()
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return `catch(${this.error})` + super.render(opts)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								class Finally extends BlockNode {
							 | 
						||
| 
								 | 
							
								  static readonly kind = "finally"
							 | 
						||
| 
								 | 
							
								  render(opts: CGOptions): string {
							 | 
						||
| 
								 | 
							
								    return "finally" + super.render(opts)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								type StartBlockNode = If | For | Func | Return | Try
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								type LeafNode = Def | Assign | Label | Break | Throw | AnyCode
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								type ChildNode = StartBlockNode | LeafNode
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								type EndBlockNodeType =
							 | 
						||
| 
								 | 
							
								  | typeof If
							 | 
						||
| 
								 | 
							
								  | typeof Else
							 | 
						||
| 
								 | 
							
								  | typeof For
							 | 
						||
| 
								 | 
							
								  | typeof Func
							 | 
						||
| 
								 | 
							
								  | typeof Return
							 | 
						||
| 
								 | 
							
								  | typeof Catch
							 | 
						||
| 
								 | 
							
								  | typeof Finally
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								type Constants = Record<string, SafeExpr | undefined>
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								export interface CodeGenOptions {
							 | 
						||
| 
								 | 
							
								  es5?: boolean
							 | 
						||
| 
								 | 
							
								  lines?: boolean
							 | 
						||
| 
								 | 
							
								  ownProperties?: boolean
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								interface CGOptions extends CodeGenOptions {
							 | 
						||
| 
								 | 
							
								  _n: "\n" | ""
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								export class CodeGen {
							 | 
						||
| 
								 | 
							
								  readonly _scope: Scope
							 | 
						||
| 
								 | 
							
								  readonly _extScope: ValueScope
							 | 
						||
| 
								 | 
							
								  readonly _values: ScopeValueSets = {}
							 | 
						||
| 
								 | 
							
								  private readonly _nodes: ParentNode[]
							 | 
						||
| 
								 | 
							
								  private readonly _blockStarts: number[] = []
							 | 
						||
| 
								 | 
							
								  private readonly _constants: Constants = {}
							 | 
						||
| 
								 | 
							
								  private readonly opts: CGOptions
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  constructor(extScope: ValueScope, opts: CodeGenOptions = {}) {
							 | 
						||
| 
								 | 
							
								    this.opts = {...opts, _n: opts.lines ? "\n" : ""}
							 | 
						||
| 
								 | 
							
								    this._extScope = extScope
							 | 
						||
| 
								 | 
							
								    this._scope = new Scope({parent: extScope})
							 | 
						||
| 
								 | 
							
								    this._nodes = [new Root()]
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  toString(): string {
							 | 
						||
| 
								 | 
							
								    return this._root.render(this.opts)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // returns unique name in the internal scope
							 | 
						||
| 
								 | 
							
								  name(prefix: string): Name {
							 | 
						||
| 
								 | 
							
								    return this._scope.name(prefix)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // reserves unique name in the external scope
							 | 
						||
| 
								 | 
							
								  scopeName(prefix: string): ValueScopeName {
							 | 
						||
| 
								 | 
							
								    return this._extScope.name(prefix)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // reserves unique name in the external scope and assigns value to it
							 | 
						||
| 
								 | 
							
								  scopeValue(prefixOrName: ValueScopeName | string, value: NameValue): Name {
							 | 
						||
| 
								 | 
							
								    const name = this._extScope.value(prefixOrName, value)
							 | 
						||
| 
								 | 
							
								    const vs = this._values[name.prefix] || (this._values[name.prefix] = new Set())
							 | 
						||
| 
								 | 
							
								    vs.add(name)
							 | 
						||
| 
								 | 
							
								    return name
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  getScopeValue(prefix: string, keyOrRef: unknown): ValueScopeName | undefined {
							 | 
						||
| 
								 | 
							
								    return this._extScope.getValue(prefix, keyOrRef)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // return code that assigns values in the external scope to the names that are used internally
							 | 
						||
| 
								 | 
							
								  // (same names that were returned by gen.scopeName or gen.scopeValue)
							 | 
						||
| 
								 | 
							
								  scopeRefs(scopeName: Name): Code {
							 | 
						||
| 
								 | 
							
								    return this._extScope.scopeRefs(scopeName, this._values)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  scopeCode(): Code {
							 | 
						||
| 
								 | 
							
								    return this._extScope.scopeCode(this._values)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private _def(
							 | 
						||
| 
								 | 
							
								    varKind: Name,
							 | 
						||
| 
								 | 
							
								    nameOrPrefix: Name | string,
							 | 
						||
| 
								 | 
							
								    rhs?: SafeExpr,
							 | 
						||
| 
								 | 
							
								    constant?: boolean
							 | 
						||
| 
								 | 
							
								  ): Name {
							 | 
						||
| 
								 | 
							
								    const name = this._scope.toName(nameOrPrefix)
							 | 
						||
| 
								 | 
							
								    if (rhs !== undefined && constant) this._constants[name.str] = rhs
							 | 
						||
| 
								 | 
							
								    this._leafNode(new Def(varKind, name, rhs))
							 | 
						||
| 
								 | 
							
								    return name
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `const` declaration (`var` in es5 mode)
							 | 
						||
| 
								 | 
							
								  const(nameOrPrefix: Name | string, rhs: SafeExpr, _constant?: boolean): Name {
							 | 
						||
| 
								 | 
							
								    return this._def(varKinds.const, nameOrPrefix, rhs, _constant)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `let` declaration with optional assignment (`var` in es5 mode)
							 | 
						||
| 
								 | 
							
								  let(nameOrPrefix: Name | string, rhs?: SafeExpr, _constant?: boolean): Name {
							 | 
						||
| 
								 | 
							
								    return this._def(varKinds.let, nameOrPrefix, rhs, _constant)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `var` declaration with optional assignment
							 | 
						||
| 
								 | 
							
								  var(nameOrPrefix: Name | string, rhs?: SafeExpr, _constant?: boolean): Name {
							 | 
						||
| 
								 | 
							
								    return this._def(varKinds.var, nameOrPrefix, rhs, _constant)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // assignment code
							 | 
						||
| 
								 | 
							
								  assign(lhs: Code, rhs: SafeExpr, sideEffects?: boolean): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._leafNode(new Assign(lhs, rhs, sideEffects))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `+=` code
							 | 
						||
| 
								 | 
							
								  add(lhs: Code, rhs: SafeExpr): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._leafNode(new AssignOp(lhs, operators.ADD, rhs))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // appends passed SafeExpr to code or executes Block
							 | 
						||
| 
								 | 
							
								  code(c: Block | SafeExpr): CodeGen {
							 | 
						||
| 
								 | 
							
								    if (typeof c == "function") c()
							 | 
						||
| 
								 | 
							
								    else if (c !== nil) this._leafNode(new AnyCode(c))
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // returns code for object literal for the passed argument list of key-value pairs
							 | 
						||
| 
								 | 
							
								  object(...keyValues: [Name | string, SafeExpr | string][]): _Code {
							 | 
						||
| 
								 | 
							
								    const code: CodeItem[] = ["{"]
							 | 
						||
| 
								 | 
							
								    for (const [key, value] of keyValues) {
							 | 
						||
| 
								 | 
							
								      if (code.length > 1) code.push(",")
							 | 
						||
| 
								 | 
							
								      code.push(key)
							 | 
						||
| 
								 | 
							
								      if (key !== value || this.opts.es5) {
							 | 
						||
| 
								 | 
							
								        code.push(":")
							 | 
						||
| 
								 | 
							
								        addCodeArg(code, value)
							 | 
						||
| 
								 | 
							
								      }
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    code.push("}")
							 | 
						||
| 
								 | 
							
								    return new _Code(code)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `if` clause (or statement if `thenBody` and, optionally, `elseBody` are passed)
							 | 
						||
| 
								 | 
							
								  if(condition: Code | boolean, thenBody?: Block, elseBody?: Block): CodeGen {
							 | 
						||
| 
								 | 
							
								    this._blockNode(new If(condition))
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								    if (thenBody && elseBody) {
							 | 
						||
| 
								 | 
							
								      this.code(thenBody).else().code(elseBody).endIf()
							 | 
						||
| 
								 | 
							
								    } else if (thenBody) {
							 | 
						||
| 
								 | 
							
								      this.code(thenBody).endIf()
							 | 
						||
| 
								 | 
							
								    } else if (elseBody) {
							 | 
						||
| 
								 | 
							
								      throw new Error('CodeGen: "else" body without "then" body')
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `else if` clause - invalid without `if` or after `else` clauses
							 | 
						||
| 
								 | 
							
								  elseIf(condition: Code | boolean): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._elseNode(new If(condition))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `else` clause - only valid after `if` or `else if` clauses
							 | 
						||
| 
								 | 
							
								  else(): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._elseNode(new Else())
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // end `if` statement (needed if gen.if was used only with condition)
							 | 
						||
| 
								 | 
							
								  endIf(): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._endBlockNode(If, Else)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private _for(node: For, forBody?: Block): CodeGen {
							 | 
						||
| 
								 | 
							
								    this._blockNode(node)
							 | 
						||
| 
								 | 
							
								    if (forBody) this.code(forBody).endFor()
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // a generic `for` clause (or statement if `forBody` is passed)
							 | 
						||
| 
								 | 
							
								  for(iteration: Code, forBody?: Block): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._for(new ForLoop(iteration), forBody)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `for` statement for a range of values
							 | 
						||
| 
								 | 
							
								  forRange(
							 | 
						||
| 
								 | 
							
								    nameOrPrefix: Name | string,
							 | 
						||
| 
								 | 
							
								    from: SafeExpr,
							 | 
						||
| 
								 | 
							
								    to: SafeExpr,
							 | 
						||
| 
								 | 
							
								    forBody: (index: Name) => void,
							 | 
						||
| 
								 | 
							
								    varKind: Code = this.opts.es5 ? varKinds.var : varKinds.let
							 | 
						||
| 
								 | 
							
								  ): CodeGen {
							 | 
						||
| 
								 | 
							
								    const name = this._scope.toName(nameOrPrefix)
							 | 
						||
| 
								 | 
							
								    return this._for(new ForRange(varKind, name, from, to), () => forBody(name))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `for-of` statement (in es5 mode replace with a normal for loop)
							 | 
						||
| 
								 | 
							
								  forOf(
							 | 
						||
| 
								 | 
							
								    nameOrPrefix: Name | string,
							 | 
						||
| 
								 | 
							
								    iterable: Code,
							 | 
						||
| 
								 | 
							
								    forBody: (item: Name) => void,
							 | 
						||
| 
								 | 
							
								    varKind: Code = varKinds.const
							 | 
						||
| 
								 | 
							
								  ): CodeGen {
							 | 
						||
| 
								 | 
							
								    const name = this._scope.toName(nameOrPrefix)
							 | 
						||
| 
								 | 
							
								    if (this.opts.es5) {
							 | 
						||
| 
								 | 
							
								      const arr = iterable instanceof Name ? iterable : this.var("_arr", iterable)
							 | 
						||
| 
								 | 
							
								      return this.forRange("_i", 0, _`${arr}.length`, (i) => {
							 | 
						||
| 
								 | 
							
								        this.var(name, _`${arr}[${i}]`)
							 | 
						||
| 
								 | 
							
								        forBody(name)
							 | 
						||
| 
								 | 
							
								      })
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    return this._for(new ForIter("of", varKind, name, iterable), () => forBody(name))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `for-in` statement.
							 | 
						||
| 
								 | 
							
								  // With option `ownProperties` replaced with a `for-of` loop for object keys
							 | 
						||
| 
								 | 
							
								  forIn(
							 | 
						||
| 
								 | 
							
								    nameOrPrefix: Name | string,
							 | 
						||
| 
								 | 
							
								    obj: Code,
							 | 
						||
| 
								 | 
							
								    forBody: (item: Name) => void,
							 | 
						||
| 
								 | 
							
								    varKind: Code = this.opts.es5 ? varKinds.var : varKinds.const
							 | 
						||
| 
								 | 
							
								  ): CodeGen {
							 | 
						||
| 
								 | 
							
								    if (this.opts.ownProperties) {
							 | 
						||
| 
								 | 
							
								      return this.forOf(nameOrPrefix, _`Object.keys(${obj})`, forBody)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    const name = this._scope.toName(nameOrPrefix)
							 | 
						||
| 
								 | 
							
								    return this._for(new ForIter("in", varKind, name, obj), () => forBody(name))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // end `for` loop
							 | 
						||
| 
								 | 
							
								  endFor(): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._endBlockNode(For)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `label` statement
							 | 
						||
| 
								 | 
							
								  label(label: Name): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._leafNode(new Label(label))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `break` statement
							 | 
						||
| 
								 | 
							
								  break(label?: Code): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._leafNode(new Break(label))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `return` statement
							 | 
						||
| 
								 | 
							
								  return(value: Block | SafeExpr): CodeGen {
							 | 
						||
| 
								 | 
							
								    const node = new Return()
							 | 
						||
| 
								 | 
							
								    this._blockNode(node)
							 | 
						||
| 
								 | 
							
								    this.code(value)
							 | 
						||
| 
								 | 
							
								    if (node.nodes.length !== 1) throw new Error('CodeGen: "return" should have one node')
							 | 
						||
| 
								 | 
							
								    return this._endBlockNode(Return)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `try` statement
							 | 
						||
| 
								 | 
							
								  try(tryBody: Block, catchCode?: (e: Name) => void, finallyCode?: Block): CodeGen {
							 | 
						||
| 
								 | 
							
								    if (!catchCode && !finallyCode) throw new Error('CodeGen: "try" without "catch" and "finally"')
							 | 
						||
| 
								 | 
							
								    const node = new Try()
							 | 
						||
| 
								 | 
							
								    this._blockNode(node)
							 | 
						||
| 
								 | 
							
								    this.code(tryBody)
							 | 
						||
| 
								 | 
							
								    if (catchCode) {
							 | 
						||
| 
								 | 
							
								      const error = this.name("e")
							 | 
						||
| 
								 | 
							
								      this._currNode = node.catch = new Catch(error)
							 | 
						||
| 
								 | 
							
								      catchCode(error)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    if (finallyCode) {
							 | 
						||
| 
								 | 
							
								      this._currNode = node.finally = new Finally()
							 | 
						||
| 
								 | 
							
								      this.code(finallyCode)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    return this._endBlockNode(Catch, Finally)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `throw` statement
							 | 
						||
| 
								 | 
							
								  throw(error: Code): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._leafNode(new Throw(error))
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // start self-balancing block
							 | 
						||
| 
								 | 
							
								  block(body?: Block, nodeCount?: number): CodeGen {
							 | 
						||
| 
								 | 
							
								    this._blockStarts.push(this._nodes.length)
							 | 
						||
| 
								 | 
							
								    if (body) this.code(body).endBlock(nodeCount)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // end the current self-balancing block
							 | 
						||
| 
								 | 
							
								  endBlock(nodeCount?: number): CodeGen {
							 | 
						||
| 
								 | 
							
								    const len = this._blockStarts.pop()
							 | 
						||
| 
								 | 
							
								    if (len === undefined) throw new Error("CodeGen: not in self-balancing block")
							 | 
						||
| 
								 | 
							
								    const toClose = this._nodes.length - len
							 | 
						||
| 
								 | 
							
								    if (toClose < 0 || (nodeCount !== undefined && toClose !== nodeCount)) {
							 | 
						||
| 
								 | 
							
								      throw new Error(`CodeGen: wrong number of nodes: ${toClose} vs ${nodeCount} expected`)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    this._nodes.length = len
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // `function` heading (or definition if funcBody is passed)
							 | 
						||
| 
								 | 
							
								  func(name: Name, args: Code = nil, async?: boolean, funcBody?: Block): CodeGen {
							 | 
						||
| 
								 | 
							
								    this._blockNode(new Func(name, args, async))
							 | 
						||
| 
								 | 
							
								    if (funcBody) this.code(funcBody).endFunc()
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // end function definition
							 | 
						||
| 
								 | 
							
								  endFunc(): CodeGen {
							 | 
						||
| 
								 | 
							
								    return this._endBlockNode(Func)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  optimize(n = 1): void {
							 | 
						||
| 
								 | 
							
								    while (n-- > 0) {
							 | 
						||
| 
								 | 
							
								      this._root.optimizeNodes()
							 | 
						||
| 
								 | 
							
								      this._root.optimizeNames(this._root.names, this._constants)
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private _leafNode(node: LeafNode): CodeGen {
							 | 
						||
| 
								 | 
							
								    this._currNode.nodes.push(node)
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private _blockNode(node: StartBlockNode): void {
							 | 
						||
| 
								 | 
							
								    this._currNode.nodes.push(node)
							 | 
						||
| 
								 | 
							
								    this._nodes.push(node)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private _endBlockNode(N1: EndBlockNodeType, N2?: EndBlockNodeType): CodeGen {
							 | 
						||
| 
								 | 
							
								    const n = this._currNode
							 | 
						||
| 
								 | 
							
								    if (n instanceof N1 || (N2 && n instanceof N2)) {
							 | 
						||
| 
								 | 
							
								      this._nodes.pop()
							 | 
						||
| 
								 | 
							
								      return this
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    throw new Error(`CodeGen: not in block "${N2 ? `${N1.kind}/${N2.kind}` : N1.kind}"`)
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private _elseNode(node: If | Else): CodeGen {
							 | 
						||
| 
								 | 
							
								    const n = this._currNode
							 | 
						||
| 
								 | 
							
								    if (!(n instanceof If)) {
							 | 
						||
| 
								 | 
							
								      throw new Error('CodeGen: "else" without "if"')
							 | 
						||
| 
								 | 
							
								    }
							 | 
						||
| 
								 | 
							
								    this._currNode = n.else = node
							 | 
						||
| 
								 | 
							
								    return this
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private get _root(): Root {
							 | 
						||
| 
								 | 
							
								    return this._nodes[0] as Root
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private get _currNode(): ParentNode {
							 | 
						||
| 
								 | 
							
								    const ns = this._nodes
							 | 
						||
| 
								 | 
							
								    return ns[ns.length - 1]
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  private set _currNode(node: ParentNode) {
							 | 
						||
| 
								 | 
							
								    const ns = this._nodes
							 | 
						||
| 
								 | 
							
								    ns[ns.length - 1] = node
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  // get nodeCount(): number {
							 | 
						||
| 
								 | 
							
								  //   return this._root.count
							 | 
						||
| 
								 | 
							
								  // }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								function addNames(names: UsedNames, from: UsedNames): UsedNames {
							 | 
						||
| 
								 | 
							
								  for (const n in from) names[n] = (names[n] || 0) + (from[n] || 0)
							 | 
						||
| 
								 | 
							
								  return names
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								function addExprNames(names: UsedNames, from: SafeExpr): UsedNames {
							 | 
						||
| 
								 | 
							
								  return from instanceof _CodeOrName ? addNames(names, from.names) : names
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								function optimizeExpr<T extends SafeExpr | Code>(expr: T, names: UsedNames, constants: Constants): T
							 | 
						||
| 
								 | 
							
								function optimizeExpr(expr: SafeExpr, names: UsedNames, constants: Constants): SafeExpr {
							 | 
						||
| 
								 | 
							
								  if (expr instanceof Name) return replaceName(expr)
							 | 
						||
| 
								 | 
							
								  if (!canOptimize(expr)) return expr
							 | 
						||
| 
								 | 
							
								  return new _Code(
							 | 
						||
| 
								 | 
							
								    expr._items.reduce((items: CodeItem[], c: SafeExpr | string) => {
							 | 
						||
| 
								 | 
							
								      if (c instanceof Name) c = replaceName(c)
							 | 
						||
| 
								 | 
							
								      if (c instanceof _Code) items.push(...c._items)
							 | 
						||
| 
								 | 
							
								      else items.push(c)
							 | 
						||
| 
								 | 
							
								      return items
							 | 
						||
| 
								 | 
							
								    }, [])
							 | 
						||
| 
								 | 
							
								  )
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  function replaceName(n: Name): SafeExpr {
							 | 
						||
| 
								 | 
							
								    const c = constants[n.str]
							 | 
						||
| 
								 | 
							
								    if (c === undefined || names[n.str] !== 1) return n
							 | 
						||
| 
								 | 
							
								    delete names[n.str]
							 | 
						||
| 
								 | 
							
								    return c
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								  function canOptimize(e: SafeExpr): e is _Code {
							 | 
						||
| 
								 | 
							
								    return (
							 | 
						||
| 
								 | 
							
								      e instanceof _Code &&
							 | 
						||
| 
								 | 
							
								      e._items.some(
							 | 
						||
| 
								 | 
							
								        (c) => c instanceof Name && names[c.str] === 1 && constants[c.str] !== undefined
							 | 
						||
| 
								 | 
							
								      )
							 | 
						||
| 
								 | 
							
								    )
							 | 
						||
| 
								 | 
							
								  }
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								function subtractNames(names: UsedNames, from: UsedNames): void {
							 | 
						||
| 
								 | 
							
								  for (const n in from) names[n] = (names[n] || 0) - (from[n] || 0)
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								export function not<T extends Code | SafeExpr>(x: T): T
							 | 
						||
| 
								 | 
							
								export function not(x: Code | SafeExpr): Code | SafeExpr {
							 | 
						||
| 
								 | 
							
								  return typeof x == "boolean" || typeof x == "number" || x === null ? !x : _`!${par(x)}`
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								const andCode = mappend(operators.AND)
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								// boolean AND (&&) expression with the passed arguments
							 | 
						||
| 
								 | 
							
								export function and(...args: Code[]): Code {
							 | 
						||
| 
								 | 
							
								  return args.reduce(andCode)
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								const orCode = mappend(operators.OR)
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								// boolean OR (||) expression with the passed arguments
							 | 
						||
| 
								 | 
							
								export function or(...args: Code[]): Code {
							 | 
						||
| 
								 | 
							
								  return args.reduce(orCode)
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								type MAppend = (x: Code, y: Code) => Code
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								function mappend(op: Code): MAppend {
							 | 
						||
| 
								 | 
							
								  return (x, y) => (x === nil ? y : y === nil ? x : _`${par(x)} ${op} ${par(y)}`)
							 | 
						||
| 
								 | 
							
								}
							 | 
						||
| 
								 | 
							
								
							 | 
						||
| 
								 | 
							
								function par(x: Code): Code {
							 | 
						||
| 
								 | 
							
								  return x instanceof Name ? x : _`(${x})`
							 | 
						||
| 
								 | 
							
								}
							 |