import { JSON } from "../../.."; import { BACK_SLASH, QUOTE } from "../../../custom/chars"; export function deserializeStringArray(srcStart: usize, srcEnd: usize, dst: usize): string[] { const out = dst ? changetype(dst) : new Array(); let lastPos = 2; let inString = false; while (srcStart < srcEnd) { const code = load(srcStart); if (code == QUOTE) { if (!inString) { inString = true; lastPos = srcStart; } else if (load(srcStart - 2) != BACK_SLASH) { out.push(JSON.__deserialize(lastPos, srcStart)); inString = false; } } srcStart += 2; } return out; }