public void publishPropertyViolation(Publisher publisher) { pw = publisher.getOut(); publisher.publishTopicStart("choice trace " + publisher.getLastErrorId()); printChoices(); }
Publish(Publisher p) { pw = p.getOut(); }