Exemplo n.º 1
0
        public virtual void Visit(Statements.AssertStatement s)
        {
            VisitAbstractStmt(s);

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