diff options
| -rw-r--r-- | plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/TracingOption.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/TracingOption.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/TracingOption.java index 04265906b4..0f07e007a5 100644 --- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/TracingOption.java +++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/utilities/TracingOption.java @@ -154,4 +154,9 @@ public final class TracingOption implements Appendable this.state = state; resolved = true; } + + @Override + public String toString() { + return option + "=" + state; + } } |