home iconAccueil / tezos / Méthode d'appel au point d'entrée de l'instance de contrat (?) Créée par contrat.create

Méthode d'appel au point d'entrée de l'instance de contrat (?) Créée par contrat.create

    • vote up icon 5 vote down icon
    • translation icon
    • view icon73 calendar icon2019-03-31
    |

    Le contrat An'estpasen mesure detrouver l'adresse du contrat créépar contrat.create. Essayé d'ajouter la signature de B ainsi que sa définition complète dans le contrat Amaistoujours,celane résoutpas leproblème.

    Le contrat Aesttel que décrit ci-dessous: 

     [%%version 0.9]

(* Contract A *)

(*Signature of contract B*)
  (*
    contract ContractB = struct
      type storage = nat 
      let%init storage (param : nat) = (param) 
      let%entry update_param
          (param : nat) (storage: storage) = [], storage 
    end*)

contract ContractB = struct 
  type storage = nat 
  let%init storage (param: nat) = (param) 
  let%entry update_param
      (param : nat) (storage: storage) = 
    let storage = param in 
    [], storage
end

(*Signature of contract A*)
contract ContractA = struct
  type storage = address 
  let%init storage (param : address) = (param) 
  let%entry create_InstanceB (param : nat) (storage: storage) = [], storage
  let%entry call_InstanceB (param : nat) (storage: storage) = [], storage 
end

type storage = address

let%init storage (param : address) = (param)

let%entry create_InstanceB (param : nat) (storage: storage) = 

  let mgr = tz1RYq8wjcCbRZykY7XH15WPkzK7TWwPvJJt in 
  (* Creating the instance of B *)
  let (op, b_addr) = 
    Contract.create 
      ~manager:mgr 
      ~delegate:None
      ~spendable:true 
      ~delegatable:true 
      ~amount:100tz
      (param) 
      (contract ContractB) 
  in
  let storage = b_addr in
  [], storage


let%entry call_InstanceB (param : nat) (storage: storage) = 
  let addr1 =  storage in
  let _contract = (Contract.at addr1 : ContractB.instance option)  in
  match _contract with 
  |None -> Current.failwith ("Not able to find contract B's instance.");
  |Some contract_ -> (*Current.failwith ("Found some contract's instance.");*)
      let op = Contract.call ~dest:contract_ ~amount:0tz ~entry:update_param ~parameter:(param) in
      [op], storage

    contratb est comme ci-dessous: 

     [%%version 0.9]

(* Contract B *)

(*Signature of contract B*)
contract ContractB = struct
  type storage = nat 
  let%init storage (param : nat) = (param) 
  let%entry update_param
      (param : nat) (storage: storage) = [], storage 
end

type storage = nat

let%init storage (param: nat) = (param)

let%entry update_param
    (param : nat) (storage: storage) = 
  let storage = param in 
  [], storage

    D'abord,j'ai déployé le contratb,puis aeffectué un appel à unpoint d'entrée "Créer_and_call_instanceb" d'Amais obtenu l'erreur suivante: 

     Error
liquidity_buffer:58.11-58.72: Failed at runtime: in failed
Failed with "Not able to find contract B's instance."
Call to contract failed

    Sije n'effectuepas l'appel du contratet essayez d'obtenir l'adresse du contrat crééet essayez d'effectuer un appel à l'un de sespoints d'entrée,je reçois l'erreur suivante: 

     Error
Response error: in failed
- temporary: proto.003-PsddFKi3.contract.non_existing_contract
Call to contract failed

    semble être quelque chose detrèsbasiquemanquantici dupoint de vue conceptuel. S'il vousplaîtexpliquer ce qui suit:

    a)est-ilnécessaire que le contrat B soit déployé d'abord,puis c'est uneinstancepeut être crééepar contrat.create? Sitelest le cas,quelprototype de contrat B serapris aumoment de l'instanciation du contrat B du contrat.create?

    B) Si cen'estpas labonnefaçon,lamanière de créeret de déployer un contrat d'un autre contrat,puiseffectuez un appel à unpoint d'entrée d'un contratnouvellement créé?

    c) Comment créer uneinstance de contrat déjà déployéet effectuer un appel à unpoint d'entrée de cetteinstance?

    smart-contracts liquidity contract

1  réponses

  • votes
    • accept answer icon
    • translation icon
    • calendar icon 2019-03-31

    Vousne pouvezpas créer de contratet l'appelerimmédiatement.

    Cela va comme ça,chronologiquement:

    • Votre scriptesten cours d'exécution.Vousinvoquez Create_Contract ou Create_Account.Une adresse et et sont retournéeset votre script continue.L'opération créera le compte après votre script le renvoie.En cemoment,le compten'existepas.
    • Vousessayezmaintenantimmédiatement de contratp sur l'adresse,pour obtenir un contratp afin que vouspuissiez appeler transfert_tokens .Cela échoue,car le contratn'existepas.

    Travailler autour de cela,vouspouvez élever lafonctionnalitéen deux opérations deniveau supérieur ou avoir letransfert de script à lui-même (renvoyer l'opération Créer un compte,puis letransfert) afin d'exécuterplus de code unefois le comptecréé.

    • Oh.Désolé ... Leproblèmeest que vousne retournezpas l'opération dans le contrat A: vous avez `[],stockage` au lieu de` [op],stockage`.
    • Merci d'avoir souligné leserreurs.Éditéet semble que l'appelfonctionne commeprévumaintenant. J'ai une autre question: comment lamiseen œuvre/la définition du contrat Best-elle décidéeen fonction de sa signaturementionnée dans le contrat A?Est-ce le cas que le dernier recours déployé correspondant à la signatureestprispour l'instanciation?
    • C'est le «contrat de contrat)` qui définit le contrat créé.Lorsque vousexécutez `CONTRACT.CREATE`/` CREATE_CONTRACT`,vous obtenez une opération qui créera le contratet l'adresse du contrat _Will_ a,unefois créé.Parce que vousmettez l'adresse de stockage,dans laprochaine opération,l'adressefait référence à l'instance (maintenant) créée de B,qui a letype correctet le code attendu.
    • Oui c'est correct.Enfait,la question queje voulais demander était de savoir commentinstancier un contrat déjà déployé?Parexemple,Best déjà déployéet nous avonsbesoin d'uneinstance de B dans le contrat A ayant une signature du contrat B. Commentfaire cela?Jepense que l'adresse du contrat déployé B sera utiliséeici.
    • Oui,vous devez obtenir l'adresse du contrat déployé ... HARDCODE IT dans le code comme une adresse littérale,mettez-laen stockage (comme vous l'avezfait),outransmettez-la sousforme deparamètre.Ensuite,écrivez `(contrat.at AddR: contractum.Instance)` Tout comme vous l'avezfait.Pas sûr où vous êtes coincé.
    • Créeret appelerfonctionne commeprévupour queje ne suispas coincénullepart.Je voulaisjuste comprendre la différenceentre lefonctionnementinterne de l'instanciation des contratsentre le contrat déployémanuellementet le contrat déployépar contrat.create.Semble comme les deux œuvres de lamêmemanière.Donc,merci depréciser.