Ejemplos de BoogieAST BoogieCmd en C# (CSharp)

Ejemplo n.º 1

Archivo: BoogieAST.cs Proyecto: daejunpark/verisol

        public static BoogieStmtList MakeSingletonStmtList(BoogieCmd cmd)
        {
            BoogieStmtList stmtList = new BoogieStmtList();

            stmtList.BigBlocks[0].AddStatement(cmd);
            return(stmtList);
        }

Ejemplo n.º 2

Archivo: BoogieAST.cs Proyecto: daejunpark/verisol

 public void AddStatement(BoogieCmd statement)
 {
     SimpleCmds.Add(statement);
 }

Ejemplo n.º 3

Archivo: BoogieAST.cs Proyecto: daejunpark/verisol

 public void AddStatement(BoogieCmd cmd)
 {
     Debug.Assert(BigBlocks.Count == 1);
     BigBlocks[0].AddStatement(cmd);
 }