From e0a6fd97c812f19c3b82b467b0670d2f067bc1f8 Mon Sep 17 00:00:00 2001 From: Rishi Vijayvargiya Date: Mon, 3 Feb 2025 22:01:09 +0100 Subject: [PATCH 1/2] refactor: adding SuppressWarning annotation to checkElementIsContained func --- src/main/java/spoon/ContractVerifier.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/main/java/spoon/ContractVerifier.java b/src/main/java/spoon/ContractVerifier.java index 5a975d9e2e2..60b62996722 100644 --- a/src/main/java/spoon/ContractVerifier.java +++ b/src/main/java/spoon/ContractVerifier.java @@ -548,6 +548,7 @@ public void checkElementToPathToElementEquivalence() { } /** contract: element is contained in attribute of element's parent */ + @SuppressWarnings("unchecked") public void checkElementIsContainedInAttributeOfItsParent() { _rootPackage.accept(new CtScanner() { @Override From 05c86e22692c99c8bee7d195a906445fc6a6132d Mon Sep 17 00:00:00 2001 From: Rishi Vijayvargiya Date: Thu, 6 Feb 2025 16:37:37 +0100 Subject: [PATCH 2/2] refactor: au revoir, suppress-warning --- src/main/java/spoon/ContractVerifier.java | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/main/java/spoon/ContractVerifier.java b/src/main/java/spoon/ContractVerifier.java index 60b62996722..7c4682f11bb 100644 --- a/src/main/java/spoon/ContractVerifier.java +++ b/src/main/java/spoon/ContractVerifier.java @@ -548,7 +548,6 @@ public void checkElementToPathToElementEquivalence() { } /** contract: element is contained in attribute of element's parent */ - @SuppressWarnings("unchecked") public void checkElementIsContainedInAttributeOfItsParent() { _rootPackage.accept(new CtScanner() { @Override @@ -565,12 +564,12 @@ public void scan(CtRole role, CtElement element) { assertTrue("Element of type " + element.getClass().getName() + " not found in Collection value of attribute of role " + role.name() + " of parent type " + parent.getClass().getName(), - ((Collection) attributeOfParent).stream().anyMatch(e -> e == element)); + ((Collection) attributeOfParent).stream().anyMatch(e -> e == element)); } else if (attributeOfParent instanceof Map) { assertTrue("Element of type " + element.getClass().getName() + " not found in Map#values of attribute of role " + role.name() + " of parent type " + parent.getClass().getName(), - ((Map) attributeOfParent).values().stream().anyMatch(e -> e == element)); + ((Map) attributeOfParent).values().stream().anyMatch(e -> e == element)); } else { fail("Attribute of Role " + role + " not checked"); }