MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / append

Method append

src/main/java/wycc/util/ArrayUtils.java:62–66  ·  view source on GitHub ↗

Append two arrays of boolean type together, producing a fresh array whose length equals that of the first and second added together. @param lhs The left-hand side. Elements of this array will be copied first into the resulting array. @param rhs The right-hand side.

(boolean[] lhs, boolean[] rhs)

Source from the content-addressed store, hash-verified

60 * @return
61 */
62 public static boolean[] append(boolean[] lhs, boolean[] rhs) {
63 boolean[] rs = java.util.Arrays.copyOf(lhs, lhs.length + rhs.length);
64 System.arraycopy(rhs, 0, rs, lhs.length, rhs.length);
65 return rs;
66 }
67
68 /**
69 * Append an integer item to the front of an array of integer type together,

Callers 10

toNameMethod · 0.95
NamedMethod · 0.95
CallableMethod · 0.95
FunctionOrMethodMethod · 0.95
AbstractExprMethod · 0.95
toStackFrameMethod · 0.95
leastUpperBoundMethod · 0.95
intersectMethod · 0.95
instantiateChecksMethod · 0.95
checkMethod · 0.95

Calls

no outgoing calls

Tested by

no test coverage detected