import * as $ from "@manahippo/move-to-ts";
import {AptosDataCache, AptosParserRepo, DummyCache, AptosLocalCache} from "@manahippo/move-to-ts";
import {U8, U64, U128} from "@manahippo/move-to-ts";
import {u8, u64, u128} from "@manahippo/move-to-ts";
import {TypeParamDeclType, FieldDeclType} from "@manahippo/move-to-ts";
import {AtomicTypeTag, StructTag, TypeTag, VectorTag, SimpleStructTag} from "@manahippo/move-to-ts";
import {OptionTransaction} from "@manahippo/move-to-ts";
import {HexString, AptosClient, AptosAccount, TxnBuilderTypes, Types} from "aptos";
export const packageName = "AptosFramework";
export const moduleAddress = new HexString("0x1");
export const moduleName = "guid";

export const EGUID_GENERATOR_NOT_PUBLISHED : U64 = u64("0");


export class GUID 
{
  static moduleAddress = moduleAddress;
  static moduleName = moduleName;
  __app: $.AppType | null = null;
  static structName: string = "GUID";
  static typeParameters: TypeParamDeclType[] = [

  ];
  static fields: FieldDeclType[] = [
  { name: "id", typeTag: new StructTag(new HexString("0x1"), "guid", "ID", []) }];

  id: ID;

  constructor(proto: any, public typeTag: TypeTag) {
    this.id = proto['id'] as ID;
  }

  static GUIDParser(data:any, typeTag: TypeTag, repo: AptosParserRepo) : GUID {
    const proto = $.parseStructProto(data, typeTag, repo, GUID);
    return new GUID(proto, typeTag);
  }

  static getTag(): StructTag {
    return new StructTag(moduleAddress, moduleName, "GUID", []);
  }
  async loadFullState(app: $.AppType) {
    await this.id.loadFullState(app);
    this.__app = app;
  }

}

export class ID 
{
  static moduleAddress = moduleAddress;
  static moduleName = moduleName;
  __app: $.AppType | null = null;
  static structName: string = "ID";
  static typeParameters: TypeParamDeclType[] = [

  ];
  static fields: FieldDeclType[] = [
  { name: "creation_num", typeTag: AtomicTypeTag.U64 },
  { name: "addr", typeTag: AtomicTypeTag.Address }];

  creation_num: U64;
  addr: HexString;

  constructor(proto: any, public typeTag: TypeTag) {
    this.creation_num = proto['creation_num'] as U64;
    this.addr = proto['addr'] as HexString;
  }

  static IDParser(data:any, typeTag: TypeTag, repo: AptosParserRepo) : ID {
    const proto = $.parseStructProto(data, typeTag, repo, ID);
    return new ID(proto, typeTag);
  }

  static getTag(): StructTag {
    return new StructTag(moduleAddress, moduleName, "ID", []);
  }
  async loadFullState(app: $.AppType) {
    this.__app = app;
  }

}
export function create_ (
  addr: HexString,
  creation_num_ref: U64,
  $c: AptosDataCache,
): GUID {
  let creation_num;
  creation_num = $.copy(creation_num_ref);
  $.set(creation_num_ref, ($.copy(creation_num)).add(u64("1")));
  return new GUID({ id: new ID({ creation_num: $.copy(creation_num), addr: $.copy(addr) }, new SimpleStructTag(ID)) }, new SimpleStructTag(GUID));
}

export function create_id_ (
  addr: HexString,
  creation_num: U64,
  $c: AptosDataCache,
): ID {
  return new ID({ creation_num: $.copy(creation_num), addr: $.copy(addr) }, new SimpleStructTag(ID));
}

export function creation_num_ (
  guid: GUID,
  $c: AptosDataCache,
): U64 {
  return $.copy(guid.id.creation_num);
}

export function creator_address_ (
  guid: GUID,
  $c: AptosDataCache,
): HexString {
  return $.copy(guid.id.addr);
}

export function eq_id_ (
  guid: GUID,
  id: ID,
  $c: AptosDataCache,
): boolean {
  return $.deep_eq(guid.id, id);
}

export function id_ (
  guid: GUID,
  $c: AptosDataCache,
): ID {
  return $.copy(guid.id);
}

export function id_creation_num_ (
  id: ID,
  $c: AptosDataCache,
): U64 {
  return $.copy(id.creation_num);
}

export function id_creator_address_ (
  id: ID,
  $c: AptosDataCache,
): HexString {
  return $.copy(id.addr);
}

export function loadParsers(repo: AptosParserRepo) {
  repo.addParser("0x1::guid::GUID", GUID.GUIDParser);
  repo.addParser("0x1::guid::ID", ID.IDParser);
}
export class App {
  constructor(
    public client: AptosClient,
    public repo: AptosParserRepo,
    public cache: AptosLocalCache,
  ) {
  }
  get moduleAddress() {{ return moduleAddress; }}
  get moduleName() {{ return moduleName; }}
  get GUID() { return GUID; }
  get ID() { return ID; }
}