Exemplos de WhyElement em Java

Exemplo n.º 1

Arquivo: ExprBang.java Projeto: hettak/frama-c-eclipse

 public void accept(ReflectiveVisitor visitor) {
   WhyElement.add("!");
   visitor.visit(i);
 }

Exemplo n.º 2

Arquivo: LogicType3.java Projeto: hettak/frama-c-eclipse

 public void accept(ReflectiveVisitor visitor) {
   visitor.visit(o);
   WhyElement.add(" -> ");
   visitor.visit(pt);
 }