Example #1
0
        public virtual void Visit(Statements.AssertStatement s)
        {
            VisitAbstractStmt(s);

            if (s.AssertedExpression != null)
            {
                s.AssertedExpression.Accept(this);
            }
        }
 public ulong Visit(Statements.AssertStatement assertStatement)
 {
     return(1000669);
 }