| commit | b5e8197e996af91810ed3ee7655c55888ad6dfeb | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Wed Aug 17 11:57:31 2016 +0100 |
| committer | Ed Willink <ed@willink.me.uk> | Sat Aug 20 14:30:27 2016 +0100 |
| tree | 3cc6b22950c68d6eee903a6251e68b43f0f01826 | |
| parent | 70f8a109422c020138fc5558d3f319d5fa99cc2b [diff] |
[499816] Indicate "validating" Operation in prettyprint/hovertext
diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/prettyprint/PrettyPrintVisitor.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/prettyprint/PrettyPrintVisitor.java index cec4566..81fbe9c 100644 --- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/prettyprint/PrettyPrintVisitor.java +++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/prettyprint/PrettyPrintVisitor.java
@@ -138,7 +138,7 @@ @Override public Object visitOperation(@NonNull Operation object) { if (context.showNames()) { - context.appendParent(context.getScope(), object, "::"); + context.appendParent(context.getScope(), object, object.isIsValidating() ? "[?]::" : "::"); context.appendName(object); } else {