commit | 52d0e161505f53196dab9e6144df614be342c8aa | [log] [tgz] |
---|---|---|
author | Ed Willink <ed@willink.me.uk> | Sat Apr 13 16:04:31 2019 +0100 |
committer | Ed Willink <ed@willink.me.uk> | Sat Apr 13 16:04:31 2019 +0100 |
tree | aed36301e61f45d39fb5504998f9bfcef2cd2e2e | |
parent | 33946f7bffe0c9d06909823ffd2ffa938508bf37 [diff] |
[unrelated] Add TracingOption.toString
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 0426590..0f07e00 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 @@ this.state = state; resolved = true; } + + @Override + public String toString() { + return option + "=" + state; + } }