diff options
author | Ed Willink | 2017-04-11 10:17:45 +0000 |
---|---|---|
committer | Ed Willink | 2017-04-22 10:07:22 +0000 |
commit | 25f74952d47418cea39e1b90169fdffe3ac38659 (patch) | |
tree | 8b271300ebb0c50253ff57842b8dac7f95dbd0ea | |
parent | 06d900ba1fd809f4e1ccce2d4fa7bf6b922444d4 (diff) | |
download | org.eclipse.ocl-25f74952d47418cea39e1b90169fdffe3ac38659.tar.gz org.eclipse.ocl-25f74952d47418cea39e1b90169fdffe3ac38659.tar.xz org.eclipse.ocl-25f74952d47418cea39e1b90169fdffe3ac38659.zip |
[unrelated] @NonNull correction
-rw-r--r-- | plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java index 1bb441ef44..55bc221112 100644 --- a/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java +++ b/plugins/org.eclipse.ocl.pivot/src/org/eclipse/ocl/pivot/internal/utilities/PivotUtilInternal.java @@ -510,7 +510,7 @@ public class PivotUtilInternal //extends PivotUtil /** * @since 1.3 */ - public static @Nullable List<@NonNull Property> getOwnedPropertiesList(org.eclipse.ocl.pivot.@NonNull Class asClass) { + public static @NonNull List<@NonNull Property> getOwnedPropertiesList(org.eclipse.ocl.pivot.@NonNull Class asClass) { return ClassUtil.nullFree(asClass.getOwnedProperties()); } |