diff --git a/tool/src/org/antlr/v4/misc/Utils.java b/tool/src/org/antlr/v4/misc/Utils.java index 4dd91544d..aa9835103 100644 --- a/tool/src/org/antlr/v4/misc/Utils.java +++ b/tool/src/org/antlr/v4/misc/Utils.java @@ -101,4 +101,12 @@ public class Utils { for (T t : nodes) a.add(t.getText()); return a; } + + public static List list(T... values) { + List x = new ArrayList(values.length); + for (T v : values) { + if ( v!=null ) x.add(v); + } + return x; + } }