public ScriptFuncContract(AstNodeArgs args)
     : base(args)
 {
   _pre = ChildNodes[0] as ScriptFuncContractPre;
   _post = ChildNodes[1] as ScriptFuncContractPost;
   _inv = ChildNodes[2] as ScriptFuncContractInv;
 }
Exemple #2
0
 public ScriptFuncContract(AstNodeArgs args)
     : base(args)
 {
     _pre  = ChildNodes[0] as ScriptFuncContractPre;
     _post = ChildNodes[1] as ScriptFuncContractPost;
     _inv  = ChildNodes[2] as ScriptFuncContractInv;
 }