I HOUSE TOKEN

0xeda8b016efa8b1161208cf041cd86972eee0f31e Copy

ERC20

This contract is an ERC20 token.

Name I HOUSE TOKEN

Symbol IHT

Decimals 18

Total Supply 996,491,162 IHT

About

IHT Real Estate Protocol (IHT) is a cryptocurrency and operates on the Ethereum platform. IHT Real Estate Protocol has a current supply of 996,491,162 with 989,061,135.6575 in circulation. The last known price of IHT Real Estate Protocol is 0.00068983 USD and is down -0.51 over the last 24 hours. It is currently trading on 5 active market(s) with $35,011.19 traded over the last 24 hours. More information can be found at https://ihtcoin.com/.

Stats

Public Functions 23

Event Types 10

Code Size 55,356 bytes

Events (10)

Approval Event

Parameters

owner	address
spender	address
value	uint256

Burn Event

Parameters

burner	address
value	uint256

Mint Event

Parameters

to	address
amount	uint256

Minted Event

Parameters

receiver	address
amount	uint256

MintingAgentChanged Event

Parameters

addr	address
state	bool

OwnershipTransferred Event

Parameters

_from	address
_to	address

Transfer Event

Parameters

from	address
to	address
value	uint256

UpdatedTokenInformation Event

Parameters

newName	string
newSymbol	string

Upgrade Event

Parameters

_from	address
_to	address
_value	uint256

UpgradeAgentSet Event

Parameters

agent

address

State Variables (16)

name Variable

string

symbol Variable

string

decimals Variable

uint8

releaseAgent Variable

address

released Variable

bool

totalSupply Variable

uint256

owner Variable

address

newOwner Variable

address

mintingFinished Variable

bool

upgradeMaster Variable

address

upgradeAgent Variable

address

totalUpgraded Variable

uint256

transferAgents Variable

mapping(address => bool)

mintAgents Variable

mapping(address => bool)

balances Variable

mapping(address => uint)

Internal Variable

allowed Variable

mapping(address => mapping(address => uint256))

Internal Variable

Functions Expand All Collapse All

balanceOf

Parameters

Name	Type
_owner	address

Properties

Visibility public

Mutability constant

Source Code

function balanceOf(address _owner) public constant returns (uint256 balance) {
  return balances[_owner];
}

transfer

Parameters

Name	Type
_to	address
_value	uint256

Properties

Visibility public

Mutability transaction

Requirements

_to must not be equal to UNKNOWN VALUE

_value must be less than or equal to balances for the sender's address

Source Code

function transfer(address _to, uint256 _value) public returns (bool) {
  require(_to != address(0));
  require(_value <= balances[msg.sender]);

  // SafeMath.sub will throw if there is not enough balance.
  balances[msg.sender] = safeSub(balances[msg.sender], _value);
  balances[_to] = safeAdd(balances[_to], _value);
  Transfer(msg.sender, _to, _value);
  return true;
}

allowance

Parameters

Name	Type
_owner	address
_spender	address

Properties

Visibility public

Mutability view

Source Code

function allowance(address _owner, address _spender)
  public
  view
  returns (uint256)
{
  return allowed[_owner][_spender];
}

transferFrom

Parameters

Name	Type
_from	address
_to	address
_value	uint256

Properties

Visibility public

Mutability transaction

Requirements

_to must not be equal to UNKNOWN VALUE

_value must be less than or equal to balances for _from

_value must be less than or equal to _allowance

balances for _to + _value must be greater than balances for _to

Source Code

function transferFrom(
  address _from,
  address _to,
  uint256 _value
) public returns (bool) {
  uint256 _allowance = allowed[_from][msg.sender];
  require(_to != address(0));
  require(_value <= balances[_from]);
  require(_value <= _allowance);
  require(balances[_to] + _value > balances[_to]);

  balances[_to] = safeAdd(balances[_to], _value);
  balances[_from] = safeSub(balances[_from], _value);
  allowed[_from][msg.sender] = safeSub(_allowance, _value);
  Transfer(_from, _to, _value);
  return true;
}

approve

Parameters

Name	Type
_spender	address
_value	uint256

Properties

Visibility public

Mutability transaction

Source Code

function approve(address _spender, uint256 _value) public returns (bool) {
  allowed[msg.sender][_spender] = _value;
  Approval(msg.sender, _spender, _value);
  return true;
}

increaseApproval

Parameters

Name	Type
_spender	address
_addedValue	uint256

Properties

Visibility public

Mutability transaction

Source Code

function increaseApproval(address _spender, uint256 _addedValue)
  public
  returns (bool)
{
  allowed[msg.sender][_spender] = safeAdd(
    allowed[msg.sender][_spender],
    _addedValue
  );
  Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
  return true;
}

decreaseApproval

Parameters

Name	Type
_spender	address
_subtractedValue	uint256

Properties

Visibility public

Mutability transaction

Source Code

function decreaseApproval(address _spender, uint256 _subtractedValue)
  public
  returns (bool)
{
  uint256 oldValue = allowed[msg.sender][_spender];
  if (_subtractedValue > oldValue) {
    allowed[msg.sender][_spender] = 0;
  } else {
    allowed[msg.sender][_spender] = safeSub(oldValue, _subtractedValue);
  }
  Approval(msg.sender, _spender, allowed[msg.sender][_spender]);
  return true;
}

burn

Parameters

Name	Type
_value	uint256

Properties

Visibility public

Mutability transaction

Requirements

_value must be less than or equal to balances for the sender's address

Source Code

function burn(uint256 _value) public {
  require(_value <= balances[msg.sender]);
  // no need to require value <= totalSupply, since that would imply the
  // sender's balance is greater than the totalSupply, which *should* be an assertion failure

  address burner = msg.sender;
  balances[burner] = safeSub(balances[burner], _value);
  totalSupply = safeSub(totalSupply, _value);
  Burn(burner, _value);
}

upgrade

Parameters

Name	Type
value	uint256

Properties

Visibility public

Mutability transaction

Requirements

value must not be equal to 0

Source Code

function upgrade(uint256 value) public {
  UpgradeState state = getUpgradeState();
  require(
    (state == UpgradeState.ReadyToUpgrade || state == UpgradeState.Upgrading)
  );

  // Validate input value.
  require(value != 0);

  balances[msg.sender] = safeSub(balances[msg.sender], value);

  // Take tokens out from circulation
  totalSupply = safeSub(totalSupply, value);
  totalUpgraded = safeAdd(totalUpgraded, value);

  // Upgrade agent reissues the tokens
  upgradeAgent.upgradeFrom(msg.sender, value);
  Upgrade(msg.sender, upgradeAgent, value);
}

setUpgradeAgent

Parameters

Name	Type
agent	address

Properties

Visibility public

Mutability transaction

Requirements

null

agent must not be equal to 0x0

upgradeMaster must be equal to the sender's address

the result of calling getUpgradeState must not be equal to UpgradeState.Upgrading

totalSupply must be equal to UNKNOWN VALUE

Source Code

function setUpgradeAgent(address agent) external {
  require(canUpgrade());

  require(agent != 0x0);
  // Only a master can designate the next agent
  require(msg.sender == upgradeMaster);
  // Upgrade has already begun for an agent
  require(getUpgradeState() != UpgradeState.Upgrading);

  upgradeAgent = UpgradeAgent(agent);

  // Bad interface
  require(upgradeAgent.isUpgradeAgent());
  // Make sure that token supplies match in source and target
  require(upgradeAgent.originalSupply() == totalSupply);

  UpgradeAgentSet(upgradeAgent);
}

getUpgradeState

Parameters

This function has no parameters.

Properties

Visibility public

Mutability constant

Source Code

function getUpgradeState() public constant returns (UpgradeState) {
  if (!canUpgrade()) return UpgradeState.NotAllowed;
  else if (address(upgradeAgent) == 0x00) return UpgradeState.WaitingForAgent;
  else if (totalUpgraded == 0) return UpgradeState.ReadyToUpgrade;
  else return UpgradeState.Upgrading;
}

setUpgradeMaster

Parameters

Name	Type
master	address

Properties

Visibility public

Mutability transaction

Requirements

master must not be equal to 0x0

upgradeMaster must be equal to the sender's address

Source Code

function setUpgradeMaster(address master) public {
  require(master != 0x0);
  require(msg.sender == upgradeMaster);
  upgradeMaster = master;
}

canUpgrade

Parameters

This function has no parameters.

Properties

Visibility public

Mutability view

Source Code

function canUpgrade() public view returns (bool) {
  return released && super.canUpgrade();
}

transferOwnership

Parameters

Name	Type
_newOwner	address

Properties

Visibility public

Mutability transaction

Modifiers

onlyOwner checks for the following:

owner must be equal to the sender's address

Source Code

function transferOwnership(address _newOwner) public onlyOwner {
  newOwner = _newOwner;
}

acceptOwnership

Parameters

This function has no parameters.

Properties

Visibility public

Mutability transaction

Requirements

newOwner must be equal to the sender's address

Source Code

function acceptOwnership() public {
  require(msg.sender == newOwner);
  OwnershipTransferred(owner, newOwner);
  owner = newOwner;
}

mint

Parameters

Name	Type
receiver	address
amount	uint256

Properties

Visibility public

Mutability transaction

Modifiers

onlyMintAgent checks for the following:

canMint checks for the following:

mintingFinished must not be true

Source Code

function mint(address receiver, uint256 amount)
  public
  onlyMintAgent
  canMint
  returns (bool)
{
  totalSupply = safeAdd(totalSupply, amount);
  balances[receiver] = safeAdd(balances[receiver], amount);

  // This will make the mint transaction apper in EtherScan.io
  // We can remove this after there is a standardized minting event
  Mint(receiver, amount);
  Transfer(0, receiver, amount);
  return true;
}

setMintAgent

Parameters

Name	Type
addr	address
state	bool

Properties

Visibility public

Mutability transaction

Modifiers

onlyOwner checks for the following:

owner must be equal to the sender's address

canMint checks for the following:

mintingFinished must not be true

Source Code

function setMintAgent(address addr, bool state) public onlyOwner canMint {
  mintAgents[addr] = state;
  MintingAgentChanged(addr, state);
}

setReleaseAgent

Parameters

Name	Type
addr	address

Properties

Visibility public

Mutability transaction

Modifiers

onlyOwner checks for the following:

owner must be equal to the sender's address

inReleaseState checks for the following:

released must be equal to false

Source Code

function setReleaseAgent(address addr) public onlyOwner inReleaseState(false) {
  // We don't do interface check here as we might want to a normal wallet address to act as a release agent
  releaseAgent = addr;
}

setTransferAgent

Parameters

Name	Type
addr	address
state	bool

Properties

Visibility public

Mutability transaction

Modifiers

onlyOwner checks for the following:

owner must be equal to the sender's address

inReleaseState checks for the following:

released must be equal to false

Source Code

function setTransferAgent(address addr, bool state)
  public
  onlyOwner
  inReleaseState(false)
{
  transferAgents[addr] = state;
}

releaseTokenTransfer

Parameters

This function has no parameters.

Properties

Visibility public

Mutability transaction

Modifiers

onlyReleaseAgent checks for the following:

releaseAgent must be equal to the sender's address

Source Code

function releaseTokenTransfer() public onlyReleaseAgent {
  mintingFinished = true;
  super.releaseTokenTransfer();
}

transfer

Parameters

Name	Type
_to	address
_value	uint

Properties

Visibility public

Mutability transaction

Modifiers

canTransfer checks for the following:

Source Code

function transfer(address _to, uint256 _value)
  public
  canTransfer(msg.sender)
  returns (bool success)
{
  // Call StandardToken.transfer()
  return super.transfer(_to, _value);
}

transferFrom

Parameters

Name	Type
_from	address
_to	address
_value	uint

Properties

Visibility public

Mutability transaction

Modifiers

canTransfer checks for the following:

Source Code

function transferFrom(
  address _from,
  address _to,
  uint256 _value
) public canTransfer(_from) returns (bool success) {
  // Call StandardToken.transferForm()
  return super.transferFrom(_from, _to, _value);
}

setTokenInformation

Parameters

Name	Type
_name	string
_symbol	string

Properties

Visibility public

Mutability transaction

Modifiers

onlyOwner checks for the following:

owner must be equal to the sender's address

Source Code

function setTokenInformation(string _name, string _symbol) public onlyOwner {
  name = _name;
  symbol = _symbol;
  UpdatedTokenInformation(name, symbol);
}

Internal Functions Expand All Collapse All

Internal functions are parts of the contract that can't be used directly, but instead are used by the public functions listed above.

internal SafeMathLib.safeMul

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

b must be equal to c / a

Source Code

function safeMul(uint256 a, uint256 b) internal pure returns (uint256) {
  if (a == 0) {
    return 0;
  }
  uint256 c = a * b;
  assert(c / a == b);
  return c;
}

internal SafeMathLib.safeSub

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

b must be less than or equal to a

Source Code

function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {
  assert(b <= a);
  return a - b;
}

internal SafeMathLib.safeAdd

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

c must be greater than or equal to a

Source Code

function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {
  uint256 c = a + b;
  assert(c >= a);
  return c;
}

internal SafeMathLib.safeDiv

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Source Code

function safeDiv(uint256 a, uint256 b) internal pure returns (uint256) {
  // assert(b > 0); // Solidity automatically throws when dividing by 0
  uint256 c = a / b;
  // assert(a == b * c + a % b); // There is no case in which this doesn't hold
  return c;
}

internal SafeMathLib.safeMul

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

b must be equal to c / a

Source Code

function safeMul(uint256 a, uint256 b) internal pure returns (uint256) {
  if (a == 0) {
    return 0;
  }
  uint256 c = a * b;
  assert(c / a == b);
  return c;
}

internal SafeMathLib.safeSub

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

b must be less than or equal to a

Source Code

function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {
  assert(b <= a);
  return a - b;
}

internal SafeMathLib.safeAdd

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

c must be greater than or equal to a

Source Code

function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {
  uint256 c = a + b;
  assert(c >= a);
  return c;
}

internal SafeMathLib.safeDiv

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Source Code

function safeDiv(uint256 a, uint256 b) internal pure returns (uint256) {
  // assert(b > 0); // Solidity automatically throws when dividing by 0
  uint256 c = a / b;
  // assert(a == b * c + a % b); // There is no case in which this doesn't hold
  return c;
}

internal SafeMathLib.safeMul

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

b must be equal to c / a

Source Code

function safeMul(uint256 a, uint256 b) internal pure returns (uint256) {
  if (a == 0) {
    return 0;
  }
  uint256 c = a * b;
  assert(c / a == b);
  return c;
}

internal SafeMathLib.safeSub

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

b must be less than or equal to a

Source Code

function safeSub(uint256 a, uint256 b) internal pure returns (uint256) {
  assert(b <= a);
  return a - b;
}

internal SafeMathLib.safeAdd

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Requirements

c must be greater than or equal to a

Source Code

function safeAdd(uint256 a, uint256 b) internal pure returns (uint256) {
  uint256 c = a + b;
  assert(c >= a);
  return c;
}

internal SafeMathLib.safeDiv

Parameters

Name	Type
a	uint256
b	uint256

Properties

Visibility internal

Mutability pure

Source Code

function safeDiv(uint256 a, uint256 b) internal pure returns (uint256) {
  // assert(b > 0); // Solidity automatically throws when dividing by 0
  uint256 c = a / b;
  // assert(a == b * c + a % b); // There is no case in which this doesn't hold
  return c;
}

I HOUSE TOKEN

ERC20

About link description

Stats

Events (10) keyboard_arrow_up

Approval Event

Parameters help Event parameters list the data that an event contains.

Burn Event

Parameters help Event parameters list the data that an event contains.

Mint Event

Parameters help Event parameters list the data that an event contains.

Minted Event

Parameters help Event parameters list the data that an event contains.

MintingAgentChanged Event

Parameters help Event parameters list the data that an event contains.

OwnershipTransferred Event

Parameters help Event parameters list the data that an event contains.

Transfer Event

Parameters help Event parameters list the data that an event contains.

UpdatedTokenInformation Event

Parameters help Event parameters list the data that an event contains.

Upgrade Event

Parameters help Event parameters list the data that an event contains.

UpgradeAgentSet Event

Parameters help Event parameters list the data that an event contains.

State Variables (16) keyboard_arrow_up

name Variable

symbol Variable

decimals Variable

releaseAgent Variable

released Variable

totalSupply Variable

owner Variable

newOwner Variable

mintingFinished Variable

upgradeMaster Variable

upgradeAgent Variable

totalUpgraded Variable

transferAgents Variable

mintAgents Variable

balances Variable

allowed Variable

Functions Expand All Collapse All

balanceOf keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Source Code

transfer keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

allowance keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Source Code

transferFrom keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

approve keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Source Code

increaseApproval keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Source Code

decreaseApproval keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Source Code

burn keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

upgrade keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

About

Events (10)

Parameters

Parameters

Parameters

Parameters

Parameters

Parameters

Parameters

Parameters

Parameters

Parameters

State Variables (16)

balanceOf

Parameters

transfer

Parameters

Requirements

allowance

Parameters

transferFrom

Parameters

Requirements

approve

Parameters

increaseApproval

Parameters

decreaseApproval

Parameters

burn

Parameters

Requirements

upgrade

Parameters

Requirements

setUpgradeAgent

Parameters

Requirements

getUpgradeState

Parameters

setUpgradeMaster

Parameters

Requirements

canUpgrade

Parameters

transferOwnership

Parameters

Modifiers

acceptOwnership

Parameters

Requirements

mint

Parameters

Modifiers

setMintAgent

Parameters

Modifiers

setReleaseAgent

Parameters

Modifiers

setTransferAgent

Parameters

Modifiers

releaseTokenTransfer

Parameters

Modifiers

transfer

Parameters