381a7c98cd
* Move the missing_definition error to the type checker * Move the parameterised_event and parameterised_state errors to the type checker * Remove check_state_and_event_types from ast_to_fcode * Move missing_init_function to the type checker * Remove the code error last_declaration_must_be_main_contract * Expand the tests for missing init function * Remove found_void error * Move the higher order entrypoint error to type checker * Move invalid_aens_resolve_type error to type checker * Add more tests for AENS.resolve * Add test for AENS.resolve with using * Move invalid_oracle_type error to type checker * Move old code errors tests to compilable_contracts * Remove the file aeso_code_errors.erl * Add comment about state type
83 lines
3.4 KiB
Plaintext
83 lines
3.4 KiB
Plaintext
contract C = entrypoint init() = ()
|
|
|
|
// AENS tests
|
|
main contract AENSTest =
|
|
|
|
// Name resolution
|
|
|
|
stateful entrypoint resolve_word(name : string, key : string) : option(address) =
|
|
AENS.resolve(name, key)
|
|
|
|
stateful entrypoint resolve_string(name : string, key : string) : option(string) =
|
|
AENS.resolve(name, key)
|
|
|
|
stateful entrypoint resolve_contract(name : string, key : string) : option(C) =
|
|
AENS.resolve(name, key)
|
|
|
|
stateful entrypoint resolve_oracle(name : string, key : string) : option(oracle(int, int)) =
|
|
AENS.resolve(name, key)
|
|
|
|
stateful entrypoint resolve_oracle_query(name : string, key : string) : option(oracle_query(int, int)) =
|
|
AENS.resolve(name, key)
|
|
|
|
// Transactions
|
|
|
|
stateful entrypoint preclaim(addr : address, // Claim on behalf of this account (can be Contract.address)
|
|
chash : hash) : unit = // Commitment hash
|
|
AENS.preclaim(addr, chash)
|
|
|
|
stateful entrypoint signedPreclaim(addr : address, // Claim on behalf of this account (can be Contract.address)
|
|
chash : hash, // Commitment hash
|
|
sign : signature) : unit = // Signed by addr (if not Contract.address)
|
|
AENS.preclaim(addr, chash, signature = sign)
|
|
|
|
stateful entrypoint claim(addr : address,
|
|
name : string,
|
|
salt : int,
|
|
name_fee : int) : unit =
|
|
AENS.claim(addr, name, salt, name_fee)
|
|
|
|
stateful entrypoint signedClaim(addr : address,
|
|
name : string,
|
|
salt : int,
|
|
name_fee : int,
|
|
sign : signature) : unit =
|
|
AENS.claim(addr, name, salt, name_fee, signature = sign)
|
|
|
|
|
|
stateful entrypoint update(owner : address,
|
|
name : string,
|
|
ttl : option(Chain.ttl),
|
|
client_ttl : option(int),
|
|
pointers : option(map(string, AENS.pointee))) : unit =
|
|
AENS.update(owner, name, ttl, client_ttl, pointers)
|
|
|
|
stateful entrypoint signedUpdate(owner : address,
|
|
name : string,
|
|
ttl : option(Chain.ttl),
|
|
client_ttl : option(int),
|
|
pointers : option(map(string, AENS.pointee)),
|
|
sign : signature) : unit =
|
|
AENS.update(owner, name, ttl, client_ttl, pointers, signature = sign)
|
|
|
|
|
|
stateful entrypoint transfer(owner : address,
|
|
new_owner : address,
|
|
name : string) : unit =
|
|
AENS.transfer(owner, new_owner, name)
|
|
|
|
stateful entrypoint signedTransfer(owner : address,
|
|
new_owner : address,
|
|
name : string,
|
|
sign : signature) : unit =
|
|
AENS.transfer(owner, new_owner, name, signature = sign)
|
|
|
|
stateful entrypoint revoke(owner : address,
|
|
name : string) : unit =
|
|
AENS.revoke(owner, name)
|
|
|
|
stateful entrypoint signedRevoke(owner : address,
|
|
name : string,
|
|
sign : signature) : unit =
|
|
AENS.revoke(owner, name, signature = sign)
|