From c522344f67f2e07e4d88dc11d8ad2afb13467926 Mon Sep 17 00:00:00 2001 From: Ben Liblit Date: Tue, 28 Mar 2017 17:25:53 -0500 Subject: [PATCH] Suppress 14 Eclipse warnings about discouraged access to restricted APIs Based on what this code seems to be doing, there's really no officially-sanctioned alternative to the APIs we're using here. --- com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java | 1 + 1 file changed, 1 insertion(+) diff --git a/com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java b/com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java index 324f597cb..540e1fc8c 100644 --- a/com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java +++ b/com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JsdtUtil.java @@ -59,6 +59,7 @@ import com.ibm.wala.util.functions.Function; import com.ibm.wala.util.graph.Graph; import com.ibm.wala.util.graph.impl.SlowSparseNumberedGraph; +@SuppressWarnings("restriction") public class JsdtUtil { public static URL getPrologueFile(String file, Plugin plugin) {