hpp-lang 0.6.0

package/dist/interpreter.d.ts

@@ -0,0 +1,88 @@
+import { Stmt } from './ast.js';
+import { Hardware } from './hardware.js';
+import type { Capability } from './capabilities.js';
+import { HppError } from './errors.js';
+export type { HppError } from './errors.js';
+export { RuntimeError } from './errors.js';
+/**
+ * Opções de execução fornecidas pelo `HppRuntime` (§7/§28).
+ * Sem elas o Core roda "puro", sem checagem de capability — é o caminho
+ * dos testes de núcleo; o runtime sempre envia as duas.
+ */
+export interface RunOptions {
+    /**
+     * Capacidades declaradas pelo hardware (habilita a checagem em runtime).
+     * `null` (ou omitido) = núcleo puro, sem gate de capability.
+     */
+    capabilities?: Capability[] | null;
+    /** Segundos por ciclo do relógio determinístico (nunca `Date.now()`). */
+    dt?: number;
+}
+export type Value = number | boolean | string | HppFunction | Builtin;
+export interface HppFunction {
+    __fn: true;
+    name: string;
+    params: string[];
+    body: Stmt[];
+}
+export interface Builtin {
+    __builtin: true;
+    name: string;
+    arity: number;
+    impl: (args: Value[]) => Value;
+}
+/** Resultado de 1 ciclo. `suspended` = temporal em andamento (§6). */
+export interface RunResult {
+    ok: boolean;
+    error?: HppError;
+    steps: number;
+    suspended?: boolean;
+}
+/**
+ * Intérprete por árvore (tree-walk). Cada `run()` = 1 ciclo:
+ * foto dos sensores → (avalia o relógio do movimento) → executa o programa
+ * com combustível → ações saem na hora pelo hardware. Variáveis do aluno
+ * sobrevivem entre ciclos.
+ *
+ * **Movimentos temporais (§6)** tornam o programa um gerador: ao encontrar
+ * `ANDAR_POR`/`ESPERAR` o interpretador SUSPENDE a execução e guarda o
+ * ponto exato (dentro de `SE`, `REPETIR`, função…). Nos ciclos seguintes ele
+ * só soma `dt` no relógio — quando o tempo vence, conclui o movimento e
+ * RETOMA de onde parou. Nada bloqueia: `sleep`/`setTimeout`/`await` não
+ * existem aqui.
+ */
+export declare class Interpreter {
+    private globals;
+    private fuel;
+    /** Execução suspensa entre ciclos (null = programa parou no topo). */
+    private gen;
+    private motion;
+    private caps;
+    private dt;
+    /** Linha do movimento em curso (p/ erros de sensor ausente). */
+    private pendingLine;
+    private steps;
+    private snapshot;
+    /** Limpa a memória do aluno e a execução em curso (recomeçar). */
+    reset(): void;
+    run(program: Stmt[], hw: Hardware, fuel?: number, opts?: RunOptions): RunResult;
+    /** Sensores genéricos de estado de movimento (§14). */
+    private injectMotionState;
+    /** Conclusão de um temporal: para o robô (§6 — "executar PARAR"). */
+    private finishTimed;
+    /** Lê um sensor numérico do snapshot atual, na ordem de preferência. */
+    private readSensorNum;
+    /**
+     * Avalia a meta de um comando espacial. `true` = meta atingida.
+     * Sem leitura real o movimento é ABORTADO com erro — o H++ nunca finge
+     * que uma distância/ângulo foi alcançado (§8).
+     */
+    private advanceSpatial;
+    private burn;
+    private execList;
+    private execStmt;
+    private execAction;
+    private evalExpr;
+    private evalBinary;
+}
+//# sourceMappingURL=interpreter.d.ts.map

package/dist/interpreter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"interpreter.d.ts","sourceRoot":"","sources":["../src/interpreter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,IAAI,EAAE,MAAM,UAAU,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAe,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAWpD,OAAO,EAAE,QAAQ,EAAgB,MAAM,aAAa,CAAC;AAErD,YAAY,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB;;;OAGG;IACH,YAAY,CAAC,EAAE,UAAU,EAAE,GAAG,IAAI,CAAC;IACnC,yEAAyE;IACzE,EAAE,CAAC,EAAE,MAAM,CAAC;CACb;AAED,MAAM,MAAM,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,WAAW,GAAG,OAAO,CAAC;AAEtE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,IAAI,EAAE,IAAI,EAAE,CAAC;CACd;AAED,MAAM,WAAW,OAAO;IACtB,SAAS,EAAE,IAAI,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,KAAK,CAAC;CAChC;AAMD,sEAAsE;AACtE,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,OAAO,CAAC;IACZ,KAAK,CAAC,EAAE,QAAQ,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAqED;;;;;;;;;;;;GAYG;AACH,qBAAa,WAAW;IACtB,OAAO,CAAC,OAAO,CAAa;IAC5B,OAAO,CAAC,IAAI,CAAK;IACjB,sEAAsE;IACtE,OAAO,CAAC,GAAG,CAA4C;IACvD,OAAO,CAAC,MAAM,CAAqB;IACnC,OAAO,CAAC,IAAI,CAA6B;IACzC,OAAO,CAAC,EAAE,CAAW;IACrB,gEAAgE;IAChE,OAAO,CAAC,WAAW,CAAK;IACxB,OAAO,CAAC,KAAK,CAAK;IAClB,OAAO,CAAC,QAAQ,CAAmC;IAEnD,kEAAkE;IAClE,KAAK,IAAI,IAAI;IAMb,GAAG,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,SAAO,EAAE,IAAI,CAAC,EAAE,UAAU,GAAG,SAAS;IAiE7E,uDAAuD;IACvD,OAAO,CAAC,iBAAiB;IAmBzB,qEAAqE;IACrE,OAAO,CAAC,WAAW;IAOnB,wEAAwE;IACxE,OAAO,CAAC,aAAa;IAQrB;;;;OAIG;IACH,OAAO,CAAC,cAAc;IAwBtB,OAAO,CAAC,IAAI;IAWZ,OAAO,CAAE,QAAQ;IAIjB,OAAO,CAAE,QAAQ;IAmFjB,OAAO,CAAE,UAAU;IA0QnB,OAAO,CAAE,QAAQ;IA+DjB,OAAO,CAAE,UAAU;CAwDpB"}