import Writer from './writer';
import {CRecordShape, BaseShape, d2s, Shape, getReferencedRecordShapes} from './types';

export function emitProxyTypeCheck(e: Emitter, w: Writer, t: Shape, tabLevel: number, dataVar: string, fieldName: string): void {
  switch(t.type) {
  case BaseShape.ANY:
    // TODO: This is terrible.
    const distilledShapes = t.getDistilledShapes(e);
    w.tab(tabLevel).writeln(`// This will be refactored in the next release.`);
    distilledShapes.forEach((s, i) => {
      w.tab(tabLevel + i).writeln(`try {`);
      emitProxyTypeCheck(e, w, s, tabLevel + i + 1, dataVar, fieldName);
      w.tab(tabLevel + i).writeln(`} catch (e) {`);
      if (i === distilledShapes.length - 1) {
        w.tab(tabLevel + i + 1).writeln(`throw e;`);
      }
    });
    for (let i = 0; i < distilledShapes.length; i++) {
      w.tab(tabLevel + (distilledShapes.length - i - 1)).writeln(`}`);
    }
    break;
  case BaseShape.BOOLEAN:
    e.markHelperAsUsed('checkBoolean');
    w.tab(tabLevel).writeln(`checkBoolean(${dataVar}, ${t.nullable}, ${fieldName});`);
    break;
  case BaseShape.BOTTOM:
    throw new TypeError('Impossible: Bottom should never appear in a type.');
  case BaseShape.COLLECTION:
    e.markHelperAsUsed('checkArray');
    w.tab(tabLevel).writeln(`checkArray(${dataVar}, ${fieldName});`);
    w.tab(tabLevel).writeln(`if (${dataVar}) {`)
    // Now, we check each element.
    w.tab(tabLevel + 1).writeln(`for (let i = 0; i < ${dataVar}.length; i++) {`)
    emitProxyTypeCheck(e, w, t.baseShape, tabLevel + 2, `${dataVar}[i]`, `${fieldName} + "[" + i + "]"`);
    w.tab(tabLevel + 1).writeln(`}`);
    w.tab(tabLevel).writeln(`}`);
    break;
  case BaseShape.NULL:
    e.markHelperAsUsed('checkNull');
    w.tab(tabLevel).writeln(`checkNull(${dataVar}, ${fieldName});`);
    break;
  case BaseShape.NUMBER:
    e.markHelperAsUsed('checkNumber');
    w.tab(tabLevel).writeln(`checkNumber(${dataVar}, ${t.nullable}, ${fieldName});`);
    break;
  case BaseShape.RECORD:
    // Convert into a proxy.
    w.tab(tabLevel).writeln(`${dataVar} = ${t.getProxyClass(e)}.Create(${dataVar}, ${fieldName});`);
    break;
  case BaseShape.STRING:
    e.markHelperAsUsed('checkString');
    w.tab(tabLevel).writeln(`checkString(${dataVar}, ${t.nullable}, ${fieldName});`);
    break;
  }
  // Standardize undefined into null.
  if (t.nullable) {
    w.tab(tabLevel).writeln(`if (${dataVar} === undefined) {`)
    w.tab(tabLevel + 1).writeln(`${dataVar} = null;`);
    w.tab(tabLevel).writeln(`}`);
  }
}

export default class Emitter {
  private _records: CRecordShape[] = [];
  private _claimedNames = new Set<string>();
  public readonly interfaces: Writer;
  public readonly proxies: Writer;
  private _helpersToEmit = new Set<string>();
  constructor (interfaces: Writer, proxies: Writer) {
    this.interfaces = interfaces;
    this.proxies = proxies;
  }
  public markHelperAsUsed(n: string): void {
    this._helpersToEmit.add(n);
  }
  public emit(root: any, rootName: string): void {
    let rootShape = d2s(this, root);
    if (rootShape.type === BaseShape.COLLECTION) {
      rootShape = rootShape.baseShape;
    }
    this.proxies.writeln(`// Stores the currently-being-typechecked object for error messages.`);
    this.proxies.writeln(`let obj: any = null;`);
    if (rootShape.type !== BaseShape.RECORD) {
      this._claimedNames.add(rootName);
      const roots = new Set<CRecordShape>();
      getReferencedRecordShapes(this, roots, rootShape);
      let rootArray = new Array<CRecordShape>();
      roots.forEach((root) => rootArray.push(root));
      if (rootArray.length === 1) {
        this._emitRootRecordShape(`${rootName}Entity`, rootArray[0]);
      } else {
        for (let i = 0; i < rootArray.length; i++) {
          this._emitRootRecordShape(`${rootName}Entity${i}`, rootArray[i]);
        }
      }
      this.interfaces.write(`export type ${rootName} = `)
      rootShape.emitType(this);
      this.interfaces.writeln(`;`).endl();
      this.proxies.writeln(`export class ${rootName}Proxy {`);
      this.proxies.tab(1).writeln(`public static Parse(s: string): ${rootShape.getProxyType(this)} {`);
      this.proxies.tab(2).writeln(`return ${rootName}Proxy.Create(JSON.parse(s));`);
      this.proxies.tab(1).writeln(`}`);
      this.proxies.tab(1).writeln(`public static Create(s: any, fieldName?: string): ${rootShape.getProxyType(this)} {`);
      this.proxies.tab(2).writeln(`if (!fieldName) {`);
      this.proxies.tab(3).writeln(`obj = s;`);
      this.proxies.tab(3).writeln(`fieldName = "root";`);
      this.proxies.tab(2).writeln(`}`);
      emitProxyTypeCheck(this, this.proxies, rootShape, 2, 's', "fieldName");
      this.proxies.tab(2).writeln(`return s;`);
      this.proxies.tab(1).writeln(`}`);
      this.proxies.writeln(`}`).endl();
    } else {
      this._emitRootRecordShape(rootName, rootShape);
    }
    this._emitProxyHelpers();
  }
  private _emitRootRecordShape(name: string, rootShape: CRecordShape) {
    this._claimedNames.add(name);
    rootShape.markAsRoot(name);
    rootShape.emitInterfaceDefinition(this);
    rootShape.emitProxyClass(this);
    this.interfaces.endl();
    this.proxies.endl();
    const set = new Set<CRecordShape>();
    rootShape.getReferencedRecordShapes(this, set);
    set.forEach((shape) => {
      shape.emitInterfaceDefinition(this);
      shape.emitProxyClass(this);
      this.interfaces.endl();
      this.proxies.endl();
    });
  }
  private _emitProxyHelpers(): void {
    const w = this.proxies;
    const s = this._helpersToEmit;
    if (s.has('throwNull2NonNull')) {
      this.markHelperAsUsed("errorHelper");
      w.writeln(`function throwNull2NonNull(field: string, d: any): never {`)
      w.tab(1).writeln(`return errorHelper(field, d, "non-nullable object", false);`);
      w.writeln(`}`);
    }
    if (s.has('throwNotObject')) {
      this.markHelperAsUsed("errorHelper");
      w.writeln(`function throwNotObject(field: string, d: any, nullable: boolean): never {`);
      w.tab(1).writeln(`return errorHelper(field, d, "object", nullable);`);
      w.writeln(`}`);
    }
    if (s.has('throwIsArray')) {
      this.markHelperAsUsed("errorHelper");
      w.writeln(`function throwIsArray(field: string, d: any, nullable: boolean): never {`);
      w.tab(1).writeln(`return errorHelper(field, d, "object", nullable);`);
      w.writeln(`}`);
    }
    if (s.has('checkArray')) {
      this.markHelperAsUsed("errorHelper");
      w.writeln(`function checkArray(d: any, field: string): void {`)
      w.tab(1).writeln(`if (!Array.isArray(d) && d !== null && d !== undefined) {`);
      w.tab(2).writeln(`errorHelper(field, d, "array", true);`);
      w.tab(1).writeln(`}`);
      w.writeln(`}`);
    }
    if (s.has('checkNumber')) {
      this.markHelperAsUsed("errorHelper");
      w.writeln(`function checkNumber(d: any, nullable: boolean, field: string): void {`)
      w.tab(1).writeln(`if (typeof(d) !== 'number' && (!nullable || (nullable && d !== null && d !== undefined))) {`);
      w.tab(2).writeln(`errorHelper(field, d, "number", nullable);`);
      w.tab(1).writeln(`}`);
      w.writeln(`}`);
    }
    if (s.has('checkBoolean')) {
      this.markHelperAsUsed("errorHelper");
      w.writeln(`function checkBoolean(d: any, nullable: boolean, field: string): void {`)
      w.tab(1).writeln(`if (typeof(d) !== 'boolean' && (!nullable || (nullable && d !== null && d !== undefined))) {`);
      w.tab(2).writeln(`errorHelper(field, d, "boolean", nullable);`);
      w.tab(1).writeln(`}`);
      w.writeln(`}`);
    }
    if (s.has('checkString')) {
      this.markHelperAsUsed("errorHelper");
      w.writeln(`function checkString(d: any, nullable: boolean, field: string): void {`)
      w.tab(1).writeln(`if (typeof(d) !== 'string' && (!nullable || (nullable && d !== null && d !== undefined))) {`);
      w.tab(2).writeln(`errorHelper(field, d, "string", nullable);`);
      w.tab(1).writeln(`}`);
      w.writeln(`}`);
    }
    if (s.has('checkNull')) {
      this.markHelperAsUsed("errorHelper");
      w.writeln(`function checkNull(d: any, field: string): void {`)
      w.tab(1).writeln(`if (d !== null && d !== undefined) {`);
      w.tab(2).writeln(`errorHelper(field, d, "null or undefined", false);`);
      w.tab(1).writeln(`}`);
      w.writeln(`}`);
    }
    if (s.has('errorHelper')) {
      w.writeln(`function errorHelper(field: string, d: any, type: string, nullable: boolean): never {`);
      w.tab(1).writeln(`if (nullable) {`)
      w.tab(2).writeln(`type += ", null, or undefined";`);
      w.tab(1).writeln(`}`);
      w.tab(1).writeln(`throw new TypeError('Expected ' + type + " at " + field + " but found:\\n" + JSON.stringify(d) + "\\n\\nFull object:\\n" + JSON.stringify(obj));`);
      w.writeln(`}`);
    }
  }
  /**
   * Registers the provided shape with the emitter. If an equivalent shape
   * already exists, then the emitter returns the equivalent shape.
   */
  public registerRecordShape(s: CRecordShape): CRecordShape {
    const rv = this._records.filter((r) => r.equal(s));
    if (rv.length === 0) {
      this._records.push(s);
      return s;
    } else {
      return rv[0];
    }
  }
  /**
   * Registers the provided shape name with the emitter. If another
   * shape has already claimed this name, it returns a similar unique
   * name that should be used instead.
   */
  public registerName(name: string): string {
    if (!this._claimedNames.has(name)) {
      this._claimedNames.add(name);
      return name;
    } else {
      let baseName = name;
      let i = 1;
      do {
        name = `${baseName}${i}`;
        i++;
      } while (this._claimedNames.has(name));
      this._claimedNames.add(name);
      return name;
    }
  }
}