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';
import * as Error from './error';
import * as Signer from './signer';
export const packageName = 'AptosFramework';
export const moduleAddress = new HexString('0x1');
export const moduleName = 'system_addresses';

export const ENOT_APTOS_FRAMEWORK_ADDRESS: U64 = u64('3');
export const ENOT_CORE_RESOURCE_ADDRESS: U64 = u64('1');
export const ENOT_FRAMEWORK_RESERVED_ADDRESS: U64 = u64('4');
export const EVM: U64 = u64('2');

export function assert_aptos_framework_(account: HexString, $c: AptosDataCache): void {
  if (!is_aptos_framework_address_(Signer.address_of_(account, $c), $c)) {
    throw $.abortCode(Error.permission_denied_($.copy(ENOT_APTOS_FRAMEWORK_ADDRESS), $c));
  }
  return;
}

export function assert_core_resource_(account: HexString, $c: AptosDataCache): void {
  return assert_core_resource_address_(Signer.address_of_(account, $c), $c);
}

export function assert_core_resource_address_(addr: HexString, $c: AptosDataCache): void {
  if (!is_core_resource_address_($.copy(addr), $c)) {
    throw $.abortCode(Error.permission_denied_($.copy(ENOT_CORE_RESOURCE_ADDRESS), $c));
  }
  return;
}

export function assert_framework_reserved_address_(account: HexString, $c: AptosDataCache): void {
  if (!is_framework_reserved_address_(Signer.address_of_(account, $c), $c)) {
    throw $.abortCode(Error.permission_denied_($.copy(ENOT_FRAMEWORK_RESERVED_ADDRESS), $c));
  }
  return;
}

export function assert_vm_(account: HexString, $c: AptosDataCache): void {
  if (!is_vm_(account, $c)) {
    throw $.abortCode(Error.permission_denied_($.copy(EVM), $c));
  }
  return;
}

export function is_aptos_framework_address_(addr: HexString, $c: AptosDataCache): boolean {
  return $.copy(addr).hex() === new HexString('0x1').hex();
}

export function is_core_resource_address_(addr: HexString, $c: AptosDataCache): boolean {
  return $.copy(addr).hex() === new HexString('0xa550c18').hex();
}

export function is_framework_reserved_address_(addr: HexString, $c: AptosDataCache): boolean {
  let temp$1, temp$2, temp$3, temp$4, temp$5, temp$6, temp$7, temp$8, temp$9;
  if (is_aptos_framework_address_($.copy(addr), $c)) {
    temp$1 = true;
  } else {
    temp$1 = $.copy(addr).hex() === new HexString('0x2').hex();
  }
  if (temp$1) {
    temp$2 = true;
  } else {
    temp$2 = $.copy(addr).hex() === new HexString('0x3').hex();
  }
  if (temp$2) {
    temp$3 = true;
  } else {
    temp$3 = $.copy(addr).hex() === new HexString('0x4').hex();
  }
  if (temp$3) {
    temp$4 = true;
  } else {
    temp$4 = $.copy(addr).hex() === new HexString('0x5').hex();
  }
  if (temp$4) {
    temp$5 = true;
  } else {
    temp$5 = $.copy(addr).hex() === new HexString('0x6').hex();
  }
  if (temp$5) {
    temp$6 = true;
  } else {
    temp$6 = $.copy(addr).hex() === new HexString('0x7').hex();
  }
  if (temp$6) {
    temp$7 = true;
  } else {
    temp$7 = $.copy(addr).hex() === new HexString('0x8').hex();
  }
  if (temp$7) {
    temp$8 = true;
  } else {
    temp$8 = $.copy(addr).hex() === new HexString('0x9').hex();
  }
  if (temp$8) {
    temp$9 = true;
  } else {
    temp$9 = $.copy(addr).hex() === new HexString('0xa').hex();
  }
  return temp$9;
}

export function is_reserved_address_(addr: HexString, $c: AptosDataCache): boolean {
  let temp$1;
  if (is_aptos_framework_address_($.copy(addr), $c)) {
    temp$1 = true;
  } else {
    temp$1 = is_vm_address_($.copy(addr), $c);
  }
  return temp$1;
}

export function is_vm_(account: HexString, $c: AptosDataCache): boolean {
  return is_vm_address_(Signer.address_of_(account, $c), $c);
}

export function is_vm_address_(addr: HexString, $c: AptosDataCache): boolean {
  return $.copy(addr).hex() === new HexString('0x0').hex();
}

export function loadParsers(repo: AptosParserRepo) {}
export class App {
  constructor(public client: AptosClient, public repo: AptosParserRepo, public cache: AptosLocalCache) {}
  get moduleAddress() {
    {
      return moduleAddress;
    }
  }
  get moduleName() {
    {
      return moduleName;
    }
  }
}