Exemplos de Microsoft.Boogie StateCmd em C# (CSharp)

Exemplo n.º 1

Arquivo: StandardVisitor.cs Projeto: qunyanm/boogie

 public virtual Cmd VisitStateCmd(StateCmd node) {
   Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Cmd>() != null);
   node.Locals = this.VisitVariableSeq(node.Locals);
   node.Cmds = this.VisitCmdSeq(node.Cmds);
   return node;
 }

Exemplo n.º 2

Arquivo: Duplicator.cs Projeto: qunyanm/boogie

 public override Cmd VisitStateCmd(StateCmd node) {
   //Contract.Requires(node != null);
   Contract.Ensures(Contract.Result<Cmd>() != null);
   return base.VisitStateCmd((StateCmd)node.Clone());
 }

Exemplo n.º 3

Arquivo: StandardVisitor.cs Projeto: qunyanm/boogie

 public override Cmd VisitStateCmd(StateCmd node)
 {
     Contract.Ensures(Contract.Result<Cmd>() == node);
     this.VisitVariableSeq(node.Locals);
     this.VisitCmdSeq(node.Cmds);
     return node;
 }