| commit | 4ccef14d9c90c7bbb5a300d9d7b3f48ab4232005 | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Tue Feb 11 08:18:52 2020 +0000 |
| committer | Ed Willink <ed@willink.me.uk> | Mon Feb 17 15:29:08 2020 +0000 |
| tree | 0391790a9616955b4149caad3a9cc20465985501 | |
| parent | 8ee4b504d2b1f48df20365866519d1005aa1ef0a [diff] |
[unrelated] Add isDataType
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 c583584..927a8db 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
@@ -2016,4 +2016,11 @@ return true; } } + + /** + * @since 1.11 + */ + public static boolean isDataType(@NonNull CompleteClass completeClass) { + return completeClass.getPrimaryClass() instanceof DataType; + } }