diff options
Diffstat (limited to 'src/main/java/org/shedlang/compiler/util')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/util/P.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/main/java/org/shedlang/compiler/util/P.java b/src/main/java/org/shedlang/compiler/util/P.java index 7ce8232c..a09d7940 100644 --- a/src/main/java/org/shedlang/compiler/util/P.java +++ b/src/main/java/org/shedlang/compiler/util/P.java @@ -2,7 +2,10 @@ package org.shedlang.compiler.util; import org.pcollections.HashTreePMap; import org.pcollections.PMap; +import org.pcollections.PVector; +import org.pcollections.TreePVector; +import java.util.Arrays; import java.util.Map; public class P { @@ -17,4 +20,9 @@ public class P { } return map; } + + @SafeVarargs + public static <T> PVector<T> vector(T... values) { + return TreePVector.from(Arrays.asList(values)); + } } |
