balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Alpha: adds an RPC to get the storage of a contract

Browse Source
This commit is contained in:
Milo Davis 2017-07-13 11:53:59 +02:00 committed by Benjamin Canou
parent 733be3fa17
commit a8e984c1af
5 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/proto/alpha/contract_storage.ml
View File

@ -236,6 +236,8 @@ let get_script c contract =
| Some code, Some storage -> return (Some { Script_repr.code ; storage }) | Some code, Some storage -> return (Some { Script_repr.code ; storage })
| None, Some _ | Some _, None -> failwith "get_script" | None, Some _ | Some _, None -> failwith "get_script"
let get_storage = Storage.Contract.Storage.get_option
let get_counter c contract = let get_counter c contract =
Storage.Contract.Counter.get_option c contract >>=? function Storage.Contract.Counter.get_option c contract >>=? function
| None -> begin | None -> begin

1
src/proto/alpha/contract_storage.mli
View File

@ -37,6 +37,7 @@ val get_balance: Storage.t -> Contract_repr.t -> Tez_repr.t tzresult Lwt.t
val get_counter: Storage.t -> Contract_repr.t -> int32 tzresult Lwt.t val get_counter: Storage.t -> Contract_repr.t -> int32 tzresult Lwt.t
val get_script: Storage.t -> Contract_repr.t -> Script_repr.t option tzresult Lwt.t val get_script: Storage.t -> Contract_repr.t -> Script_repr.t option tzresult Lwt.t
val get_storage: Storage.t -> Contract_repr.t -> Script_repr.storage option tzresult Lwt.t
val update_script_storage_and_fees: Storage.t -> Contract_repr.t -> Tez_repr.t -> Script_repr.expr -> Storage.t tzresult Lwt.t val update_script_storage_and_fees: Storage.t -> Contract_repr.t -> Tez_repr.t -> Script_repr.expr -> Storage.t tzresult Lwt.t

7
src/proto/alpha/services.ml
View File

@ -301,6 +301,13 @@ module Context = struct
~output: (wrap_tzerror (option Script.encoding)) ~output: (wrap_tzerror (option Script.encoding))
RPC.Path.(custom_root / "context" / "contracts" /: Contract.arg / "script") RPC.Path.(custom_root / "context" / "contracts" /: Contract.arg / "script")
let storage custom_root =
RPC.service
~description: "Access the data of the contract."
~input: empty
~output: (wrap_tzerror (option Script.storage_encoding))
RPC.Path.(custom_root / "context" / "contracts" /: Contract.arg / "storage")
type info = { type info = {
manager: public_key_hash ; manager: public_key_hash ;
balance: Tez.t ; balance: Tez.t ;

1
src/proto/alpha/services_registration.ml
View File

@ -213,6 +213,7 @@ let () =
register2' Services.Context.Contract.spendable Contract.is_spendable ; register2' Services.Context.Contract.spendable Contract.is_spendable ;
register2' Services.Context.Contract.delegatable Contract.is_delegatable ; register2' Services.Context.Contract.delegatable Contract.is_delegatable ;
register2' Services.Context.Contract.script Contract.get_script ; register2' Services.Context.Contract.script Contract.get_script ;
register2' Services.Context.Contract.storage Contract.get_storage ;
register2' Services.Context.Contract.get (fun ctxt contract -> register2' Services.Context.Contract.get (fun ctxt contract ->
Contract.get_balance ctxt contract >>=? fun balance -> Contract.get_balance ctxt contract >>=? fun balance ->
Contract.get_manager ctxt contract >>=? fun manager -> Contract.get_manager ctxt contract >>=? fun manager ->

2
src/proto/alpha/tezos_context.mli
View File

@ -330,6 +330,8 @@ module Contract : sig
context -> contract -> bool tzresult Lwt.t context -> contract -> bool tzresult Lwt.t
val get_script: val get_script:
context -> contract -> (Script.t option) tzresult Lwt.t context -> contract -> (Script.t option) tzresult Lwt.t
val get_storage:
context -> contract -> (Script.storage option) tzresult Lwt.t
val get_counter: context -> contract -> int32 tzresult Lwt.t val get_counter: context -> contract -> int32 tzresult Lwt.t
val get_balance: val get_balance: