bonescript-compiler 0.5.2 → 0.5.4

package/src/ast.d.ts

@@ -0,0 +1,244 @@
+/**
+ * BoneScript Abstract Syntax Tree
+ * Direct representation of the grammar in spec/02_GRAMMAR.peg.
+ * Every node type corresponds to a grammar production.
+ */
+import { SourceLocation } from "./lexer";
+export interface ASTNode {
+    kind: string;
+    loc: SourceLocation;
+}
+export interface ProgramNode extends ASTNode {
+    kind: "Program";
+    systems: SystemDeclNode[];
+}
+export interface SystemDeclNode extends ASTNode {
+    kind: "SystemDecl";
+    name: string;
+    domain: string | null;
+    declarations: DeclarationNode[];
+}
+export type DeclarationNode = EntityDeclNode | CapabilityDeclNode | ChannelDeclNode | StoreDeclNode | EventDeclNode | ConstraintDeclNode | PolicyDeclNode | FlowDeclNode | ImportDeclNode | ExtensionPointDeclNode;
+export interface EntityDeclNode extends ASTNode {
+    kind: "EntityDecl";
+    name: string;
+    owns: FieldNode[];
+    constraints: ExprNode[];
+    states: StateGraphNode | null;
+    auth: string | null;
+    relations: RelationNode[];
+    indexes: string[][];
+    derived: DerivedFieldNode[];
+}
+export interface FieldNode extends ASTNode {
+    kind: "Field";
+    name: string;
+    type: TypeExprNode;
+    defaultValue: ExprNode | null;
+}
+export interface StateGraphNode extends ASTNode {
+    kind: "StateGraph";
+    nodes: StateNodeEntry[];
+}
+export interface StateNodeEntry {
+    name: string;
+    guard: ExprNode | null;
+    transitions: string[];
+    branches: string[];
+}
+export interface RelationNode extends ASTNode {
+    kind: "Relation";
+    name: string;
+    relationType: "has_one" | "has_many" | "belongs_to" | "many_to_many";
+    target: string;
+    cardinality: {
+        min: number;
+        max: number | "*";
+    } | null;
+}
+export interface DerivedFieldNode extends ASTNode {
+    kind: "DerivedField";
+    name: string;
+    expr: ExprNode;
+}
+export interface CapabilityDeclNode extends ASTNode {
+    kind: "CapabilityDecl";
+    name: string;
+    params: ParamNode[];
+    requires: ExprNode[];
+    effects: EffectNode[];
+    emits: EmitNode[];
+    sync: string | null;
+    timeout: string | null;
+    retry: RetryPolicyNode | null;
+    idempotent: boolean | null;
+    pipeline: PipelineNode | null;
+    algorithm: AlgorithmNode | null;
+    returns: TypeExprNode | null;
+}
+export interface PipelineNode extends ASTNode {
+    kind: "Pipeline";
+    steps: PipelineStepNode[];
+    parallel: boolean;
+    onError: PipelineErrorHandler | null;
+}
+export interface PipelineStepNode extends ASTNode {
+    kind: "PipelineStep";
+    call: CallExprNode;
+    bindAs: string | null;
+}
+export interface PipelineErrorHandler {
+    kind: "PipelineErrorHandler";
+    action: "rollback" | "compensate" | "ignore" | "retry";
+    call: CallExprNode | null;
+}
+export interface AlgorithmNode extends ASTNode {
+    kind: "Algorithm";
+    name: string;
+    using: AlgorithmBinding[];
+}
+export interface AlgorithmBinding {
+    param: string;
+    value: ExprNode;
+}
+export interface ParamNode extends ASTNode {
+    kind: "Param";
+    name: string;
+    type: TypeExprNode;
+}
+export interface EffectNode extends ASTNode {
+    kind: "Effect";
+    target: FieldRefNode;
+    op: "=" | "+=" | "-=";
+    value: ExprNode;
+}
+export interface EmitNode extends ASTNode {
+    kind: "Emit";
+    eventName: string;
+    args: ExprNode[];
+}
+export interface RetryPolicyNode extends ASTNode {
+    kind: "RetryPolicy";
+    maxAttempts: number | null;
+    backoff: string | null;
+    interval: string | null;
+}
+export interface ChannelDeclNode extends ASTNode {
+    kind: "ChannelDecl";
+    name: string;
+    transport: string | null;
+    ordering: string | null;
+    participants: TypeExprNode | null;
+    persistence: string | null;
+    filter: ExprNode | null;
+    maxSize: number | null;
+}
+export interface StoreDeclNode extends ASTNode {
+    kind: "StoreDecl";
+    name: string;
+    engine: string | null;
+    schema: FieldNode[];
+    retention: string | null;
+    partition: string | null;
+    replicas: number | null;
+}
+export interface EventDeclNode extends ASTNode {
+    kind: "EventDecl";
+    name: string;
+    payload: FieldNode[];
+    delivery: string | null;
+    ttl: string | null;
+}
+export interface ConstraintDeclNode extends ASTNode {
+    kind: "ConstraintDecl";
+    name: string;
+    expr: ExprNode;
+}
+export interface PolicyDeclNode extends ASTNode {
+    kind: "PolicyDecl";
+    name: string;
+    rateLimit: {
+        count: number;
+        per: string;
+    } | null;
+    access: string[];
+    audit: boolean | null;
+    encryption: string | null;
+}
+export interface FlowDeclNode extends ASTNode {
+    kind: "FlowDecl";
+    name: string;
+    steps: FlowStepNode[];
+}
+export interface FlowStepNode extends ASTNode {
+    kind: "FlowStep";
+    name: string;
+    action: CallExprNode;
+    compensate: CallExprNode | null;
+}
+export interface ImportDeclNode extends ASTNode {
+    kind: "ImportDecl";
+    name: string;
+    from: string;
+}
+export type TypeExprNode = PrimitiveTypeNode | GenericTypeNode | EntityRefTypeNode | TupleTypeNode | UnionTypeNode;
+export interface PrimitiveTypeNode extends ASTNode {
+    kind: "PrimitiveType";
+    name: string;
+}
+export interface GenericTypeNode extends ASTNode {
+    kind: "GenericType";
+    name: string;
+    typeArgs: TypeExprNode[];
+}
+export interface EntityRefTypeNode extends ASTNode {
+    kind: "EntityRefType";
+    name: string;
+}
+export interface TupleTypeNode extends ASTNode {
+    kind: "TupleType";
+    elements: TypeExprNode[];
+}
+export interface UnionTypeNode extends ASTNode {
+    kind: "UnionType";
+    members: TypeExprNode[];
+}
+export type ExprNode = BinaryExprNode | UnaryExprNode | FieldRefNode | LiteralNode | CallExprNode | TernaryExprNode;
+export interface BinaryExprNode extends ASTNode {
+    kind: "BinaryExpr";
+    op: string;
+    left: ExprNode;
+    right: ExprNode;
+}
+export interface UnaryExprNode extends ASTNode {
+    kind: "UnaryExpr";
+    op: string;
+    operand: ExprNode;
+}
+export interface FieldRefNode extends ASTNode {
+    kind: "FieldRef";
+    path: string[];
+}
+export interface LiteralNode extends ASTNode {
+    kind: "Literal";
+    type: "string" | "int" | "float" | "bool" | "none" | "list" | "map";
+    value: string | number | boolean | null | ExprNode[] | [ExprNode, ExprNode][];
+}
+export interface CallExprNode extends ASTNode {
+    kind: "CallExpr";
+    name: string;
+    args: ExprNode[];
+}
+export interface TernaryExprNode extends ASTNode {
+    kind: "TernaryExpr";
+    condition: ExprNode;
+    consequent: ExprNode;
+    alternate: ExprNode;
+}
+export interface ExtensionPointDeclNode extends ASTNode {
+    kind: "ExtensionPointDecl";
+    name: string;
+    params: ParamNode[];
+    returns: TypeExprNode | null;
+    stable: boolean;
+}