Function isClientControlMessage

src/workspaces/protocol.ts:96–111

(value: unknown)

// ── runtime validators (used only by the server for client→server msgs) ─────

export function isClientControlMessage(value: unknown): value is ClientControlMessage {
  if (typeof value !== 'object' || value === null) return false;
  const v = value as Record<string, unknown>;
  if (v['type'] === 'attach') {
    return (
      isNonEmptyString(v['wsId']) &&
      isPositiveInt(v['cols']) &&
      isPositiveInt(v['rows']) &&
      (v['since'] === undefined || isNonNegativeInt(v['since']))
    );
  }
  if (v['type'] === 'resize') {
    return isPositiveInt(v['cols']) && isPositiveInt(v['rows']);
  }
  return false;
}

function isNonEmptyString(x: unknown): x is string {
  return typeof x === 'string' && x.length > 0;