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 = 'MoveStdlib';
export const moduleAddress = new HexString('0x1');
export const moduleName = 'fixed_point32';

export const EDENOMINATOR: U64 = u64('65537');
export const EDIVISION: U64 = u64('131074');
export const EDIVISION_BY_ZERO: U64 = u64('65540');
export const EMULTIPLICATION: U64 = u64('131075');
export const ERATIO_OUT_OF_RANGE: U64 = u64('131077');
export const MAX_U64: U128 = u128('18446744073709551615');

export class FixedPoint32 {
  static moduleAddress = moduleAddress;
  static moduleName = moduleName;
  __app: $.AppType | null = null;
  static structName: string = 'FixedPoint32';
  static typeParameters: TypeParamDeclType[] = [];
  static fields: FieldDeclType[] = [{ name: 'value', typeTag: AtomicTypeTag.U64 }];

  value: U64;

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

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

  static getTag(): StructTag {
    return new StructTag(moduleAddress, moduleName, 'FixedPoint32', []);
  }
  async loadFullState(app: $.AppType) {
    this.__app = app;
  }
}
export function create_from_rational_(numerator: U64, denominator: U64, $c: AptosDataCache): FixedPoint32 {
  let temp$1, quotient, scaled_denominator, scaled_numerator;
  scaled_numerator = u128($.copy(numerator)).shl(u8('64'));
  scaled_denominator = u128($.copy(denominator)).shl(u8('32'));
  if (!$.copy(scaled_denominator).neq(u128('0'))) {
    throw $.abortCode($.copy(EDENOMINATOR));
  }
  quotient = $.copy(scaled_numerator).div($.copy(scaled_denominator));
  if ($.copy(quotient).neq(u128('0'))) {
    temp$1 = true;
  } else {
    temp$1 = $.copy(numerator).eq(u64('0'));
  }
  if (!temp$1) {
    throw $.abortCode($.copy(ERATIO_OUT_OF_RANGE));
  }
  if (!$.copy(quotient).le($.copy(MAX_U64))) {
    throw $.abortCode($.copy(ERATIO_OUT_OF_RANGE));
  }
  return new FixedPoint32({ value: u64($.copy(quotient)) }, new SimpleStructTag(FixedPoint32));
}

export function create_from_raw_value_(value: U64, $c: AptosDataCache): FixedPoint32 {
  return new FixedPoint32({ value: $.copy(value) }, new SimpleStructTag(FixedPoint32));
}

export function divide_u64_(val: U64, divisor: FixedPoint32, $c: AptosDataCache): U64 {
  let quotient, scaled_value;
  if (!$.copy(divisor.value).neq(u64('0'))) {
    throw $.abortCode($.copy(EDIVISION_BY_ZERO));
  }
  scaled_value = u128($.copy(val)).shl(u8('32'));
  quotient = $.copy(scaled_value).div(u128($.copy(divisor.value)));
  if (!$.copy(quotient).le($.copy(MAX_U64))) {
    throw $.abortCode($.copy(EDIVISION));
  }
  return u64($.copy(quotient));
}

export function get_raw_value_(num: FixedPoint32, $c: AptosDataCache): U64 {
  return $.copy(num.value);
}

export function is_zero_(num: FixedPoint32, $c: AptosDataCache): boolean {
  return $.copy(num.value).eq(u64('0'));
}

export function multiply_u64_(val: U64, multiplier: FixedPoint32, $c: AptosDataCache): U64 {
  let product, unscaled_product;
  unscaled_product = u128($.copy(val)).mul(u128($.copy(multiplier.value)));
  product = $.copy(unscaled_product).shr(u8('32'));
  if (!$.copy(product).le($.copy(MAX_U64))) {
    throw $.abortCode($.copy(EMULTIPLICATION));
  }
  return u64($.copy(product));
}

export function loadParsers(repo: AptosParserRepo) {
  repo.addParser('0x1::fixed_point32::FixedPoint32', FixedPoint32.FixedPoint32Parser);
}
export class App {
  constructor(public client: AptosClient, public repo: AptosParserRepo, public cache: AptosLocalCache) {}
  get moduleAddress() {
    {
      return moduleAddress;
    }
  }
  get moduleName() {
    {
      return moduleName;
    }
  }
  get FixedPoint32() {
    return FixedPoint32;
  }
}