Ejemplos de Microsoft.Boogie StateCmd en C# (CSharp)

Ejemplo n.º 1

Archivo: StandardVisitor.cs Proyecto: 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;
 }

Ejemplo n.º 2

Archivo: Duplicator.cs Proyecto: qunyanm/boogie

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

Ejemplo n.º 3

Archivo: StandardVisitor.cs Proyecto: qunyanm/boogie

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