コード例 #1
0
ファイル: ChoiceTracker.java プロジェクト: null3/jpf
 public void publishPropertyViolation(Publisher publisher) {
   pw = publisher.getOut();
   publisher.publishTopicStart("choice trace " + publisher.getLastErrorId());
   printChoices();
 }
コード例 #2
0
 Publish(Publisher p) {
   pw = p.getOut();
 }