public void saccept(ReflectiveVisitor visitor) { WhyCode.add("!"); visitor.svisit(i); }
public void saccept(ReflectiveVisitor visitor) { visitor.svisit(o); WhyCode.add(" -> "); visitor.svisit(pt); }