equal
deleted
inserted
replaced
127 public void enterDone() { |
127 public void enterDone() { |
128 enterCount--; |
128 enterCount--; |
129 flush(); |
129 flush(); |
130 } |
130 } |
131 |
131 |
|
132 /** Variant which allows for a delayed flush of annotations. |
|
133 * Needed by ClassReader */ |
|
134 public void enterDoneWithoutFlush() { |
|
135 enterCount--; |
|
136 } |
|
137 |
132 public void flush() { |
138 public void flush() { |
133 if (enterCount != 0) return; |
139 if (enterCount != 0) return; |
134 enterCount++; |
140 enterCount++; |
135 try { |
141 try { |
136 while (q.nonEmpty()) { |
142 while (q.nonEmpty()) { |