@rsconcept/domain 1.0.0

package/dist/library/oss-layout-api.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/library/oss.ts","../../src/library/oss-layout-api.ts"],"sourcesContent":["/**\n * Module: Schema of Synthesis Operations.\n */\n\nimport { type Graph } from '../graph';\n\nimport { type LibraryItem } from './library';\nimport { type NodePosition, type OssLayout } from './oss-layout';\n\n/** Represents OSS node type. */\nexport const NodeType = {\n  OPERATION: 1,\n  BLOCK: 2\n} as const;\nexport type NodeType = (typeof NodeType)[keyof typeof NodeType];\n\n/** Represents OSS graph node. */\ninterface OssNode extends NodePosition {\n  nodeType: NodeType;\n  parent: number | null;\n}\n\n/** Represents {@link Operation} type. */\nexport const OperationType = {\n  INPUT: 'input',\n  SYNTHESIS: 'synthesis',\n  REPLICA: 'replica'\n} as const;\nexport type OperationType = (typeof OperationType)[keyof typeof OperationType];\n\n/** Represents {@link Substitution} extended data. */\nexport interface CstSubstituteInfo {\n  original: number;\n  substitution: number;\n  operation: number;\n  original_schema: number;\n  original_alias: string;\n  original_term: string;\n  substitution_schema: number;\n  substitution_alias: string;\n  substitution_term: string;\n}\n\n/** Represents Operation common attributes. */\ninterface OperationBase extends OssNode {\n  id: number;\n  alias: string;\n  title: string;\n  description: string;\n  operation_type: OperationType;\n  result: number | null;\n  nodeType: typeof NodeType.OPERATION;\n  has_additions: boolean;\n}\n\n/** Represents Input Operation. */\nexport interface OperationInput extends OperationBase {\n  operation_type: typeof OperationType.INPUT;\n  is_import: boolean;\n}\n\n/** Represents Replica Operation. */\ninterface OperationReplica extends OperationBase {\n  operation_type: typeof OperationType.REPLICA;\n  target: number;\n}\n\n/** Represents Synthesis Operation. */\nexport interface OperationSynthesis extends OperationBase {\n  operation_type: typeof OperationType.SYNTHESIS;\n  is_consolidation: boolean; // aka 'diamond synthesis'\n  substitutions: CstSubstituteInfo[];\n  arguments: number[];\n}\n\n/** Represents Operation. */\nexport type Operation = OperationInput | OperationReplica | OperationSynthesis;\n\n/** Represents Block. */\nexport interface Block extends OssNode {\n  id: number;\n  oss: number;\n  title: string;\n  description: string;\n  parent: number | null;\n  nodeType: typeof NodeType.BLOCK;\n}\n\n/** Represents item of OperationSchema. */\nexport type OssItem = Operation | Block;\n\n/** Represents {@link OperationSchema} statistics. */\nexport interface OperationSchemaStats {\n  count_all: number;\n  count_inputs: number;\n  count_synthesis: number;\n  count_schemas: number;\n  count_owned: number;\n  count_block: number;\n  count_references: number;\n}\n\n/** Represents OperationSchema. */\nexport interface OperationSchema extends LibraryItem {\n  editors: number[];\n  operations: Operation[];\n  blocks: Block[];\n  replicas: {\n    original: number;\n    replica: number;\n  }[];\n  layout: OssLayout;\n  arguments: {\n    operation: number;\n    argument: number;\n  }[];\n  substitutions: CstSubstituteInfo[];\n\n  graph: Graph;\n  extendedGraph: Graph;\n  hierarchy: Graph<string>;\n  schemas: number[];\n  stats: OperationSchemaStats;\n  operationByID: Map<number, Operation>;\n  blockByID: Map<number, Block>;\n  itemByNodeID: Map<string, OssItem>;\n}\n\n/** Represents substitution error description. */\nexport interface SubstitutionErrorDescription {\n  errorType: SubstitutionErrorType;\n  params: string[];\n}\n\n/** Represents Substitution table error types. */\nexport const SubstitutionErrorType = {\n  invalidIDs: 0,\n  incorrectCst: 1,\n  invalidClasses: 2,\n  invalidBasic: 3,\n  invalidConstant: 4,\n  typificationCycle: 5,\n  baseSubstitutionNotSet: 6,\n  unequalTypification: 7,\n  unequalExpressions: 8,\n  unequalArgsCount: 9,\n  unequalArgs: 10,\n  invalidNominal: 11\n} as const;\nexport type SubstitutionErrorType = (typeof SubstitutionErrorType)[keyof typeof SubstitutionErrorType];\n","import { NodeType, type OperationSchema, OperationType } from './oss';\nimport { type NodePosition, type OssLayout, type Position2D, type Rectangle2D } from './oss-layout';\n\nexport const GRID_SIZE = 10; // pixels - size of OSS grid\nconst MIN_DISTANCE = 2 * GRID_SIZE; // pixels - minimum distance between nodes\n\nexport const OPERATION_NODE_WIDTH = 150;\nexport const OPERATION_NODE_HEIGHT = 40;\n\n/** Layout manipulations for {@link OperationSchema}. */\nexport class LayoutManager {\n  public oss: OperationSchema;\n  public layout: OssLayout;\n\n  constructor(oss: OperationSchema, layout?: OssLayout) {\n    this.oss = oss;\n    if (layout) {\n      this.layout = layout;\n    } else {\n      this.layout = this.oss.layout;\n    }\n  }\n\n  /** Calculate insert position for a new {@link Operation} */\n  newOperationPosition(position: Rectangle2D, parent: number | null, args: number[] = []): Rectangle2D {\n    const result = { ...position };\n    const parentNode = this.layout.find(pos => pos.nodeID === `b${parent}`) ?? null;\n    const operations = this.layout.filter(pos => pos.nodeID.startsWith('o'));\n    const hasArguments = args.length !== 0;\n    if (hasArguments) {\n      const pos = calculatePositionFromArgs(operations.filter(node => args.includes(Number(node.nodeID.slice(1)))));\n      result.x = pos.x;\n      result.y = pos.y;\n    } else if (parentNode) {\n      result.x = parentNode.x + MIN_DISTANCE;\n      result.y = parentNode.y + MIN_DISTANCE;\n    } else {\n      const pos = this.calculatePositionForFreeOperation(result);\n      result.x = pos.x;\n      result.y = pos.y;\n    }\n\n    const siblingBlocks = this.oss.blocks.filter(block => block.parent === parent).map(block => block.nodeID);\n    preventOverlap(\n      result,\n      this.layout.filter(node => siblingBlocks.includes(node.nodeID)),\n      {\n        moveX: !hasArguments,\n        moveY: hasArguments\n      }\n    );\n\n    preventOverlap(result, operations);\n    this.extendParentBounds(parentNode, result);\n\n    return result;\n  }\n\n  /** Calculate insert position for a new {@link Block} */\n  newBlockPosition(position: Rectangle2D, parent: number | null, blocks: number[], operations: number[]): Rectangle2D {\n    const blockNodes = blocks.map(id => this.layout.find(block => block.nodeID === `b${id}`)).filter(node => !!node);\n    const operationNodes = operations\n      .map(id => this.layout.find(operation => operation.nodeID === `o${id}`))\n      .filter(node => !!node);\n    const parentNode = this.layout.find(pos => pos.nodeID === `b${parent}`) ?? null;\n    const parentID = parentNode ? parent : null;\n\n    let result: Rectangle2D = { ...position };\n\n    if (blockNodes.length !== 0 || operationNodes.length !== 0) {\n      result = calculatePositionFromChildren(position, operationNodes, blockNodes);\n    } else if (parentNode) {\n      result = {\n        x: parentNode.x + MIN_DISTANCE,\n        y: parentNode.y + MIN_DISTANCE,\n        width: position.width,\n        height: position.height\n      };\n    } else {\n      result = this.calculatePositionForFreeBlock(result);\n    }\n\n    if (blockNodes.length === 0 && operationNodes.length === 0) {\n      const siblings = this.oss.blocks.filter(block => block.parent === parentID).map(block => block.nodeID);\n      preventOverlap(\n        result,\n        this.layout.filter(node => siblings.includes(node.nodeID))\n      );\n    }\n\n    this.extendParentBounds(parentNode, result);\n    return result;\n  }\n\n  /** Calculate insert position for a new clone of {@link Operation} */\n  newClonePosition(targetID: string): Rectangle2D | null {\n    const targetNode = this.layout.find(pos => pos.nodeID === targetID);\n    if (!targetNode) {\n      return null;\n    } else {\n      return {\n        x: targetNode.x + targetNode.width / 2 + GRID_SIZE,\n        y: targetNode.y + targetNode.height / 2 + GRID_SIZE,\n        width: OPERATION_NODE_WIDTH,\n        height: OPERATION_NODE_HEIGHT\n      };\n    }\n  }\n\n  /** Update layout when parent changes */\n  onChangeParent(targetID: string, newParent: string | null) {\n    const targetNode = this.layout.find(pos => pos.nodeID === targetID);\n    if (!targetNode) {\n      return;\n    }\n\n    const parentNode = this.layout.find(pos => pos.nodeID === newParent) ?? null;\n    const offset = this.calculateOffsetForParentChange(targetNode, parentNode);\n    if (offset.x === 0 && offset.y === 0) {\n      return;\n    }\n\n    targetNode.x += offset.x;\n    targetNode.y += offset.y;\n\n    const children = this.oss.hierarchy.expandAllOutputs([targetID]);\n    const childrenPositions = this.layout.filter(pos => children.includes(pos.nodeID));\n    for (const child of childrenPositions) {\n      child.x += offset.x;\n      child.y += offset.y;\n    }\n\n    this.extendParentBounds(parentNode, targetNode);\n  }\n\n  /** Calculate closest node to the left */\n  selectLeft(targetID: string): string | null {\n    const targetNode = this.layout.find(pos => pos.nodeID === targetID);\n    if (!targetNode) {\n      return null;\n    }\n    const operationNodes = this.layout.filter(pos => pos.nodeID !== targetID && pos.nodeID.startsWith('o'));\n    const leftNodes = operationNodes.filter(pos => pos.x <= targetNode.x);\n    if (leftNodes.length === 0) {\n      return null;\n    }\n    const similarYNodes = leftNodes.filter(pos => Math.abs(pos.y - targetNode.y) <= MIN_DISTANCE);\n    let closestNode: typeof targetNode | null = null;\n    if (similarYNodes.length > 0) {\n      closestNode = similarYNodes.reduce((prev, curr) => (curr.x > prev.x ? curr : prev));\n    } else {\n      closestNode = findClosestNodeByDistance(leftNodes, targetNode);\n    }\n    return closestNode?.nodeID ?? null;\n  }\n\n  /** Calculate closest node to the right */\n  selectRight(targetID: string): string | null {\n    const targetNode = this.layout.find(pos => pos.nodeID === targetID);\n    if (!targetNode) {\n      return null;\n    }\n    const operationNodes = this.layout.filter(pos => pos.nodeID !== targetID && pos.nodeID.startsWith('o'));\n    const rightNodes = operationNodes.filter(pos => pos.x >= targetNode.x);\n    if (rightNodes.length === 0) {\n      return null;\n    }\n    const similarYNodes = rightNodes.filter(pos => Math.abs(pos.y - targetNode.y) <= MIN_DISTANCE);\n    let closestNode: typeof targetNode | null = null;\n    if (similarYNodes.length > 0) {\n      closestNode = similarYNodes.reduce((prev, curr) => (curr.x < prev.x ? curr : prev));\n    } else {\n      closestNode = findClosestNodeByDistance(rightNodes, targetNode);\n    }\n    return closestNode?.nodeID ?? null;\n  }\n\n  /** Calculate closest node upwards */\n  selectUp(targetID: string): string | null {\n    const targetNode = this.layout.find(pos => pos.nodeID === targetID);\n    if (!targetNode) {\n      return null;\n    }\n\n    const operationNodes = this.layout.filter(pos => pos.nodeID !== targetID && pos.nodeID.startsWith('o'));\n    const upperNodes = operationNodes.filter(pos => pos.y <= targetNode.y - MIN_DISTANCE);\n    const targetOperation = this.oss.itemByNodeID.get(targetID);\n    if (upperNodes.length === 0 || !targetOperation || targetOperation.nodeType === NodeType.BLOCK) {\n      return null;\n    }\n\n    const predecessors = this.oss.graph.expandAllInputs([targetOperation.id]);\n    const predecessorNodes = upperNodes.filter(pos => predecessors.includes(Number(pos.nodeID.slice(1))));\n\n    let closestNode: typeof targetNode | null = null;\n    if (predecessorNodes.length > 0) {\n      closestNode = findClosestNodeByDistance(predecessorNodes, targetNode);\n    } else {\n      closestNode = findClosestNodeByDistance(upperNodes, targetNode);\n    }\n    return closestNode?.nodeID ?? null;\n  }\n\n  /** Calculate closest node downwards */\n  selectDown(targetID: string): string | null {\n    const targetNode = this.layout.find(pos => pos.nodeID === targetID);\n    if (!targetNode) {\n      return null;\n    }\n\n    const operationNodes = this.layout.filter(pos => pos.nodeID !== targetID && pos.nodeID.startsWith('o'));\n    const lowerNodes = operationNodes.filter(pos => pos.y >= targetNode.y - MIN_DISTANCE);\n    const targetOperation = this.oss.itemByNodeID.get(targetID);\n    if (lowerNodes.length === 0 || !targetOperation || targetOperation.nodeType === NodeType.BLOCK) {\n      return null;\n    }\n\n    const descendants = this.oss.graph.expandAllOutputs([targetOperation.id]);\n    const descendantsNodes = lowerNodes.filter(pos => descendants.includes(Number(pos.nodeID.slice(1))));\n\n    let closestNode: typeof targetNode | null = null;\n    if (descendantsNodes.length > 0) {\n      closestNode = findClosestNodeByDistance(descendantsNodes, targetNode);\n    } else {\n      closestNode = findClosestNodeByDistance(lowerNodes, targetNode);\n    }\n    return closestNode?.nodeID ?? null;\n  }\n\n  private extendParentBounds(parent: NodePosition | null, child: Rectangle2D) {\n    if (!parent) {\n      return;\n    }\n    const borderX = child.x + child.width + MIN_DISTANCE;\n    const borderY = child.y + child.height + MIN_DISTANCE;\n    parent.width = Math.max(parent.width, borderX - parent.x);\n    parent.height = Math.max(parent.height, borderY - parent.y);\n  }\n\n  private calculatePositionForFreeOperation(initial: Position2D): Position2D {\n    if (this.oss.operations.length === 0) {\n      return initial;\n    }\n\n    const freeInputs = this.oss.operations\n      .filter(\n        operation =>\n          operation.parent === null &&\n          (operation.operation_type !== OperationType.SYNTHESIS || operation.arguments.length === 0)\n      )\n      .map(operation => operation.nodeID);\n    let inputsPositions = this.layout.filter(pos => freeInputs.includes(pos.nodeID));\n    if (inputsPositions.length === 0) {\n      inputsPositions = this.layout.filter(pos => pos.nodeID.startsWith('o'));\n    }\n    const maxX = Math.max(...inputsPositions.map(node => node.x));\n    const minY = Math.min(...inputsPositions.map(node => node.y));\n    return {\n      x: maxX + OPERATION_NODE_WIDTH + MIN_DISTANCE + GRID_SIZE,\n      y: minY\n    };\n  }\n\n  private calculatePositionForFreeBlock(initial: Rectangle2D): Rectangle2D {\n    const rootBlocks = this.oss.blocks.filter(block => block.parent === null).map(block => block.nodeID);\n    const blocksPositions = this.layout.filter(pos => rootBlocks.includes(pos.nodeID));\n    if (blocksPositions.length === 0) {\n      return initial;\n    }\n    const maxX = Math.max(...blocksPositions.map(node => node.x + node.width));\n    const minY = Math.min(...blocksPositions.map(node => node.y));\n    return { ...initial, x: maxX + MIN_DISTANCE, y: minY };\n  }\n\n  private calculateOffsetForParentChange(target: NodePosition, parent: NodePosition | null): Position2D {\n    const newPosition = { ...target };\n    if (parent === null) {\n      const rootElements = this.oss.hierarchy.rootNodes();\n      const positions = this.layout.filter(pos => rootElements.includes(pos.nodeID));\n      preventOverlap(newPosition, positions);\n    } else if (!rectanglesStrictOverlap(target, parent)) {\n      newPosition.x = parent.x + MIN_DISTANCE;\n      newPosition.y = parent.y + MIN_DISTANCE;\n\n      const siblings = this.oss.hierarchy.at(parent.nodeID)?.outputs ?? [];\n      const siblingsPositions = this.layout.filter(pos => siblings.includes(pos.nodeID));\n      preventOverlap(newPosition, siblingsPositions);\n    }\n    return { x: newPosition.x - target.x, y: newPosition.y - target.y };\n  }\n}\n\n// ======= Internals =======\nfunction rectanglesOverlap(a: Rectangle2D, b: Rectangle2D): boolean {\n  return !(\n    a.x + a.width + MIN_DISTANCE <= b.x ||\n    b.x + b.width + MIN_DISTANCE <= a.x ||\n    a.y + a.height + MIN_DISTANCE <= b.y ||\n    b.y + b.height + MIN_DISTANCE <= a.y\n  );\n}\n\nfunction rectanglesStrictOverlap(a: Rectangle2D, b: Rectangle2D): boolean {\n  return !(a.x + a.width <= b.x || b.x + b.width <= a.x || a.y + a.height <= b.y || b.y + b.height <= a.y);\n}\n\nfunction preventOverlap(\n  target: Rectangle2D,\n  fixedRectangles: Rectangle2D[],\n  options: { moveX?: boolean; moveY?: boolean } = { moveX: true, moveY: true }\n) {\n  if ((!options.moveX && !options.moveY) || fixedRectangles.length === 0) {\n    return;\n  }\n  let hasOverlap: boolean;\n  do {\n    hasOverlap = false;\n    for (const fixed of fixedRectangles) {\n      if (rectanglesOverlap(target, fixed)) {\n        hasOverlap = true;\n        if (options.moveX) {\n          target.x += MIN_DISTANCE;\n        }\n        if (options.moveY) {\n          target.y += MIN_DISTANCE;\n        }\n        break;\n      }\n    }\n  } while (hasOverlap);\n}\n\nfunction calculatePositionFromArgs(args: NodePosition[]): Position2D {\n  const maxY = Math.max(...args.map(node => node.y));\n  const minX = Math.min(...args.map(node => node.x));\n  const maxX = Math.max(...args.map(node => node.x));\n  return {\n    x: Math.ceil((maxX + minX) / 2 / GRID_SIZE) * GRID_SIZE,\n    y: maxY + 2 * OPERATION_NODE_HEIGHT + MIN_DISTANCE\n  };\n}\n\nfunction calculatePositionFromChildren(\n  initial: Rectangle2D,\n  operations: NodePosition[],\n  blocks: NodePosition[]\n): Rectangle2D {\n  const allNodes = [...blocks, ...operations];\n  if (allNodes.length === 0) {\n    return initial;\n  }\n\n  const left = Math.min(...allNodes.map(n => n.x)) - MIN_DISTANCE;\n  const top = Math.min(...allNodes.map(n => n.y)) - MIN_DISTANCE;\n  const right = Math.max(...allNodes.map(n => n.x + n.width)) + MIN_DISTANCE;\n  const bottom = Math.max(...allNodes.map(n => n.y + n.height)) + MIN_DISTANCE;\n\n  return {\n    x: left,\n    y: top,\n    width: right - left,\n    height: bottom - top\n  };\n}\n\nfunction findClosestNodeByDistance(nodes: NodePosition[], target: NodePosition): NodePosition | null {\n  let minDist = Infinity;\n  let minNode = null;\n  for (const curr of nodes) {\n    const currDist = Math.hypot(curr.x - target.x, curr.y - target.y);\n    if (currDist < minDist) {\n      minDist = currDist;\n      minNode = curr;\n    }\n  }\n  return minNode;\n}\n"],"mappings":";AAUO,IAAM,WAAW;AAAA,EACtB,WAAW;AAAA,EACX,OAAO;AACT;AAUO,IAAM,gBAAgB;AAAA,EAC3B,OAAO;AAAA,EACP,WAAW;AAAA,EACX,SAAS;AACX;;;ACxBO,IAAM,YAAY;AACzB,IAAM,eAAe,IAAI;AAElB,IAAM,uBAAuB;AAC7B,IAAM,wBAAwB;AAG9B,IAAM,gBAAN,MAAoB;AAAA,EAClB;AAAA,EACA;AAAA,EAEP,YAAY,KAAsB,QAAoB;AACpD,SAAK,MAAM;AACX,QAAI,QAAQ;AACV,WAAK,SAAS;AAAA,IAChB,OAAO;AACL,WAAK,SAAS,KAAK,IAAI;AAAA,IACzB;AAAA,EACF;AAAA;AAAA,EAGA,qBAAqB,UAAuB,QAAuB,OAAiB,CAAC,GAAgB;AACnG,UAAM,SAAS,EAAE,GAAG,SAAS;AAC7B,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,IAAI,MAAM,EAAE,KAAK;AAC3E,UAAM,aAAa,KAAK,OAAO,OAAO,SAAO,IAAI,OAAO,WAAW,GAAG,CAAC;AACvE,UAAM,eAAe,KAAK,WAAW;AACrC,QAAI,cAAc;AAChB,YAAM,MAAM,0BAA0B,WAAW,OAAO,UAAQ,KAAK,SAAS,OAAO,KAAK,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5G,aAAO,IAAI,IAAI;AACf,aAAO,IAAI,IAAI;AAAA,IACjB,WAAW,YAAY;AACrB,aAAO,IAAI,WAAW,IAAI;AAC1B,aAAO,IAAI,WAAW,IAAI;AAAA,IAC5B,OAAO;AACL,YAAM,MAAM,KAAK,kCAAkC,MAAM;AACzD,aAAO,IAAI,IAAI;AACf,aAAO,IAAI,IAAI;AAAA,IACjB;AAEA,UAAM,gBAAgB,KAAK,IAAI,OAAO,OAAO,WAAS,MAAM,WAAW,MAAM,EAAE,IAAI,WAAS,MAAM,MAAM;AACxG;AAAA,MACE;AAAA,MACA,KAAK,OAAO,OAAO,UAAQ,cAAc,SAAS,KAAK,MAAM,CAAC;AAAA,MAC9D;AAAA,QACE,OAAO,CAAC;AAAA,QACR,OAAO;AAAA,MACT;AAAA,IACF;AAEA,mBAAe,QAAQ,UAAU;AACjC,SAAK,mBAAmB,YAAY,MAAM;AAE1C,WAAO;AAAA,EACT;AAAA;AAAA,EAGA,iBAAiB,UAAuB,QAAuB,QAAkB,YAAmC;AAClH,UAAM,aAAa,OAAO,IAAI,QAAM,KAAK,OAAO,KAAK,WAAS,MAAM,WAAW,IAAI,EAAE,EAAE,CAAC,EAAE,OAAO,UAAQ,CAAC,CAAC,IAAI;AAC/G,UAAM,iBAAiB,WACpB,IAAI,QAAM,KAAK,OAAO,KAAK,eAAa,UAAU,WAAW,IAAI,EAAE,EAAE,CAAC,EACtE,OAAO,UAAQ,CAAC,CAAC,IAAI;AACxB,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,IAAI,MAAM,EAAE,KAAK;AAC3E,UAAM,WAAW,aAAa,SAAS;AAEvC,QAAI,SAAsB,EAAE,GAAG,SAAS;AAExC,QAAI,WAAW,WAAW,KAAK,eAAe,WAAW,GAAG;AAC1D,eAAS,8BAA8B,UAAU,gBAAgB,UAAU;AAAA,IAC7E,WAAW,YAAY;AACrB,eAAS;AAAA,QACP,GAAG,WAAW,IAAI;AAAA,QAClB,GAAG,WAAW,IAAI;AAAA,QAClB,OAAO,SAAS;AAAA,QAChB,QAAQ,SAAS;AAAA,MACnB;AAAA,IACF,OAAO;AACL,eAAS,KAAK,8BAA8B,MAAM;AAAA,IACpD;AAEA,QAAI,WAAW,WAAW,KAAK,eAAe,WAAW,GAAG;AAC1D,YAAM,WAAW,KAAK,IAAI,OAAO,OAAO,WAAS,MAAM,WAAW,QAAQ,EAAE,IAAI,WAAS,MAAM,MAAM;AACrG;AAAA,QACE;AAAA,QACA,KAAK,OAAO,OAAO,UAAQ,SAAS,SAAS,KAAK,MAAM,CAAC;AAAA,MAC3D;AAAA,IACF;AAEA,SAAK,mBAAmB,YAAY,MAAM;AAC1C,WAAO;AAAA,EACT;AAAA;AAAA,EAGA,iBAAiB,UAAsC;AACrD,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,QAAQ;AAClE,QAAI,CAAC,YAAY;AACf,aAAO;AAAA,IACT,OAAO;AACL,aAAO;AAAA,QACL,GAAG,WAAW,IAAI,WAAW,QAAQ,IAAI;AAAA,QACzC,GAAG,WAAW,IAAI,WAAW,SAAS,IAAI;AAAA,QAC1C,OAAO;AAAA,QACP,QAAQ;AAAA,MACV;AAAA,IACF;AAAA,EACF;AAAA;AAAA,EAGA,eAAe,UAAkB,WAA0B;AACzD,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,QAAQ;AAClE,QAAI,CAAC,YAAY;AACf;AAAA,IACF;AAEA,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,SAAS,KAAK;AACxE,UAAM,SAAS,KAAK,+BAA+B,YAAY,UAAU;AACzE,QAAI,OAAO,MAAM,KAAK,OAAO,MAAM,GAAG;AACpC;AAAA,IACF;AAEA,eAAW,KAAK,OAAO;AACvB,eAAW,KAAK,OAAO;AAEvB,UAAM,WAAW,KAAK,IAAI,UAAU,iBAAiB,CAAC,QAAQ,CAAC;AAC/D,UAAM,oBAAoB,KAAK,OAAO,OAAO,SAAO,SAAS,SAAS,IAAI,MAAM,CAAC;AACjF,eAAW,SAAS,mBAAmB;AACrC,YAAM,KAAK,OAAO;AAClB,YAAM,KAAK,OAAO;AAAA,IACpB;AAEA,SAAK,mBAAmB,YAAY,UAAU;AAAA,EAChD;AAAA;AAAA,EAGA,WAAW,UAAiC;AAC1C,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,QAAQ;AAClE,QAAI,CAAC,YAAY;AACf,aAAO;AAAA,IACT;AACA,UAAM,iBAAiB,KAAK,OAAO,OAAO,SAAO,IAAI,WAAW,YAAY,IAAI,OAAO,WAAW,GAAG,CAAC;AACtG,UAAM,YAAY,eAAe,OAAO,SAAO,IAAI,KAAK,WAAW,CAAC;AACpE,QAAI,UAAU,WAAW,GAAG;AAC1B,aAAO;AAAA,IACT;AACA,UAAM,gBAAgB,UAAU,OAAO,SAAO,KAAK,IAAI,IAAI,IAAI,WAAW,CAAC,KAAK,YAAY;AAC5F,QAAI,cAAwC;AAC5C,QAAI,cAAc,SAAS,GAAG;AAC5B,oBAAc,cAAc,OAAO,CAAC,MAAM,SAAU,KAAK,IAAI,KAAK,IAAI,OAAO,IAAK;AAAA,IACpF,OAAO;AACL,oBAAc,0BAA0B,WAAW,UAAU;AAAA,IAC/D;AACA,WAAO,aAAa,UAAU;AAAA,EAChC;AAAA;AAAA,EAGA,YAAY,UAAiC;AAC3C,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,QAAQ;AAClE,QAAI,CAAC,YAAY;AACf,aAAO;AAAA,IACT;AACA,UAAM,iBAAiB,KAAK,OAAO,OAAO,SAAO,IAAI,WAAW,YAAY,IAAI,OAAO,WAAW,GAAG,CAAC;AACtG,UAAM,aAAa,eAAe,OAAO,SAAO,IAAI,KAAK,WAAW,CAAC;AACrE,QAAI,WAAW,WAAW,GAAG;AAC3B,aAAO;AAAA,IACT;AACA,UAAM,gBAAgB,WAAW,OAAO,SAAO,KAAK,IAAI,IAAI,IAAI,WAAW,CAAC,KAAK,YAAY;AAC7F,QAAI,cAAwC;AAC5C,QAAI,cAAc,SAAS,GAAG;AAC5B,oBAAc,cAAc,OAAO,CAAC,MAAM,SAAU,KAAK,IAAI,KAAK,IAAI,OAAO,IAAK;AAAA,IACpF,OAAO;AACL,oBAAc,0BAA0B,YAAY,UAAU;AAAA,IAChE;AACA,WAAO,aAAa,UAAU;AAAA,EAChC;AAAA;AAAA,EAGA,SAAS,UAAiC;AACxC,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,QAAQ;AAClE,QAAI,CAAC,YAAY;AACf,aAAO;AAAA,IACT;AAEA,UAAM,iBAAiB,KAAK,OAAO,OAAO,SAAO,IAAI,WAAW,YAAY,IAAI,OAAO,WAAW,GAAG,CAAC;AACtG,UAAM,aAAa,eAAe,OAAO,SAAO,IAAI,KAAK,WAAW,IAAI,YAAY;AACpF,UAAM,kBAAkB,KAAK,IAAI,aAAa,IAAI,QAAQ;AAC1D,QAAI,WAAW,WAAW,KAAK,CAAC,mBAAmB,gBAAgB,aAAa,SAAS,OAAO;AAC9F,aAAO;AAAA,IACT;AAEA,UAAM,eAAe,KAAK,IAAI,MAAM,gBAAgB,CAAC,gBAAgB,EAAE,CAAC;AACxE,UAAM,mBAAmB,WAAW,OAAO,SAAO,aAAa,SAAS,OAAO,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AAEpG,QAAI,cAAwC;AAC5C,QAAI,iBAAiB,SAAS,GAAG;AAC/B,oBAAc,0BAA0B,kBAAkB,UAAU;AAAA,IACtE,OAAO;AACL,oBAAc,0BAA0B,YAAY,UAAU;AAAA,IAChE;AACA,WAAO,aAAa,UAAU;AAAA,EAChC;AAAA;AAAA,EAGA,WAAW,UAAiC;AAC1C,UAAM,aAAa,KAAK,OAAO,KAAK,SAAO,IAAI,WAAW,QAAQ;AAClE,QAAI,CAAC,YAAY;AACf,aAAO;AAAA,IACT;AAEA,UAAM,iBAAiB,KAAK,OAAO,OAAO,SAAO,IAAI,WAAW,YAAY,IAAI,OAAO,WAAW,GAAG,CAAC;AACtG,UAAM,aAAa,eAAe,OAAO,SAAO,IAAI,KAAK,WAAW,IAAI,YAAY;AACpF,UAAM,kBAAkB,KAAK,IAAI,aAAa,IAAI,QAAQ;AAC1D,QAAI,WAAW,WAAW,KAAK,CAAC,mBAAmB,gBAAgB,aAAa,SAAS,OAAO;AAC9F,aAAO;AAAA,IACT;AAEA,UAAM,cAAc,KAAK,IAAI,MAAM,iBAAiB,CAAC,gBAAgB,EAAE,CAAC;AACxE,UAAM,mBAAmB,WAAW,OAAO,SAAO,YAAY,SAAS,OAAO,IAAI,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AAEnG,QAAI,cAAwC;AAC5C,QAAI,iBAAiB,SAAS,GAAG;AAC/B,oBAAc,0BAA0B,kBAAkB,UAAU;AAAA,IACtE,OAAO;AACL,oBAAc,0BAA0B,YAAY,UAAU;AAAA,IAChE;AACA,WAAO,aAAa,UAAU;AAAA,EAChC;AAAA,EAEQ,mBAAmB,QAA6B,OAAoB;AAC1E,QAAI,CAAC,QAAQ;AACX;AAAA,IACF;AACA,UAAM,UAAU,MAAM,IAAI,MAAM,QAAQ;AACxC,UAAM,UAAU,MAAM,IAAI,MAAM,SAAS;AACzC,WAAO,QAAQ,KAAK,IAAI,OAAO,OAAO,UAAU,OAAO,CAAC;AACxD,WAAO,SAAS,KAAK,IAAI,OAAO,QAAQ,UAAU,OAAO,CAAC;AAAA,EAC5D;AAAA,EAEQ,kCAAkC,SAAiC;AACzE,QAAI,KAAK,IAAI,WAAW,WAAW,GAAG;AACpC,aAAO;AAAA,IACT;AAEA,UAAM,aAAa,KAAK,IAAI,WACzB;AAAA,MACC,eACE,UAAU,WAAW,SACpB,UAAU,mBAAmB,cAAc,aAAa,UAAU,UAAU,WAAW;AAAA,IAC5F,EACC,IAAI,eAAa,UAAU,MAAM;AACpC,QAAI,kBAAkB,KAAK,OAAO,OAAO,SAAO,WAAW,SAAS,IAAI,MAAM,CAAC;AAC/E,QAAI,gBAAgB,WAAW,GAAG;AAChC,wBAAkB,KAAK,OAAO,OAAO,SAAO,IAAI,OAAO,WAAW,GAAG,CAAC;AAAA,IACxE;AACA,UAAM,OAAO,KAAK,IAAI,GAAG,gBAAgB,IAAI,UAAQ,KAAK,CAAC,CAAC;AAC5D,UAAM,OAAO,KAAK,IAAI,GAAG,gBAAgB,IAAI,UAAQ,KAAK,CAAC,CAAC;AAC5D,WAAO;AAAA,MACL,GAAG,OAAO,uBAAuB,eAAe;AAAA,MAChD,GAAG;AAAA,IACL;AAAA,EACF;AAAA,EAEQ,8BAA8B,SAAmC;AACvE,UAAM,aAAa,KAAK,IAAI,OAAO,OAAO,WAAS,MAAM,WAAW,IAAI,EAAE,IAAI,WAAS,MAAM,MAAM;AACnG,UAAM,kBAAkB,KAAK,OAAO,OAAO,SAAO,WAAW,SAAS,IAAI,MAAM,CAAC;AACjF,QAAI,gBAAgB,WAAW,GAAG;AAChC,aAAO;AAAA,IACT;AACA,UAAM,OAAO,KAAK,IAAI,GAAG,gBAAgB,IAAI,UAAQ,KAAK,IAAI,KAAK,KAAK,CAAC;AACzE,UAAM,OAAO,KAAK,IAAI,GAAG,gBAAgB,IAAI,UAAQ,KAAK,CAAC,CAAC;AAC5D,WAAO,EAAE,GAAG,SAAS,GAAG,OAAO,cAAc,GAAG,KAAK;AAAA,EACvD;AAAA,EAEQ,+BAA+B,QAAsB,QAAyC;AACpG,UAAM,cAAc,EAAE,GAAG,OAAO;AAChC,QAAI,WAAW,MAAM;AACnB,YAAM,eAAe,KAAK,IAAI,UAAU,UAAU;AAClD,YAAM,YAAY,KAAK,OAAO,OAAO,SAAO,aAAa,SAAS,IAAI,MAAM,CAAC;AAC7E,qBAAe,aAAa,SAAS;AAAA,IACvC,WAAW,CAAC,wBAAwB,QAAQ,MAAM,GAAG;AACnD,kBAAY,IAAI,OAAO,IAAI;AAC3B,kBAAY,IAAI,OAAO,IAAI;AAE3B,YAAM,WAAW,KAAK,IAAI,UAAU,GAAG,OAAO,MAAM,GAAG,WAAW,CAAC;AACnE,YAAM,oBAAoB,KAAK,OAAO,OAAO,SAAO,SAAS,SAAS,IAAI,MAAM,CAAC;AACjF,qBAAe,aAAa,iBAAiB;AAAA,IAC/C;AACA,WAAO,EAAE,GAAG,YAAY,IAAI,OAAO,GAAG,GAAG,YAAY,IAAI,OAAO,EAAE;AAAA,EACpE;AACF;AAGA,SAAS,kBAAkB,GAAgB,GAAyB;AAClE,SAAO,EACL,EAAE,IAAI,EAAE,QAAQ,gBAAgB,EAAE,KAClC,EAAE,IAAI,EAAE,QAAQ,gBAAgB,EAAE,KAClC,EAAE,IAAI,EAAE,SAAS,gBAAgB,EAAE,KACnC,EAAE,IAAI,EAAE,SAAS,gBAAgB,EAAE;AAEvC;AAEA,SAAS,wBAAwB,GAAgB,GAAyB;AACxE,SAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE;AACxG;AAEA,SAAS,eACP,QACA,iBACA,UAAgD,EAAE,OAAO,MAAM,OAAO,KAAK,GAC3E;AACA,MAAK,CAAC,QAAQ,SAAS,CAAC,QAAQ,SAAU,gBAAgB,WAAW,GAAG;AACtE;AAAA,EACF;AACA,MAAI;AACJ,KAAG;AACD,iBAAa;AACb,eAAW,SAAS,iBAAiB;AACnC,UAAI,kBAAkB,QAAQ,KAAK,GAAG;AACpC,qBAAa;AACb,YAAI,QAAQ,OAAO;AACjB,iBAAO,KAAK;AAAA,QACd;AACA,YAAI,QAAQ,OAAO;AACjB,iBAAO,KAAK;AAAA,QACd;AACA;AAAA,MACF;AAAA,IACF;AAAA,EACF,SAAS;AACX;AAEA,SAAS,0BAA0B,MAAkC;AACnE,QAAM,OAAO,KAAK,IAAI,GAAG,KAAK,IAAI,UAAQ,KAAK,CAAC,CAAC;AACjD,QAAM,OAAO,KAAK,IAAI,GAAG,KAAK,IAAI,UAAQ,KAAK,CAAC,CAAC;AACjD,QAAM,OAAO,KAAK,IAAI,GAAG,KAAK,IAAI,UAAQ,KAAK,CAAC,CAAC;AACjD,SAAO;AAAA,IACL,GAAG,KAAK,MAAM,OAAO,QAAQ,IAAI,SAAS,IAAI;AAAA,IAC9C,GAAG,OAAO,IAAI,wBAAwB;AAAA,EACxC;AACF;AAEA,SAAS,8BACP,SACA,YACA,QACa;AACb,QAAM,WAAW,CAAC,GAAG,QAAQ,GAAG,UAAU;AAC1C,MAAI,SAAS,WAAW,GAAG;AACzB,WAAO;AAAA,EACT;AAEA,QAAM,OAAO,KAAK,IAAI,GAAG,SAAS,IAAI,OAAK,EAAE,CAAC,CAAC,IAAI;AACnD,QAAM,MAAM,KAAK,IAAI,GAAG,SAAS,IAAI,OAAK,EAAE,CAAC,CAAC,IAAI;AAClD,QAAM,QAAQ,KAAK,IAAI,GAAG,SAAS,IAAI,OAAK,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI;AAC9D,QAAM,SAAS,KAAK,IAAI,GAAG,SAAS,IAAI,OAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI;AAEhE,SAAO;AAAA,IACL,GAAG;AAAA,IACH,GAAG;AAAA,IACH,OAAO,QAAQ;AAAA,IACf,QAAQ,SAAS;AAAA,EACnB;AACF;AAEA,SAAS,0BAA0B,OAAuB,QAA2C;AACnG,MAAI,UAAU;AACd,MAAI,UAAU;AACd,aAAW,QAAQ,OAAO;AACxB,UAAM,WAAW,KAAK,MAAM,KAAK,IAAI,OAAO,GAAG,KAAK,IAAI,OAAO,CAAC;AAChE,QAAI,WAAW,SAAS;AACtB,gBAAU;AACV,gBAAU;AAAA,IACZ;AAAA,EACF;AACA,SAAO;AACT;","names":[]}

package/dist/library/oss-layout.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Module: OSS graphical representation.
+ */
+/** Represents XY Position. */
+interface Position2D {
+    x: number;
+    y: number;
+}
+/** Represents XY Position and dimensions. */
+interface Rectangle2D extends Position2D {
+    width: number;
+    height: number;
+}
+/** Represents a node in {@link OssLayout}. */
+interface NodePosition {
+    nodeID: string;
+    x: number;
+    y: number;
+    width: number;
+    height: number;
+}
+/** Represents {@link OperationSchema} layout. */
+type OssLayout = NodePosition[];
+
+export type { NodePosition, OssLayout, Position2D, Rectangle2D };

package/dist/library/oss-layout.js

@@ -0,0 +1 @@
+//# sourceMappingURL=oss-layout.js.map

package/dist/library/oss-layout.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/library/oss.d.ts

@@ -0,0 +1,136 @@
+import { Graph } from '../graph/graph.js';
+import { LibraryItem } from './library.js';
+import { NodePosition, OssLayout } from './oss-layout.js';
+
+/**
+ * Module: Schema of Synthesis Operations.
+ */
+
+/** Represents OSS node type. */
+declare const NodeType: {
+    readonly OPERATION: 1;
+    readonly BLOCK: 2;
+};
+type NodeType = (typeof NodeType)[keyof typeof NodeType];
+/** Represents OSS graph node. */
+interface OssNode extends NodePosition {
+    nodeType: NodeType;
+    parent: number | null;
+}
+/** Represents {@link Operation} type. */
+declare const OperationType: {
+    readonly INPUT: "input";
+    readonly SYNTHESIS: "synthesis";
+    readonly REPLICA: "replica";
+};
+type OperationType = (typeof OperationType)[keyof typeof OperationType];
+/** Represents {@link Substitution} extended data. */
+interface CstSubstituteInfo {
+    original: number;
+    substitution: number;
+    operation: number;
+    original_schema: number;
+    original_alias: string;
+    original_term: string;
+    substitution_schema: number;
+    substitution_alias: string;
+    substitution_term: string;
+}
+/** Represents Operation common attributes. */
+interface OperationBase extends OssNode {
+    id: number;
+    alias: string;
+    title: string;
+    description: string;
+    operation_type: OperationType;
+    result: number | null;
+    nodeType: typeof NodeType.OPERATION;
+    has_additions: boolean;
+}
+/** Represents Input Operation. */
+interface OperationInput extends OperationBase {
+    operation_type: typeof OperationType.INPUT;
+    is_import: boolean;
+}
+/** Represents Replica Operation. */
+interface OperationReplica extends OperationBase {
+    operation_type: typeof OperationType.REPLICA;
+    target: number;
+}
+/** Represents Synthesis Operation. */
+interface OperationSynthesis extends OperationBase {
+    operation_type: typeof OperationType.SYNTHESIS;
+    is_consolidation: boolean;
+    substitutions: CstSubstituteInfo[];
+    arguments: number[];
+}
+/** Represents Operation. */
+type Operation = OperationInput | OperationReplica | OperationSynthesis;
+/** Represents Block. */
+interface Block extends OssNode {
+    id: number;
+    oss: number;
+    title: string;
+    description: string;
+    parent: number | null;
+    nodeType: typeof NodeType.BLOCK;
+}
+/** Represents item of OperationSchema. */
+type OssItem = Operation | Block;
+/** Represents {@link OperationSchema} statistics. */
+interface OperationSchemaStats {
+    count_all: number;
+    count_inputs: number;
+    count_synthesis: number;
+    count_schemas: number;
+    count_owned: number;
+    count_block: number;
+    count_references: number;
+}
+/** Represents OperationSchema. */
+interface OperationSchema extends LibraryItem {
+    editors: number[];
+    operations: Operation[];
+    blocks: Block[];
+    replicas: {
+        original: number;
+        replica: number;
+    }[];
+    layout: OssLayout;
+    arguments: {
+        operation: number;
+        argument: number;
+    }[];
+    substitutions: CstSubstituteInfo[];
+    graph: Graph;
+    extendedGraph: Graph;
+    hierarchy: Graph<string>;
+    schemas: number[];
+    stats: OperationSchemaStats;
+    operationByID: Map<number, Operation>;
+    blockByID: Map<number, Block>;
+    itemByNodeID: Map<string, OssItem>;
+}
+/** Represents substitution error description. */
+interface SubstitutionErrorDescription {
+    errorType: SubstitutionErrorType;
+    params: string[];
+}
+/** Represents Substitution table error types. */
+declare const SubstitutionErrorType: {
+    readonly invalidIDs: 0;
+    readonly incorrectCst: 1;
+    readonly invalidClasses: 2;
+    readonly invalidBasic: 3;
+    readonly invalidConstant: 4;
+    readonly typificationCycle: 5;
+    readonly baseSubstitutionNotSet: 6;
+    readonly unequalTypification: 7;
+    readonly unequalExpressions: 8;
+    readonly unequalArgsCount: 9;
+    readonly unequalArgs: 10;
+    readonly invalidNominal: 11;
+};
+type SubstitutionErrorType = (typeof SubstitutionErrorType)[keyof typeof SubstitutionErrorType];
+
+export { type Block, type CstSubstituteInfo, NodeType, type Operation, type OperationInput, type OperationSchema, type OperationSchemaStats, type OperationSynthesis, OperationType, type OssItem, type SubstitutionErrorDescription, SubstitutionErrorType };

package/dist/library/oss.js

@@ -0,0 +1,30 @@
+// src/library/oss.ts
+var NodeType = {
+  OPERATION: 1,
+  BLOCK: 2
+};
+var OperationType = {
+  INPUT: "input",
+  SYNTHESIS: "synthesis",
+  REPLICA: "replica"
+};
+var SubstitutionErrorType = {
+  invalidIDs: 0,
+  incorrectCst: 1,
+  invalidClasses: 2,
+  invalidBasic: 3,
+  invalidConstant: 4,
+  typificationCycle: 5,
+  baseSubstitutionNotSet: 6,
+  unequalTypification: 7,
+  unequalExpressions: 8,
+  unequalArgsCount: 9,
+  unequalArgs: 10,
+  invalidNominal: 11
+};
+export {
+  NodeType,
+  OperationType,
+  SubstitutionErrorType
+};
+//# sourceMappingURL=oss.js.map

package/dist/library/oss.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/library/oss.ts"],"sourcesContent":["/**\n * Module: Schema of Synthesis Operations.\n */\n\nimport { type Graph } from '../graph';\n\nimport { type LibraryItem } from './library';\nimport { type NodePosition, type OssLayout } from './oss-layout';\n\n/** Represents OSS node type. */\nexport const NodeType = {\n  OPERATION: 1,\n  BLOCK: 2\n} as const;\nexport type NodeType = (typeof NodeType)[keyof typeof NodeType];\n\n/** Represents OSS graph node. */\ninterface OssNode extends NodePosition {\n  nodeType: NodeType;\n  parent: number | null;\n}\n\n/** Represents {@link Operation} type. */\nexport const OperationType = {\n  INPUT: 'input',\n  SYNTHESIS: 'synthesis',\n  REPLICA: 'replica'\n} as const;\nexport type OperationType = (typeof OperationType)[keyof typeof OperationType];\n\n/** Represents {@link Substitution} extended data. */\nexport interface CstSubstituteInfo {\n  original: number;\n  substitution: number;\n  operation: number;\n  original_schema: number;\n  original_alias: string;\n  original_term: string;\n  substitution_schema: number;\n  substitution_alias: string;\n  substitution_term: string;\n}\n\n/** Represents Operation common attributes. */\ninterface OperationBase extends OssNode {\n  id: number;\n  alias: string;\n  title: string;\n  description: string;\n  operation_type: OperationType;\n  result: number | null;\n  nodeType: typeof NodeType.OPERATION;\n  has_additions: boolean;\n}\n\n/** Represents Input Operation. */\nexport interface OperationInput extends OperationBase {\n  operation_type: typeof OperationType.INPUT;\n  is_import: boolean;\n}\n\n/** Represents Replica Operation. */\ninterface OperationReplica extends OperationBase {\n  operation_type: typeof OperationType.REPLICA;\n  target: number;\n}\n\n/** Represents Synthesis Operation. */\nexport interface OperationSynthesis extends OperationBase {\n  operation_type: typeof OperationType.SYNTHESIS;\n  is_consolidation: boolean; // aka 'diamond synthesis'\n  substitutions: CstSubstituteInfo[];\n  arguments: number[];\n}\n\n/** Represents Operation. */\nexport type Operation = OperationInput | OperationReplica | OperationSynthesis;\n\n/** Represents Block. */\nexport interface Block extends OssNode {\n  id: number;\n  oss: number;\n  title: string;\n  description: string;\n  parent: number | null;\n  nodeType: typeof NodeType.BLOCK;\n}\n\n/** Represents item of OperationSchema. */\nexport type OssItem = Operation | Block;\n\n/** Represents {@link OperationSchema} statistics. */\nexport interface OperationSchemaStats {\n  count_all: number;\n  count_inputs: number;\n  count_synthesis: number;\n  count_schemas: number;\n  count_owned: number;\n  count_block: number;\n  count_references: number;\n}\n\n/** Represents OperationSchema. */\nexport interface OperationSchema extends LibraryItem {\n  editors: number[];\n  operations: Operation[];\n  blocks: Block[];\n  replicas: {\n    original: number;\n    replica: number;\n  }[];\n  layout: OssLayout;\n  arguments: {\n    operation: number;\n    argument: number;\n  }[];\n  substitutions: CstSubstituteInfo[];\n\n  graph: Graph;\n  extendedGraph: Graph;\n  hierarchy: Graph<string>;\n  schemas: number[];\n  stats: OperationSchemaStats;\n  operationByID: Map<number, Operation>;\n  blockByID: Map<number, Block>;\n  itemByNodeID: Map<string, OssItem>;\n}\n\n/** Represents substitution error description. */\nexport interface SubstitutionErrorDescription {\n  errorType: SubstitutionErrorType;\n  params: string[];\n}\n\n/** Represents Substitution table error types. */\nexport const SubstitutionErrorType = {\n  invalidIDs: 0,\n  incorrectCst: 1,\n  invalidClasses: 2,\n  invalidBasic: 3,\n  invalidConstant: 4,\n  typificationCycle: 5,\n  baseSubstitutionNotSet: 6,\n  unequalTypification: 7,\n  unequalExpressions: 8,\n  unequalArgsCount: 9,\n  unequalArgs: 10,\n  invalidNominal: 11\n} as const;\nexport type SubstitutionErrorType = (typeof SubstitutionErrorType)[keyof typeof SubstitutionErrorType];\n"],"mappings":";AAUO,IAAM,WAAW;AAAA,EACtB,WAAW;AAAA,EACX,OAAO;AACT;AAUO,IAAM,gBAAgB;AAAA,EAC3B,OAAO;AAAA,EACP,WAAW;AAAA,EACX,SAAS;AACX;AA4GO,IAAM,wBAAwB;AAAA,EACnC,YAAY;AAAA,EACZ,cAAc;AAAA,EACd,gBAAgB;AAAA,EAChB,cAAc;AAAA,EACd,iBAAiB;AAAA,EACjB,mBAAmB;AAAA,EACnB,wBAAwB;AAAA,EACxB,qBAAqB;AAAA,EACrB,oBAAoB;AAAA,EACpB,kBAAkB;AAAA,EAClB,aAAa;AAAA,EACb,gBAAgB;AAClB;","names":[]}

package/dist/library/rsengine.d.ts

@@ -0,0 +1,116 @@
+import { AstNode } from '../parsing/ast.js';
+import { RSCalculator, CalculatorResult, CalculatorEvaluateOptions } from '../rslang/eval/calculator.js';
+import { Value } from '../rslang/eval/value.js';
+import { RSForm, CstType } from './rsform.js';
+import { RSModel, BasicsContext, BasicBinding, EvalStatus } from './rsmodel.js';
+import '@lezer/common';
+import '../rslang/error.js';
+import '../rslang/semantic/typification.js';
+import '../shared/branded.js';
+import '../graph/graph.js';
+import '../rslang/semantic/analyzer.js';
+import '../rslang/semantic/value-class.js';
+import './library.js';
+
+/** Services for {@link RSEngine}. */
+interface RSEngineServices {
+    setCstValue: (args: {
+        itemID: number;
+        data: {
+            target: number;
+            type: string;
+            data: Value | BasicBinding;
+        }[];
+    }) => Promise<unknown>;
+    clearValues: (args: {
+        itemID: number;
+        data: {
+            items: number[];
+        };
+    }) => Promise<unknown>;
+}
+/** Notifications for {@link RSEngine}. */
+interface RSEngineNotifications {
+    onInvalidSetValue: () => void;
+    onCalculationSuccess: (timeSpent: string) => void;
+    onEvaluationError: (message: string) => void;
+}
+/** Calculation engine for {@link RSModel}. */
+declare class RSEngine {
+    modelID: number;
+    schema: RSForm | null;
+    data: RSModel | null;
+    calculator: RSCalculator;
+    basics: BasicsContext;
+    private services;
+    private notifications;
+    private invalidData;
+    private calculatedSet;
+    private valueSubscribers;
+    private statusSubscribers;
+    private changeSubscribers;
+    private changeGeneration;
+    private pendingChange;
+    private coalescedEmitTimeout;
+    constructor(modelID: number, services: RSEngineServices, notifications?: RSEngineNotifications | null);
+    /** Updates data for {@link RSEngine}. */
+    loadData(schema: RSForm, model: RSModel): void;
+    /** Updates services for {@link RSEngine}. */
+    updateServices(services: RSEngineServices): void;
+    /** Updates notifications for {@link RSEngine}. */
+    updateNotifications(notifications: RSEngineNotifications | null): void;
+    /** Gets value of {@link Constituenta}. */
+    getCstValue(cstID: number): Value | null;
+    /** Gets status of {@link Constituenta}. */
+    getCstStatus(cstID: number): EvalStatus;
+    /** Subscribe to value change of {@link Constituenta}. */
+    subscribeValue(cstID: number, callbackFn: () => void): () => void;
+    /** Subscribe to status change of {@link Constituenta}. */
+    subscribeStatus(cstID: number, callbackFn: () => void): () => void;
+    /**
+     * Subscribe to any engine change that can affect evaluation (values, status, or loaded data).
+     */
+    subscribeChanges(callbackFn: () => void): () => void;
+    /** Monotonic counter bumped whenever the engine emits a change to {@link RSEngine.subscribeChanges} listeners. */
+    getChangeGeneration(): number;
+    /**
+     * Runs pending {@link RSEngine.subscribeChanges} notifications immediately and clears the coalescing queue.
+     * Use after a synchronous batch of engine updates when listeners must observe a bumped {@link getChangeGeneration}
+     * in the same turn.
+     */
+    flushPendingChanges(): void;
+    /** Sets value for {@link Constituenta} from {@link Value}. */
+    setStructureValue(cstID: number, data: Value): Promise<void>;
+    /** Sets value for {@link Constituenta} from {@link BasicBinding}. */
+    setBasicValue(cstID: number, data: BasicBinding): Promise<void>;
+    /** Resets value for {@link Constituenta}. */
+    resetValue(cstID: number): Promise<void>;
+    /** Evaluates expression for {@link RSEngine}. */
+    evaluateExpression(expression: string, cstType: CstType): CalculatorResult;
+    /** Evaluates AST for {@link RSEngine}. */
+    evaluateAst(ast: AstNode, options?: CalculatorEvaluateOptions): CalculatorResult;
+    /** Calculates value for {@link Constituenta}. */
+    calculateCst(cstID: number): CalculatorResult;
+    /** Recalculate model for all inferrable expressions. */
+    recalculateAll(): void;
+    /** Notify subscribers about value and status change of {@link Constituenta}. */
+    private notifyCst;
+    /** Notify all subscribers about value change. */
+    private notifyValue;
+    /** Notify all subscribers about status change. */
+    private notifyStatus;
+    /** Notify all subscribers about value and status change. */
+    private notifyAll;
+    private scheduleCoalescedEmitChange;
+    private emitChange;
+    private prepareAst;
+    private prepareValues;
+    private setupEmptySets;
+    private collectChanged;
+    private onChangeDefinitions;
+    private cascadeReset;
+    private prepareEvaluation;
+    private recalculateInternal;
+}
+
+export { RSEngine, type RSEngineNotifications, type RSEngineServices };