|
Lines 18-23
Link Here
|
| 18 |
import java.util.Map; |
18 |
import java.util.Map; |
| 19 |
|
19 |
|
| 20 |
import org.eclipse.core.runtime.Assert; |
20 |
import org.eclipse.core.runtime.Assert; |
|
|
21 |
import org.eclipse.core.runtime.AssertionFailedException; |
| 21 |
import org.eclipse.core.runtime.Platform; |
22 |
import org.eclipse.core.runtime.Platform; |
| 22 |
import org.eclipse.jface.text.BadLocationException; |
23 |
import org.eclipse.jface.text.BadLocationException; |
| 23 |
import org.eclipse.jface.text.BadPositionCategoryException; |
24 |
import org.eclipse.jface.text.BadPositionCategoryException; |
|
Lines 343-348
Link Here
|
| 343 |
// can not happen |
344 |
// can not happen |
| 344 |
} catch (BadPositionCategoryException x) { |
345 |
} catch (BadPositionCategoryException x) { |
| 345 |
// should not happen on input elements |
346 |
// should not happen on input elements |
|
|
347 |
} catch (AssertionFailedException x){ |
| 348 |
// may be thrown from TypedPosition constructor |
| 346 |
} |
349 |
} |
| 347 |
} |
350 |
} |
| 348 |
} |
351 |
} |
