コード例 #1
0
ファイル: ExprBang.java プロジェクト: hettak/frama-c-eclipse 
 public void accept(ReflectiveVisitor visitor) {
   WhyElement.add("!");
   visitor.visit(i);
 }
コード例 #2
0
 public void accept(ReflectiveVisitor visitor) {
   visitor.visit(o);
   WhyElement.add(" -> ");
   visitor.visit(pt);
 }