Example #1
0
 public ScriptFuncContract(AstNodeArgs args)
     : base(args)
 {
     pre  = ChildNodes[0] as ScriptFuncContractPre;
     post = ChildNodes[1] as ScriptFuncContractPost;
     inv  = ChildNodes[2] as ScriptFuncContractInv;
 }
 public ScriptFuncContract(AstNodeArgs args)
     : base(args)
 {
     pre = ChildNodes[0] as ScriptFuncContractPre;
       post = ChildNodes[1] as ScriptFuncContractPost;
       inv = ChildNodes[2] as ScriptFuncContractInv;
 }