C# (CSharp) BoogieAST BoogieCmd Examples

Example #1

File: BoogieAST.cs Project: daejunpark/verisol

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

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

Example #2

File: BoogieAST.cs Project: daejunpark/verisol

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

Example #3

File: BoogieAST.cs Project: daejunpark/verisol

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