@k67/kaitai-struct-ts 0.2.0 → 0.5.0

package/dist/index.mjs

@@ -824,17 +824,23 @@ var Context = class _Context {
    * @param _io - Binary stream being read
    * @param _root - Root object of the parse tree
    * @param _parent - Parent object (optional)
+   * @param enums - Enum definitions from schema (optional)
    */
-  constructor(_io, _root = null, _parent = null) {
+  constructor(_io, _root = null, _parent = null, enums) {
     this._io = _io;
     this._root = _root;
     /** Stack of parent objects */
     this.parentStack = [];
     /** Current object being parsed */
     this._current = {};
+    /** Enum definitions from schema */
+    this._enums = {};
     if (_parent !== null) {
       this.parentStack.push(_parent);
     }
+    if (enums) {
+      this._enums = enums;
+    }
   }
   /**
    * Get the current I/O stream.
@@ -931,6 +937,36 @@ var Context = class _Context {
   set(name, value) {
     this._current[name] = value;
   }
+  /**
+   * Get enum value by name.
+   * Used for enum access in expressions (EnumName::value).
+   *
+   * @param enumName - Name of the enum
+   * @param valueName - Name of the enum value
+   * @returns Enum value (number) or undefined
+   */
+  getEnumValue(enumName, valueName) {
+    const enumDef = this._enums[enumName];
+    if (!enumDef) {
+      return void 0;
+    }
+    for (const [key, value] of Object.entries(enumDef)) {
+      if (value === valueName) {
+        const numKey = Number(key);
+        return isNaN(numKey) ? key : numKey;
+      }
+    }
+    return void 0;
+  }
+  /**
+   * Check if an enum exists.
+   *
+   * @param enumName - Name of the enum
+   * @returns True if enum exists
+   */
+  hasEnum(enumName) {
+    return enumName in this._enums;
+  }
   /**
    * Create a child context for nested parsing.
    * The current object becomes the parent in the child context.
@@ -942,7 +978,8 @@ var Context = class _Context {
     const childContext = new _Context(
       stream || this._io,
       this._root || this._current,
-      this._current
+      this._current,
+      this._enums
     );
     return childContext;
   }
@@ -953,13 +990,917 @@ var Context = class _Context {
    * @returns Cloned context
    */
   clone() {
-    const cloned = new _Context(this._io, this._root, this.parent);
+    const cloned = new _Context(this._io, this._root, this.parent, this._enums);
     cloned._current = { ...this._current };
     cloned.parentStack = [...this.parentStack];
     return cloned;
   }
 };
 
+// src/expression/Token.ts
+function createToken(type, value = null, position = 0) {
+  return { type, value, position };
+}
+
+// src/expression/Lexer.ts
+var Lexer = class {
+  /**
+   * Create a new lexer.
+   *
+   * @param input - Expression string to tokenize
+   */
+  constructor(input) {
+    this.position = 0;
+    this.current = null;
+    this.input = input;
+    this.current = input.length > 0 ? input[0] : null;
+  }
+  /**
+   * Tokenize the entire input string.
+   *
+   * @returns Array of tokens
+   * @throws {ParseError} If invalid syntax is encountered
+   */
+  tokenize() {
+    const tokens = [];
+    while (this.current !== null) {
+      if (this.isWhitespace(this.current)) {
+        this.skipWhitespace();
+        continue;
+      }
+      if (this.isDigit(this.current)) {
+        tokens.push(this.readNumber());
+        continue;
+      }
+      if (this.isIdentifierStart(this.current)) {
+        tokens.push(this.readIdentifierOrKeyword());
+        continue;
+      }
+      if (this.current === '"' || this.current === "'") {
+        tokens.push(this.readString());
+        continue;
+      }
+      const token = this.readOperator();
+      if (token) {
+        tokens.push(token);
+        continue;
+      }
+      throw new ParseError(
+        `Unexpected character: ${this.current}`,
+        this.position
+      );
+    }
+    tokens.push(createToken("EOF" /* EOF */, null, this.position));
+    return tokens;
+  }
+  /**
+   * Advance to the next character.
+   * @private
+   */
+  advance() {
+    this.position++;
+    this.current = this.position < this.input.length ? this.input[this.position] : null;
+  }
+  /**
+   * Peek at the next character without advancing.
+   * @private
+   */
+  peek(offset = 1) {
+    const pos = this.position + offset;
+    return pos < this.input.length ? this.input[pos] : null;
+  }
+  /**
+   * Check if character is whitespace.
+   * @private
+   */
+  isWhitespace(char) {
+    return /\s/.test(char);
+  }
+  /**
+   * Check if character is a digit.
+   * @private
+   */
+  isDigit(char) {
+    return /[0-9]/.test(char);
+  }
+  /**
+   * Check if character can start an identifier.
+   * @private
+   */
+  isIdentifierStart(char) {
+    return /[a-zA-Z_]/.test(char);
+  }
+  /**
+   * Check if character can be part of an identifier.
+   * @private
+   */
+  isIdentifierPart(char) {
+    return /[a-zA-Z0-9_]/.test(char);
+  }
+  /**
+   * Skip whitespace characters.
+   * @private
+   */
+  skipWhitespace() {
+    while (this.current !== null && this.isWhitespace(this.current)) {
+      this.advance();
+    }
+  }
+  /**
+   * Read a number token.
+   * @private
+   */
+  readNumber() {
+    const start = this.position;
+    let value = "";
+    if (this.current === "0" && this.peek() === "x") {
+      value += this.current;
+      this.advance();
+      value += this.current;
+      this.advance();
+      while (this.current !== null && /[0-9a-fA-F]/.test(this.current)) {
+        value += this.current;
+        this.advance();
+      }
+      return createToken("NUMBER" /* NUMBER */, parseInt(value, 16), start);
+    }
+    while (this.current !== null && this.isDigit(this.current)) {
+      value += this.current;
+      this.advance();
+    }
+    if (this.current === "." && this.peek() && this.isDigit(this.peek())) {
+      value += this.current;
+      this.advance();
+      while (this.current !== null && this.isDigit(this.current)) {
+        value += this.current;
+        this.advance();
+      }
+      return createToken("NUMBER" /* NUMBER */, parseFloat(value), start);
+    }
+    return createToken("NUMBER" /* NUMBER */, parseInt(value, 10), start);
+  }
+  /**
+   * Read an identifier or keyword token.
+   * @private
+   */
+  readIdentifierOrKeyword() {
+    const start = this.position;
+    let value = "";
+    while (this.current !== null && this.isIdentifierPart(this.current)) {
+      value += this.current;
+      this.advance();
+    }
+    switch (value) {
+      case "true":
+        return createToken("BOOLEAN" /* BOOLEAN */, true, start);
+      case "false":
+        return createToken("BOOLEAN" /* BOOLEAN */, false, start);
+      case "and":
+        return createToken("AND" /* AND */, value, start);
+      case "or":
+        return createToken("OR" /* OR */, value, start);
+      case "not":
+        return createToken("NOT" /* NOT */, value, start);
+      default:
+        return createToken("IDENTIFIER" /* IDENTIFIER */, value, start);
+    }
+  }
+  /**
+   * Read a string token.
+   * @private
+   */
+  readString() {
+    const start = this.position;
+    const quote = this.current;
+    let value = "";
+    this.advance();
+    while (this.current !== null && this.current !== quote) {
+      if (this.current === "\\") {
+        this.advance();
+        if (this.current === null) {
+          throw new ParseError("Unterminated string", start);
+        }
+        const ch = this.current;
+        if (ch === "n") {
+          value += "\n";
+        } else if (ch === "t") {
+          value += "	";
+        } else if (ch === "r") {
+          value += "\r";
+        } else if (ch === "\\") {
+          value += "\\";
+        } else if (ch === '"') {
+          value += '"';
+        } else if (ch === "'") {
+          value += "'";
+        } else {
+          value += ch;
+        }
+      } else {
+        value += this.current;
+      }
+      this.advance();
+    }
+    if (this.current === null) {
+      throw new ParseError("Unterminated string", start);
+    }
+    this.advance();
+    return createToken("STRING" /* STRING */, value, start);
+  }
+  /**
+   * Read an operator or punctuation token.
+   * @private
+   */
+  readOperator() {
+    const start = this.position;
+    const char = this.current;
+    switch (char) {
+      case "+":
+        this.advance();
+        return createToken("PLUS" /* PLUS */, char, start);
+      case "-":
+        this.advance();
+        return createToken("MINUS" /* MINUS */, char, start);
+      case "*":
+        this.advance();
+        return createToken("STAR" /* STAR */, char, start);
+      case "/":
+        this.advance();
+        return createToken("SLASH" /* SLASH */, char, start);
+      case "%":
+        this.advance();
+        return createToken("PERCENT" /* PERCENT */, char, start);
+      case "<":
+        this.advance();
+        if (this.current === "=") {
+          this.advance();
+          return createToken("LE" /* LE */, "<=", start);
+        } else if (this.current === "<") {
+          this.advance();
+          return createToken("LSHIFT" /* LSHIFT */, "<<", start);
+        }
+        return createToken("LT" /* LT */, "<", start);
+      case ">":
+        this.advance();
+        if (this.current === "=") {
+          this.advance();
+          return createToken("GE" /* GE */, ">=", start);
+        } else if (this.current === ">") {
+          this.advance();
+          return createToken("RSHIFT" /* RSHIFT */, ">>", start);
+        }
+        return createToken("GT" /* GT */, ">", start);
+      case "=":
+        this.advance();
+        if (this.current === "=") {
+          this.advance();
+          return createToken("EQ" /* EQ */, "==", start);
+        }
+        throw new ParseError("Expected == for equality", start);
+      case "!":
+        this.advance();
+        if (this.current === "=") {
+          this.advance();
+          return createToken("NE" /* NE */, "!=", start);
+        }
+        throw new ParseError("Expected != for inequality", start);
+      case "&":
+        this.advance();
+        return createToken("AMPERSAND" /* AMPERSAND */, char, start);
+      case "|":
+        this.advance();
+        return createToken("PIPE" /* PIPE */, char, start);
+      case "^":
+        this.advance();
+        return createToken("CARET" /* CARET */, char, start);
+      case "?":
+        this.advance();
+        return createToken("QUESTION" /* QUESTION */, char, start);
+      case ":":
+        this.advance();
+        if (this.current === ":") {
+          this.advance();
+          return createToken("DOUBLE_COLON" /* DOUBLE_COLON */, "::", start);
+        }
+        return createToken("COLON" /* COLON */, char, start);
+      case "(":
+        this.advance();
+        return createToken("LPAREN" /* LPAREN */, char, start);
+      case ")":
+        this.advance();
+        return createToken("RPAREN" /* RPAREN */, char, start);
+      case "[":
+        this.advance();
+        return createToken("LBRACKET" /* LBRACKET */, char, start);
+      case "]":
+        this.advance();
+        return createToken("RBRACKET" /* RBRACKET */, char, start);
+      case ".":
+        this.advance();
+        return createToken("DOT" /* DOT */, char, start);
+      case ",":
+        this.advance();
+        return createToken("COMMA" /* COMMA */, char, start);
+      default:
+        return null;
+    }
+  }
+};
+
+// src/expression/AST.ts
+function createLiteral(value) {
+  return { kind: "Literal", value };
+}
+function createIdentifier(name) {
+  return { kind: "Identifier", name };
+}
+function createBinaryOp(operator, left, right) {
+  return { kind: "BinaryOp", operator, left, right };
+}
+function createUnaryOp(operator, operand) {
+  return { kind: "UnaryOp", operator, operand };
+}
+function createTernary(condition, ifTrue, ifFalse) {
+  return { kind: "Ternary", condition, ifTrue, ifFalse };
+}
+function createMemberAccess(object, property) {
+  return { kind: "MemberAccess", object, property };
+}
+function createIndexAccess(object, index) {
+  return { kind: "IndexAccess", object, index };
+}
+function createMethodCall(object, method, args) {
+  return { kind: "MethodCall", object, method, args };
+}
+function createEnumAccess(enumName, value) {
+  return { kind: "EnumAccess", enumName, value };
+}
+
+// src/expression/Parser.ts
+var ExpressionParser = class {
+  /**
+   * Create a new expression parser.
+   *
+   * @param tokens - Array of tokens to parse
+   */
+  constructor(tokens) {
+    this.position = 0;
+    this.tokens = tokens;
+  }
+  /**
+   * Parse the tokens into an AST.
+   *
+   * @returns Root AST node
+   * @throws {ParseError} If invalid syntax is encountered
+   */
+  parse() {
+    const expr = this.parseTernary();
+    if (!this.isAtEnd()) {
+      throw new ParseError(
+        `Unexpected token: ${this.current().type}`,
+        this.current().position
+      );
+    }
+    return expr;
+  }
+  /**
+   * Get the current token.
+   * @private
+   */
+  current() {
+    return this.tokens[this.position];
+  }
+  /**
+   * Check if we're at the end of tokens.
+   * @private
+   */
+  isAtEnd() {
+    return this.current().type === "EOF" /* EOF */;
+  }
+  /**
+   * Advance to the next token.
+   * @private
+   */
+  advance() {
+    if (!this.isAtEnd()) {
+      this.position++;
+    }
+    return this.tokens[this.position - 1];
+  }
+  /**
+   * Check if current token matches any of the given types.
+   * @private
+   */
+  match(...types) {
+    for (const type of types) {
+      if (this.current().type === type) {
+        this.advance();
+        return true;
+      }
+    }
+    return false;
+  }
+  /**
+   * Expect a specific token type and advance.
+   * @private
+   */
+  expect(type, message) {
+    if (this.current().type !== type) {
+      throw new ParseError(message, this.current().position);
+    }
+    return this.advance();
+  }
+  /**
+   * Parse ternary conditional (lowest precedence).
+   * condition ? ifTrue : ifFalse
+   * @private
+   */
+  parseTernary() {
+    let expr = this.parseLogicalOr();
+    if (this.match("QUESTION" /* QUESTION */)) {
+      const ifTrue = this.parseTernary();
+      this.expect("COLON" /* COLON */, "Expected : in ternary expression");
+      const ifFalse = this.parseTernary();
+      return createTernary(expr, ifTrue, ifFalse);
+    }
+    return expr;
+  }
+  /**
+   * Parse logical OR.
+   * @private
+   */
+  parseLogicalOr() {
+    let left = this.parseLogicalAnd();
+    while (this.match("OR" /* OR */)) {
+      const operator = "or";
+      const right = this.parseLogicalAnd();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse logical AND.
+   * @private
+   */
+  parseLogicalAnd() {
+    let left = this.parseBitwiseOr();
+    while (this.match("AND" /* AND */)) {
+      const operator = "and";
+      const right = this.parseBitwiseOr();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse bitwise OR.
+   * @private
+   */
+  parseBitwiseOr() {
+    let left = this.parseBitwiseXor();
+    while (this.match("PIPE" /* PIPE */)) {
+      const operator = "|";
+      const right = this.parseBitwiseXor();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse bitwise XOR.
+   * @private
+   */
+  parseBitwiseXor() {
+    let left = this.parseBitwiseAnd();
+    while (this.match("CARET" /* CARET */)) {
+      const operator = "^";
+      const right = this.parseBitwiseAnd();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse bitwise AND.
+   * @private
+   */
+  parseBitwiseAnd() {
+    let left = this.parseEquality();
+    while (this.match("AMPERSAND" /* AMPERSAND */)) {
+      const operator = "&";
+      const right = this.parseEquality();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse equality operators (==, !=).
+   * @private
+   */
+  parseEquality() {
+    let left = this.parseRelational();
+    while (this.match("EQ" /* EQ */, "NE" /* NE */)) {
+      const operator = this.tokens[this.position - 1].value;
+      const right = this.parseRelational();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse relational operators (<, <=, >, >=).
+   * @private
+   */
+  parseRelational() {
+    let left = this.parseBitShift();
+    while (this.match("LT" /* LT */, "LE" /* LE */, "GT" /* GT */, "GE" /* GE */)) {
+      const operator = this.tokens[this.position - 1].value;
+      const right = this.parseBitShift();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse bit shift operators (<<, >>).
+   * @private
+   */
+  parseBitShift() {
+    let left = this.parseAdditive();
+    while (this.match("LSHIFT" /* LSHIFT */, "RSHIFT" /* RSHIFT */)) {
+      const operator = this.tokens[this.position - 1].value;
+      const right = this.parseAdditive();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse additive operators (+, -).
+   * @private
+   */
+  parseAdditive() {
+    let left = this.parseMultiplicative();
+    while (this.match("PLUS" /* PLUS */, "MINUS" /* MINUS */)) {
+      const operator = this.tokens[this.position - 1].value;
+      const right = this.parseMultiplicative();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse multiplicative operators (*, /, %).
+   * @private
+   */
+  parseMultiplicative() {
+    let left = this.parseUnary();
+    while (this.match("STAR" /* STAR */, "SLASH" /* SLASH */, "PERCENT" /* PERCENT */)) {
+      const operator = this.tokens[this.position - 1].value;
+      const right = this.parseUnary();
+      left = createBinaryOp(operator, left, right);
+    }
+    return left;
+  }
+  /**
+   * Parse unary operators (-, not).
+   * @private
+   */
+  parseUnary() {
+    if (this.match("MINUS" /* MINUS */, "NOT" /* NOT */)) {
+      const operator = this.tokens[this.position - 1].value;
+      const operand = this.parseUnary();
+      return createUnaryOp(operator, operand);
+    }
+    return this.parsePostfix();
+  }
+  /**
+   * Parse postfix operators (., [], ()).
+   * @private
+   */
+  parsePostfix() {
+    let expr = this.parsePrimary();
+    while (true) {
+      if (this.match("DOT" /* DOT */)) {
+        const property = this.expect(
+          "IDENTIFIER" /* IDENTIFIER */,
+          "Expected property name after ."
+        );
+        expr = createMemberAccess(expr, property.value);
+      } else if (this.match("LBRACKET" /* LBRACKET */)) {
+        const index = this.parseTernary();
+        this.expect("RBRACKET" /* RBRACKET */, "Expected ] after array index");
+        expr = createIndexAccess(expr, index);
+      } else if (this.current().type === "LPAREN" /* LPAREN */) {
+        if (expr.kind === "MemberAccess") {
+          this.advance();
+          const args = [];
+          if (this.current().type !== "RPAREN" /* RPAREN */) {
+            args.push(this.parseTernary());
+            while (this.match("COMMA" /* COMMA */)) {
+              args.push(this.parseTernary());
+            }
+          }
+          this.expect("RPAREN" /* RPAREN */, "Expected ) after arguments");
+          const memberExpr = expr;
+          expr = createMethodCall(memberExpr.object, memberExpr.property, args);
+        } else {
+          break;
+        }
+      } else {
+        break;
+      }
+    }
+    return expr;
+  }
+  /**
+   * Parse primary expressions (literals, identifiers, grouping).
+   * @private
+   */
+  parsePrimary() {
+    if (this.match("NUMBER" /* NUMBER */, "STRING" /* STRING */, "BOOLEAN" /* BOOLEAN */)) {
+      const token = this.tokens[this.position - 1];
+      return createLiteral(token.value);
+    }
+    if (this.match("IDENTIFIER" /* IDENTIFIER */)) {
+      const name = this.tokens[this.position - 1].value;
+      if (this.match("DOUBLE_COLON" /* DOUBLE_COLON */)) {
+        const value = this.expect(
+          "IDENTIFIER" /* IDENTIFIER */,
+          "Expected enum value after ::"
+        );
+        return createEnumAccess(name, value.value);
+      }
+      return createIdentifier(name);
+    }
+    if (this.match("LPAREN" /* LPAREN */)) {
+      const expr = this.parseTernary();
+      this.expect("RPAREN" /* RPAREN */, "Expected ) after expression");
+      return expr;
+    }
+    throw new ParseError(
+      `Unexpected token: ${this.current().type}`,
+      this.current().position
+    );
+  }
+};
+
+// src/expression/Evaluator.ts
+var Evaluator = class {
+  /**
+   * Evaluate an AST node in the given context.
+   *
+   * @param node - AST node to evaluate
+   * @param context - Execution context
+   * @returns Evaluated value
+   * @throws {ParseError} If evaluation fails
+   */
+  evaluate(node, context) {
+    const n = node;
+    switch (node.kind) {
+      case "Literal":
+        return n.value;
+      case "Identifier":
+        return this.evaluateIdentifier(n.name, context);
+      case "BinaryOp":
+        return this.evaluateBinaryOp(n.operator, n.left, n.right, context);
+      case "UnaryOp":
+        return this.evaluateUnaryOp(n.operator, n.operand, context);
+      case "Ternary":
+        return this.evaluateTernary(n.condition, n.ifTrue, n.ifFalse, context);
+      case "MemberAccess":
+        return this.evaluateMemberAccess(n.object, n.property, context);
+      case "IndexAccess":
+        return this.evaluateIndexAccess(n.object, n.index, context);
+      case "MethodCall":
+        return this.evaluateMethodCall(n.object, n.method, n.args, context);
+      case "EnumAccess":
+        return this.evaluateEnumAccess(n.enumName, n.value, context);
+      default:
+        throw new ParseError(`Unknown AST node kind: ${node.kind}`);
+    }
+  }
+  /**
+   * Evaluate an identifier.
+   * @private
+   */
+  evaluateIdentifier(name, context) {
+    return context.resolve(name);
+  }
+  /**
+   * Evaluate a binary operation.
+   * @private
+   */
+  evaluateBinaryOp(operator, left, right, context) {
+    const leftVal = this.evaluate(left, context);
+    const rightVal = this.evaluate(right, context);
+    switch (operator) {
+      // Arithmetic
+      case "+":
+        return this.add(leftVal, rightVal);
+      case "-":
+        return this.toNumber(leftVal) - this.toNumber(rightVal);
+      case "*":
+        return this.toNumber(leftVal) * this.toNumber(rightVal);
+      case "/":
+        return this.toNumber(leftVal) / this.toNumber(rightVal);
+      case "%":
+        return this.modulo(this.toNumber(leftVal), this.toNumber(rightVal));
+      // Comparison
+      case "<":
+        return this.compare(leftVal, rightVal) < 0;
+      case "<=":
+        return this.compare(leftVal, rightVal) <= 0;
+      case ">":
+        return this.compare(leftVal, rightVal) > 0;
+      case ">=":
+        return this.compare(leftVal, rightVal) >= 0;
+      case "==":
+        return this.equals(leftVal, rightVal);
+      case "!=":
+        return !this.equals(leftVal, rightVal);
+      // Bitwise
+      case "<<":
+        return this.toInt(leftVal) << this.toInt(rightVal);
+      case ">>":
+        return this.toInt(leftVal) >> this.toInt(rightVal);
+      case "&":
+        return this.toInt(leftVal) & this.toInt(rightVal);
+      case "|":
+        return this.toInt(leftVal) | this.toInt(rightVal);
+      case "^":
+        return this.toInt(leftVal) ^ this.toInt(rightVal);
+      // Logical
+      case "and":
+        return this.toBoolean(leftVal) && this.toBoolean(rightVal);
+      case "or":
+        return this.toBoolean(leftVal) || this.toBoolean(rightVal);
+      default:
+        throw new ParseError(`Unknown binary operator: ${operator}`);
+    }
+  }
+  /**
+   * Evaluate a unary operation.
+   * @private
+   */
+  evaluateUnaryOp(operator, operand, context) {
+    const value = this.evaluate(operand, context);
+    switch (operator) {
+      case "-":
+        return -this.toNumber(value);
+      case "not":
+        return !this.toBoolean(value);
+      default:
+        throw new ParseError(`Unknown unary operator: ${operator}`);
+    }
+  }
+  /**
+   * Evaluate a ternary conditional.
+   * @private
+   */
+  evaluateTernary(condition, ifTrue, ifFalse, context) {
+    const condValue = this.evaluate(condition, context);
+    return this.toBoolean(condValue) ? this.evaluate(ifTrue, context) : this.evaluate(ifFalse, context);
+  }
+  /**
+   * Evaluate member access (object.property).
+   * @private
+   */
+  evaluateMemberAccess(object, property, context) {
+    const obj = this.evaluate(object, context);
+    if (obj === null || obj === void 0) {
+      throw new ParseError(
+        `Cannot access property ${property} of null/undefined`
+      );
+    }
+    if (typeof obj === "object") {
+      return obj[property];
+    }
+    throw new ParseError(`Cannot access property ${property} of non-object`);
+  }
+  /**
+   * Evaluate index access (array[index]).
+   * @private
+   */
+  evaluateIndexAccess(object, index, context) {
+    const obj = this.evaluate(object, context);
+    const idx = this.evaluate(index, context);
+    if (Array.isArray(obj)) {
+      const numIdx = this.toInt(idx);
+      return obj[numIdx];
+    }
+    if (obj instanceof Uint8Array) {
+      const numIdx = this.toInt(idx);
+      return obj[numIdx];
+    }
+    throw new ParseError("Index access requires an array");
+  }
+  /**
+   * Evaluate method call (object.method()).
+   * @private
+   */
+  evaluateMethodCall(object, method, _args, context) {
+    const obj = this.evaluate(object, context);
+    if (method === "length" || method === "size") {
+      if (Array.isArray(obj)) return obj.length;
+      if (obj instanceof Uint8Array) return obj.length;
+      if (typeof obj === "string") return obj.length;
+      throw new ParseError(`Object does not have a ${method} property`);
+    }
+    if (method === "to_i") {
+      return this.toInt(obj);
+    }
+    if (method === "to_s") {
+      return String(obj);
+    }
+    throw new ParseError(`Unknown method: ${method}`);
+  }
+  /**
+   * Evaluate enum access (EnumName::value).
+   * @private
+   */
+  evaluateEnumAccess(enumName, valueName, context) {
+    const value = context.getEnumValue(enumName, valueName);
+    if (value === void 0) {
+      throw new ParseError(`Enum value "${enumName}::${valueName}" not found`);
+    }
+    return value;
+  }
+  /**
+   * Helper: Add two values (handles strings and numbers).
+   * @private
+   */
+  add(left, right) {
+    if (typeof left === "string" || typeof right === "string") {
+      return String(left) + String(right);
+    }
+    return this.toNumber(left) + this.toNumber(right);
+  }
+  /**
+   * Helper: Modulo operation (Kaitai-style, not remainder).
+   * @private
+   */
+  modulo(a, b) {
+    const result = a % b;
+    return result < 0 ? result + b : result;
+  }
+  /**
+   * Helper: Compare two values.
+   * @private
+   */
+  compare(left, right) {
+    if (typeof left === "string" && typeof right === "string") {
+      return left < right ? -1 : left > right ? 1 : 0;
+    }
+    const leftNum = this.toNumber(left);
+    const rightNum = this.toNumber(right);
+    return leftNum < rightNum ? -1 : leftNum > rightNum ? 1 : 0;
+  }
+  /**
+   * Helper: Check equality.
+   * @private
+   */
+  equals(left, right) {
+    if (typeof left === "bigint" || typeof right === "bigint") {
+      return BigInt(left) === BigInt(right);
+    }
+    return left === right;
+  }
+  /**
+   * Helper: Convert to number.
+   * @private
+   */
+  toNumber(value) {
+    if (typeof value === "number") return value;
+    if (typeof value === "bigint") return Number(value);
+    if (typeof value === "boolean") return value ? 1 : 0;
+    if (typeof value === "string") return parseFloat(value);
+    throw new ParseError(`Cannot convert ${typeof value} to number`);
+  }
+  /**
+   * Helper: Convert to integer.
+   * @private
+   */
+  toInt(value) {
+    return Math.floor(this.toNumber(value));
+  }
+  /**
+   * Helper: Convert to boolean.
+   * @private
+   */
+  toBoolean(value) {
+    if (typeof value === "boolean") return value;
+    if (typeof value === "number") return value !== 0;
+    if (typeof value === "bigint") return value !== 0n;
+    if (typeof value === "string") return value.length > 0;
+    if (value === null || value === void 0) return false;
+    return true;
+  }
+};
+
+// src/expression/index.ts
+function evaluateExpression(expression, context) {
+  const lexer = new Lexer(expression);
+  const tokens = lexer.tokenize();
+  const parser = new ExpressionParser(tokens);
+  const ast = parser.parse();
+  const evaluator = new Evaluator();
+  return evaluator.evaluate(ast, context);
+}
+
 // src/interpreter/TypeInterpreter.ts
 var TypeInterpreter = class _TypeInterpreter {
   /**
@@ -983,12 +1924,21 @@ var TypeInterpreter = class _TypeInterpreter {
    *
    * @param stream - Binary stream to parse
    * @param parent - Parent object (for nested types)
+   * @param typeArgs - Arguments for parametric types
    * @returns Parsed object
    */
-  parse(stream, parent) {
+  parse(stream, parent, typeArgs) {
     const result = {};
-    const context = new Context(stream, result, parent);
+    const context = new Context(stream, result, parent, this.schema.enums);
     context.current = result;
+    if (typeArgs && this.schema.params) {
+      for (let i = 0; i < this.schema.params.length && i < typeArgs.length; i++) {
+        const param = this.schema.params[i];
+        const argValue = typeArgs[i];
+        const evaluatedArg = typeof argValue === "string" ? this.evaluateValue(argValue, context) : argValue;
+        context.set(param.id, evaluatedArg);
+      }
+    }
     if (this.schema.seq) {
       for (const attr of this.schema.seq) {
         const value = this.parseAttribute(attr, context);
@@ -997,8 +1947,83 @@ var TypeInterpreter = class _TypeInterpreter {
         }
       }
     }
+    if (this.schema.instances) {
+      this.setupInstances(result, stream, context);
+    }
     return result;
   }
+  /**
+   * Set up lazy-evaluated instance getters.
+   * Instances are computed on first access and cached.
+   *
+   * @param result - Result object to add getters to
+   * @param stream - Stream for parsing
+   * @param context - Execution context
+   * @private
+   */
+  setupInstances(result, stream, context) {
+    if (!this.schema.instances) return;
+    for (const [name, instance] of Object.entries(this.schema.instances)) {
+      let cached = void 0;
+      let evaluated = false;
+      Object.defineProperty(result, name, {
+        get: () => {
+          if (!evaluated) {
+            cached = this.parseInstance(
+              instance,
+              stream,
+              context
+            );
+            evaluated = true;
+          }
+          return cached;
+        },
+        enumerable: true,
+        configurable: true
+      });
+    }
+  }
+  /**
+   * Parse an instance (lazy-evaluated field).
+   *
+   * @param instance - Instance specification
+   * @param stream - Stream to read from
+   * @param context - Execution context
+   * @returns Parsed or calculated value
+   * @private
+   */
+  parseInstance(instance, stream, context) {
+    if ("value" in instance) {
+      return this.evaluateValue(
+        instance.value,
+        context
+      );
+    }
+    const savedPos = stream.pos;
+    try {
+      if (instance.pos !== void 0) {
+        const pos = this.evaluateValue(
+          instance.pos,
+          context
+        );
+        if (typeof pos === "number") {
+          stream.seek(pos);
+        } else if (typeof pos === "bigint") {
+          stream.seek(Number(pos));
+        } else {
+          throw new ParseError(
+            `pos must evaluate to a number, got ${typeof pos}`
+          );
+        }
+      }
+      const value = this.parseAttribute(instance, context);
+      return value;
+    } finally {
+      if (instance.pos !== void 0) {
+        stream.seek(savedPos);
+      }
+    }
+  }
   /**
    * Parse a single attribute according to its specification.
    *
@@ -1010,11 +2035,20 @@ var TypeInterpreter = class _TypeInterpreter {
   parseAttribute(attr, context) {
     const stream = context.io;
     if (attr.if) {
-      throw new NotImplementedError("Conditional parsing (if)");
+      const condition = this.evaluateValue(attr.if, context);
+      if (!condition) {
+        return void 0;
+      }
     }
     if (attr.pos !== void 0) {
-      const pos = typeof attr.pos === "number" ? attr.pos : 0;
-      stream.seek(pos);
+      const pos = this.evaluateValue(attr.pos, context);
+      if (typeof pos === "number") {
+        stream.seek(pos);
+      } else if (typeof pos === "bigint") {
+        stream.seek(Number(pos));
+      } else {
+        throw new ParseError(`pos must evaluate to a number, got ${typeof pos}`);
+      }
     }
     if (attr.io) {
       throw new NotImplementedError("Custom I/O streams");
@@ -1025,7 +2059,8 @@ var TypeInterpreter = class _TypeInterpreter {
     if (attr.contents) {
       return this.parseContents(attr, context);
     }
-    return this.parseValue(attr, context);
+    const value = this.parseValue(attr, context);
+    return value;
   }
   /**
    * Parse a repeated attribute.
@@ -1036,14 +2071,22 @@ var TypeInterpreter = class _TypeInterpreter {
    * @private
    */
   parseRepeated(attr, context) {
-    const result = [];
     const stream = context.io;
+    const result = [];
     switch (attr.repeat) {
       case "expr": {
-        const count = typeof attr["repeat-expr"] === "number" ? attr["repeat-expr"] : 0;
+        const countValue = this.evaluateValue(attr["repeat-expr"], context);
+        const count = typeof countValue === "number" ? countValue : typeof countValue === "bigint" ? Number(countValue) : 0;
+        if (count < 0) {
+          throw new ParseError(`repeat-expr must be non-negative, got ${count}`);
+        }
         for (let i = 0; i < count; i++) {
           context.set("_index", i);
-          result.push(this.parseValue(attr, context));
+          const value = this.parseAttribute(
+            { ...attr, repeat: void 0, "repeat-expr": void 0 },
+            context
+          );
+          result.push(value);
         }
         break;
       }
@@ -1058,7 +2101,25 @@ var TypeInterpreter = class _TypeInterpreter {
         if (!attr["repeat-until"]) {
           throw new ParseError("repeat-until expression is required");
         }
-        throw new NotImplementedError("repeat-until");
+        let index = 0;
+        while (true) {
+          context.set("_index", index);
+          const value = this.parseAttribute(
+            { ...attr, repeat: void 0, "repeat-until": void 0 },
+            context
+          );
+          result.push(value);
+          context.set("_", value);
+          const condition = this.evaluateValue(attr["repeat-until"], context);
+          if (condition) {
+            break;
+          }
+          if (stream.isEof()) {
+            break;
+          }
+          index++;
+        }
+        break;
       }
       default:
         throw new ParseError(`Unknown repeat type: ${attr.repeat}`);
@@ -1111,17 +2172,34 @@ var TypeInterpreter = class _TypeInterpreter {
     const stream = context.io;
     const type = attr.type;
     if (attr.size !== void 0) {
-      const size = typeof attr.size === "number" ? attr.size : 0;
+      const sizeValue = this.evaluateValue(attr.size, context);
+      const size = typeof sizeValue === "number" ? sizeValue : typeof sizeValue === "bigint" ? Number(sizeValue) : 0;
+      if (size < 0) {
+        throw new ParseError(`size must be non-negative, got ${size}`);
+      }
       if (type === "str" || !type) {
         const encoding = attr.encoding || this.schema.meta.encoding || "UTF-8";
+        let data;
         if (type === "str") {
-          return stream.readStr(size, encoding);
+          data = stream.readBytes(size);
+          if (attr.process) {
+            data = this.applyProcessing(data, attr.process);
+          }
+          return new TextDecoder(encoding).decode(data);
         } else {
-          return stream.readBytes(size);
+          data = stream.readBytes(size);
+          if (attr.process) {
+            data = this.applyProcessing(data, attr.process);
+          }
+          return data;
         }
       } else {
-        const substream = stream.substream(size);
-        return this.parseType(type, substream, context);
+        let data = stream.readBytes(size);
+        if (attr.process) {
+          data = this.applyProcessing(data, attr.process);
+        }
+        const substream = new KaitaiStream(data);
+        return this.parseType(type, substream, context, attr["type-args"]);
       }
     }
     if (attr["size-eos"]) {
@@ -1136,7 +2214,7 @@ var TypeInterpreter = class _TypeInterpreter {
     if (!type) {
       throw new ParseError("Attribute must have either type, size, or contents");
     }
-    return this.parseType(type, stream, context);
+    return this.parseType(type, stream, context, attr["type-args"]);
   }
   /**
    * Parse a value of a specific type.
@@ -1144,12 +2222,17 @@ var TypeInterpreter = class _TypeInterpreter {
    * @param type - Type name or switch specification
    * @param stream - Stream to read from
    * @param context - Execution context
+   * @param typeArgs - Arguments for parametric types
    * @returns Parsed value
    * @private
    */
-  parseType(type, stream, context) {
+  parseType(type, stream, context, typeArgs) {
     if (typeof type === "object") {
-      throw new NotImplementedError("Switch types");
+      return this.parseSwitchType(
+        type,
+        stream,
+        context
+      );
     }
     if (isBuiltinType(type)) {
       return this.parseBuiltinType(type, stream, context);
@@ -1157,11 +2240,49 @@ var TypeInterpreter = class _TypeInterpreter {
     if (this.schema.types && type in this.schema.types) {
       const typeSchema = this.schema.types[type];
       const meta = this.schema.meta || this.parentMeta;
+      if (this.schema.enums && !typeSchema.enums) {
+        typeSchema.enums = this.schema.enums;
+      }
+      if (this.schema.types && !typeSchema.types) {
+        typeSchema.types = this.schema.types;
+      }
       const interpreter = new _TypeInterpreter(typeSchema, meta);
-      return interpreter.parse(stream, context.current);
+      return interpreter.parse(stream, context.current, typeArgs);
     }
     throw new ParseError(`Unknown type: ${type}`);
   }
+  /**
+   * Parse a switch type (type selection based on expression).
+   *
+   * @param switchType - Switch type specification
+   * @param stream - Stream to read from
+   * @param context - Execution context
+   * @returns Parsed value
+   * @private
+   */
+  parseSwitchType(switchType, stream, context) {
+    const switchOn = switchType["switch-on"];
+    const cases = switchType["cases"];
+    const defaultType = switchType["default"];
+    if (!switchOn || typeof switchOn !== "string") {
+      throw new ParseError("switch-on expression is required for switch types");
+    }
+    if (!cases) {
+      throw new ParseError("cases are required for switch types");
+    }
+    const switchValue = this.evaluateValue(switchOn, context);
+    const switchKey = String(switchValue);
+    let selectedType = cases[switchKey];
+    if (selectedType === void 0 && defaultType) {
+      selectedType = defaultType;
+    }
+    if (selectedType === void 0) {
+      throw new ParseError(
+        `No matching case for switch value "${switchKey}" and no default type specified`
+      );
+    }
+    return this.parseType(selectedType, stream, context);
+  }
   /**
    * Parse a built-in type.
    *
@@ -1238,6 +2359,50 @@ var TypeInterpreter = class _TypeInterpreter {
         throw new ParseError(`Unknown float type: ${type}`);
     }
   }
+  /**
+   * Apply processing transformation to data.
+   * Supports basic transformations like zlib decompression.
+   *
+   * @param data - Data to process
+   * @param process - Processing specification
+   * @returns Processed data
+   * @private
+   */
+  applyProcessing(data, process) {
+    const processType = typeof process === "string" ? process : process.algorithm;
+    if (processType) {
+      throw new NotImplementedError(
+        `Processing type "${processType}" is not yet implemented. Supported in future versions with zlib, encryption, etc.`
+      );
+    }
+    return data;
+  }
+  /**
+   * Evaluate a value that can be an expression or literal.
+   *
+   * @param value - Value to evaluate (expression string, number, or boolean)
+   * @param context - Execution context
+   * @returns Evaluated result
+   * @private
+   */
+  evaluateValue(value, context) {
+    if (value === void 0) {
+      return void 0;
+    }
+    if (typeof value === "number" || typeof value === "boolean") {
+      return value;
+    }
+    if (typeof value === "string") {
+      try {
+        return evaluateExpression(value, context);
+      } catch (error) {
+        throw new ParseError(
+          `Failed to evaluate expression "${value}": ${error instanceof Error ? error.message : String(error)}`
+        );
+      }
+    }
+    return value;
+  }
 };
 
 // src/index.ts
@@ -1316,6 +2481,42 @@ export {
  * @author Fabiano Pinto
  * @license MIT
  */
+/**
+ * @fileoverview Token types for Kaitai Struct expression language
+ * @module expression/Token
+ * @author Fabiano Pinto
+ * @license MIT
+ */
+/**
+ * @fileoverview Lexer for Kaitai Struct expression language
+ * @module expression/Lexer
+ * @author Fabiano Pinto
+ * @license MIT
+ */
+/**
+ * @fileoverview Abstract Syntax Tree nodes for expression language
+ * @module expression/AST
+ * @author Fabiano Pinto
+ * @license MIT
+ */
+/**
+ * @fileoverview Parser for Kaitai Struct expression language
+ * @module expression/Parser
+ * @author Fabiano Pinto
+ * @license MIT
+ */
+/**
+ * @fileoverview Evaluator for Kaitai Struct expression AST
+ * @module expression/Evaluator
+ * @author Fabiano Pinto
+ * @license MIT
+ */
+/**
+ * @fileoverview Expression evaluation module
+ * @module expression
+ * @author Fabiano Pinto
+ * @license MIT
+ */
 /**
  * @fileoverview Type interpreter for executing Kaitai Struct schemas
  * @module interpreter/TypeInterpreter