diff options
| author | Ed Willink | 2015-04-21 08:37:32 +0000 |
|---|---|---|
| committer | Ed Willink | 2015-04-21 08:37:32 +0000 |
| commit | 866e77f3fad22487fddab361581601fa940a66a8 (patch) | |
| tree | a3b79c0eba4c9f7111de78b815d9f9e52f37cac9 | |
| parent | 63d46629059894db6a35823f17a8792b60780603 (diff) | |
| download | org.eclipse.ocl-866e77f3fad22487fddab361581601fa940a66a8.tar.gz org.eclipse.ocl-866e77f3fad22487fddab361581601fa940a66a8.tar.xz org.eclipse.ocl-866e77f3fad22487fddab361581601fa940a66a8.zip | |
[380232] Accommodate 0 column return from bug fix.
| -rw-r--r-- | plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java index ac4e7b006c..11801e6669 100644 --- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java +++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/PivotUtil.java @@ -677,11 +677,11 @@ public class PivotUtil s.append(diagnostic.getLine()); try { int column = diagnostic.getColumn(); - if (column >= 0) { + if (column > 0) { s.append(":"); s.append(column); } - } catch (Exception e) {} // UnsupportedOperationException is normal for Bug 380232 + } catch (Exception e) {} // UnsupportedOperationException was normal for Bug 380232 fixed in Xtext 2.9 s.append(": "); s.append(diagnostic.getMessage()); } |