| changeset 24759 | 31aed7d9c02a |
| parent 24751 | ccbd9cd3f720 |
| 24758:eb9658fa0120 | 24759:31aed7d9c02a |
|---|---|
80 |
80 |
81 return this; |
81 return this; |
82 } |
82 } |
83 |
83 |
84 @Override |
84 @Override |
85 public void toString(final StringBuilder sb) { |
85 public void toString(final StringBuilder sb, final boolean printType) { |
86 sb.append(labelName).append(':'); |
86 sb.append(labelName).append(':'); |
87 } |
87 } |
88 |
88 |
89 /** |
89 /** |
90 * Get the body of the node |
90 * Get the body of the node |