equal
deleted
inserted
replaced
735 printList("cases", tree.cases); |
735 printList("cases", tree.cases); |
736 } |
736 } |
737 |
737 |
738 @Override |
738 @Override |
739 public void visitCase(JCCase tree) { |
739 public void visitCase(JCCase tree) { |
740 printTree("pat", tree.pat); |
740 printList("pat", tree.pats); |
741 printList("stats", tree.stats); |
741 printList("stats", tree.stats); |
742 } |
742 } |
743 |
743 |
744 @Override |
744 @Override |
745 public void visitSynchronized(JCSynchronized tree) { |
745 public void visitSynchronized(JCSynchronized tree) { |
780 printTree("expr", tree.expr); |
780 printTree("expr", tree.expr); |
781 } |
781 } |
782 |
782 |
783 @Override |
783 @Override |
784 public void visitBreak(JCBreak tree) { |
784 public void visitBreak(JCBreak tree) { |
785 printName("label", tree.label); |
785 printTree("value", tree.value); |
786 } |
786 } |
787 |
787 |
788 @Override |
788 @Override |
789 public void visitContinue(JCContinue tree) { |
789 public void visitContinue(JCContinue tree) { |
790 printName("label", tree.label); |
790 printName("label", tree.label); |