redscript-mc 2.4.1 → 2.6.0

package/dist/ast/types.d.ts

@@ -1,514 +0,0 @@
-/**
- * RedScript AST Types
- *
- * This module defines the Abstract Syntax Tree structure for RedScript.
- * The AST is produced by the parser and consumed by the lowering pass.
- */
-import type { BinOp, CmpOp } from '../ir/types';
-export interface Span {
-    line: number;
-    col: number;
-    endLine?: number;
-    endCol?: number;
-}
-export type PrimitiveType = 'int' | 'bool' | 'float' | 'string' | 'void' | 'BlockPos' | 'byte' | 'short' | 'long' | 'double' | 'format_string';
-export type EntityTypeName = 'entity' | 'Player' | 'Mob' | 'HostileMob' | 'PassiveMob' | 'Zombie' | 'Skeleton' | 'Creeper' | 'Spider' | 'Enderman' | 'Blaze' | 'Witch' | 'Slime' | 'ZombieVillager' | 'Husk' | 'Drowned' | 'Stray' | 'WitherSkeleton' | 'CaveSpider' | 'Pig' | 'Cow' | 'Sheep' | 'Chicken' | 'Villager' | 'WanderingTrader' | 'ArmorStand' | 'Item' | 'Arrow';
-export type TypeNode = {
-    kind: 'named';
-    name: PrimitiveType;
-} | {
-    kind: 'array';
-    elem: TypeNode;
-} | {
-    kind: 'struct';
-    name: string;
-} | {
-    kind: 'enum';
-    name: string;
-} | {
-    kind: 'function_type';
-    params: TypeNode[];
-    return: TypeNode;
-} | {
-    kind: 'entity';
-    entityType: EntityTypeName;
-} | {
-    kind: 'selector';
-    entityType?: string;
-};
-export interface LambdaParam {
-    name: string;
-    type?: TypeNode;
-}
-export interface LambdaExpr {
-    kind: 'lambda';
-    params: LambdaParam[];
-    returnType?: TypeNode;
-    body: Expr | Block;
-}
-export type FStringPart = {
-    kind: 'text';
-    value: string;
-} | {
-    kind: 'expr';
-    expr: Expr;
-};
-export interface FStringExpr {
-    kind: 'f_string';
-    parts: FStringPart[];
-    span?: Span;
-}
-export interface RangeExpr {
-    min?: number;
-    max?: number;
-}
-export type SelectorKind = '@a' | '@e' | '@s' | '@p' | '@r' | '@n';
-export interface SelectorFilter {
-    type?: string;
-    distance?: RangeExpr;
-    tag?: string[];
-    notTag?: string[];
-    scores?: Record<string, RangeExpr>;
-    limit?: number;
-    sort?: 'nearest' | 'furthest' | 'random' | 'arbitrary';
-    nbt?: string;
-    gamemode?: string;
-    x?: RangeExpr;
-    y?: RangeExpr;
-    z?: RangeExpr;
-    x_rotation?: RangeExpr;
-    y_rotation?: RangeExpr;
-}
-export interface EntitySelector {
-    kind: SelectorKind;
-    filters?: SelectorFilter;
-}
-export type CoordComponent = {
-    kind: 'absolute';
-    value: number;
-} | {
-    kind: 'relative';
-    offset: number;
-} | {
-    kind: 'local';
-    offset: number;
-};
-export interface BlockPosExpr {
-    kind: 'blockpos';
-    x: CoordComponent;
-    y: CoordComponent;
-    z: CoordComponent;
-}
-export type AssignOp = '=' | '+=' | '-=' | '*=' | '/=' | '%=';
-export type Expr = {
-    kind: 'int_lit';
-    value: number;
-    span?: Span;
-} | {
-    kind: 'float_lit';
-    value: number;
-    span?: Span;
-} | {
-    kind: 'byte_lit';
-    value: number;
-    span?: Span;
-} | {
-    kind: 'short_lit';
-    value: number;
-    span?: Span;
-} | {
-    kind: 'long_lit';
-    value: number;
-    span?: Span;
-} | {
-    kind: 'double_lit';
-    value: number;
-    span?: Span;
-} | {
-    kind: 'rel_coord';
-    value: string;
-    span?: Span;
-} | {
-    kind: 'local_coord';
-    value: string;
-    span?: Span;
-} | {
-    kind: 'bool_lit';
-    value: boolean;
-    span?: Span;
-} | {
-    kind: 'str_lit';
-    value: string;
-    span?: Span;
-} | {
-    kind: 'mc_name';
-    value: string;
-    span?: Span;
-} | {
-    kind: 'str_interp';
-    parts: Array<string | Expr>;
-    span?: Span;
-} | FStringExpr | {
-    kind: 'range_lit';
-    range: RangeExpr;
-    span?: Span;
-} | (BlockPosExpr & {
-    span?: Span;
-}) | {
-    kind: 'ident';
-    name: string;
-    span?: Span;
-} | {
-    kind: 'selector';
-    raw: string;
-    isSingle: boolean;
-    sel: EntitySelector;
-    span?: Span;
-} | {
-    kind: 'binary';
-    op: BinOp | CmpOp | '&&' | '||';
-    left: Expr;
-    right: Expr;
-    span?: Span;
-} | {
-    kind: 'is_check';
-    expr: Expr;
-    entityType: EntityTypeName;
-    span?: Span;
-} | {
-    kind: 'unary';
-    op: '!' | '-';
-    operand: Expr;
-    span?: Span;
-} | {
-    kind: 'assign';
-    target: string;
-    op: AssignOp;
-    value: Expr;
-    span?: Span;
-} | {
-    kind: 'call';
-    fn: string;
-    args: Expr[];
-    span?: Span;
-} | {
-    kind: 'invoke';
-    callee: Expr;
-    args: Expr[];
-    span?: Span;
-} | {
-    kind: 'member';
-    obj: Expr;
-    field: string;
-    span?: Span;
-} | {
-    kind: 'struct_lit';
-    fields: {
-        name: string;
-        value: Expr;
-    }[];
-    span?: Span;
-} | {
-    kind: 'member_assign';
-    obj: Expr;
-    field: string;
-    op: AssignOp;
-    value: Expr;
-    span?: Span;
-} | {
-    kind: 'index';
-    obj: Expr;
-    index: Expr;
-    span?: Span;
-} | {
-    kind: 'array_lit';
-    elements: Expr[];
-    span?: Span;
-} | {
-    kind: 'static_call';
-    type: string;
-    method: string;
-    args: Expr[];
-    span?: Span;
-} | (LambdaExpr & {
-    span?: Span;
-});
-export type LiteralExpr = Extract<Expr, {
-    kind: 'int_lit';
-}> | Extract<Expr, {
-    kind: 'float_lit';
-}> | Extract<Expr, {
-    kind: 'bool_lit';
-}> | Extract<Expr, {
-    kind: 'str_lit';
-}>;
-export type ExecuteSubcommand = {
-    kind: 'as';
-    selector: EntitySelector;
-} | {
-    kind: 'at';
-    selector: EntitySelector;
-} | {
-    kind: 'positioned';
-    x: string;
-    y: string;
-    z: string;
-} | {
-    kind: 'positioned_as';
-    selector: EntitySelector;
-} | {
-    kind: 'rotated';
-    yaw: string;
-    pitch: string;
-} | {
-    kind: 'rotated_as';
-    selector: EntitySelector;
-} | {
-    kind: 'facing';
-    x: string;
-    y: string;
-    z: string;
-} | {
-    kind: 'facing_entity';
-    selector: EntitySelector;
-    anchor: 'eyes' | 'feet';
-} | {
-    kind: 'anchored';
-    anchor: 'eyes' | 'feet';
-} | {
-    kind: 'align';
-    axes: string;
-} | {
-    kind: 'in';
-    dimension: string;
-} | {
-    kind: 'on';
-    relation: string;
-} | {
-    kind: 'summon';
-    entity: string;
-} | {
-    kind: 'if_entity';
-    selector?: EntitySelector;
-    varName?: string;
-    filters?: SelectorFilter;
-} | {
-    kind: 'unless_entity';
-    selector?: EntitySelector;
-    varName?: string;
-    filters?: SelectorFilter;
-} | {
-    kind: 'if_block';
-    pos: [string, string, string];
-    block: string;
-} | {
-    kind: 'unless_block';
-    pos: [string, string, string];
-    block: string;
-} | {
-    kind: 'if_score';
-    target: string;
-    targetObj: string;
-    op: string;
-    source: string;
-    sourceObj: string;
-} | {
-    kind: 'unless_score';
-    target: string;
-    targetObj: string;
-    op: string;
-    source: string;
-    sourceObj: string;
-} | {
-    kind: 'if_score_range';
-    target: string;
-    targetObj: string;
-    range: string;
-} | {
-    kind: 'unless_score_range';
-    target: string;
-    targetObj: string;
-    range: string;
-} | {
-    kind: 'store_result';
-    target: string;
-    targetObj: string;
-} | {
-    kind: 'store_success';
-    target: string;
-    targetObj: string;
-};
-export type Stmt = {
-    kind: 'let';
-    name: string;
-    type?: TypeNode;
-    init: Expr;
-    span?: Span;
-} | {
-    kind: 'expr';
-    expr: Expr;
-    span?: Span;
-} | {
-    kind: 'return';
-    value?: Expr;
-    span?: Span;
-} | {
-    kind: 'break';
-    span?: Span;
-} | {
-    kind: 'continue';
-    span?: Span;
-} | {
-    kind: 'if';
-    cond: Expr;
-    then: Block;
-    else_?: Block;
-    span?: Span;
-} | {
-    kind: 'while';
-    cond: Expr;
-    body: Block;
-    span?: Span;
-} | {
-    kind: 'for';
-    init?: Stmt;
-    cond: Expr;
-    step: Expr;
-    body: Block;
-    span?: Span;
-} | {
-    kind: 'foreach';
-    binding: string;
-    iterable: Expr;
-    body: Block;
-    executeContext?: string;
-    span?: Span;
-} | {
-    kind: 'for_range';
-    varName: string;
-    start: Expr;
-    end: Expr;
-    body: Block;
-    span?: Span;
-} | {
-    kind: 'match';
-    expr: Expr;
-    arms: {
-        pattern: Expr | null;
-        body: Block;
-    }[];
-    span?: Span;
-} | {
-    kind: 'as_block';
-    selector: EntitySelector;
-    body: Block;
-    span?: Span;
-} | {
-    kind: 'at_block';
-    selector: EntitySelector;
-    body: Block;
-    span?: Span;
-} | {
-    kind: 'as_at';
-    as_sel: EntitySelector;
-    at_sel: EntitySelector;
-    body: Block;
-    span?: Span;
-} | {
-    kind: 'execute';
-    subcommands: ExecuteSubcommand[];
-    body: Block;
-    span?: Span;
-} | {
-    kind: 'raw';
-    cmd: string;
-    span?: Span;
-};
-export type Block = Stmt[];
-export interface Decorator {
-    name: 'tick' | 'load' | 'on' | 'on_trigger' | 'on_advancement' | 'on_craft' | 'on_death' | 'on_login' | 'on_join_team' | 'keep' | 'require_on_load';
-    args?: {
-        rate?: number;
-        eventType?: string;
-        trigger?: string;
-        advancement?: string;
-        item?: string;
-        team?: string;
-    };
-    /** Raw positional arguments (used by @requires and future generic decorators). */
-    rawArgs?: Array<{
-        kind: 'string';
-        value: string;
-    } | {
-        kind: 'number';
-        value: number;
-    }>;
-}
-export interface Param {
-    name: string;
-    type: TypeNode;
-    default?: Expr;
-}
-export interface FnDecl {
-    /** Set when this function was parsed from a `module library;` source.
-     *  Library functions are NOT MC entry points — DCE only keeps them if they
-     *  are reachable from a non-library (user) entry point. */
-    isLibraryFn?: boolean;
-    name: string;
-    params: Param[];
-    returnType: TypeNode;
-    decorators: Decorator[];
-    body: Block;
-    span?: Span;
-}
-export interface StructField {
-    name: string;
-    type: TypeNode;
-}
-export interface StructDecl {
-    name: string;
-    fields: StructField[];
-    span?: Span;
-}
-export interface ImplBlock {
-    kind: 'impl_block';
-    typeName: string;
-    methods: FnDecl[];
-    span?: Span;
-}
-export interface EnumVariant {
-    name: string;
-    value?: number;
-}
-export interface EnumDecl {
-    name: string;
-    variants: EnumVariant[];
-    span?: Span;
-}
-export interface ConstDecl {
-    name: string;
-    type: TypeNode;
-    value: LiteralExpr;
-    span?: Span;
-}
-export interface GlobalDecl {
-    kind: 'global';
-    name: string;
-    type: TypeNode;
-    init: Expr;
-    mutable: boolean;
-    span?: Span;
-}
-export interface Program {
-    namespace: string;
-    globals: GlobalDecl[];
-    declarations: FnDecl[];
-    structs: StructDecl[];
-    implBlocks: ImplBlock[];
-    enums: EnumDecl[];
-    consts: ConstDecl[];
-    /** True when the source file declares `module library;`.
-     *  Library-mode: all functions are DCE-eligible by default — none are treated
-     *  as MC entry points unless they carry @tick / @load / @on / @keep etc. */
-    isLibrary?: boolean;
-}

package/dist/ast/types.js

@@ -1,9 +0,0 @@
-"use strict";
-/**
- * RedScript AST Types
- *
- * This module defines the Abstract Syntax Tree structure for RedScript.
- * The AST is produced by the parser and consumed by the lowering pass.
- */
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=types.js.map

package/dist/builtins/metadata.d.ts

@@ -1,36 +0,0 @@
-/**
- * RedScript Builtin Metadata
- *
- * Comprehensive metadata for all builtin functions, used by:
- * - generate-dts CLI command (produces builtins.d.mcrs)
- * - VSCode extension hover docs
- * - Type checker documentation
- */
-export type BuiltinParamType = 'int' | 'float' | 'string' | 'bool' | 'coord' | 'selector' | 'nbt' | 'block' | 'item' | 'entity' | 'effect' | 'sound' | 'dimension' | 'BlockPos' | 'T[]' | 'T';
-export interface BuiltinParam {
-    name: string;
-    type: BuiltinParamType | string;
-    required: boolean;
-    default?: string;
-    doc: string;
-    docZh: string;
-}
-export interface BuiltinDef {
-    name: string;
-    params: BuiltinParam[];
-    returns: 'void' | 'int' | 'bool' | 'string';
-    doc: string;
-    docZh: string;
-    examples: string[];
-    compilesTo?: string;
-    category: string;
-}
-export declare const BUILTIN_METADATA: Record<string, BuiltinDef>;
-/**
- * Returns the .d.mcrs declaration file signature for a builtin function.
- */
-export declare function builtinToDeclaration(def: BuiltinDef): string;
-/**
- * Generates the full builtins.d.mcrs content.
- */
-export declare function generateDts(): string;