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

Method create

src/main/java/wyil/lang/WyilFile.java:6164–6166  ·  view source on GitHub ↗
(WyilFile.Tuple<Type> types)

Source from the content-addressed store, hash-verified

6162 */
6163 public static class Union extends AbstractType implements Type {
6164 public static Type create(WyilFile.Tuple<Type> types) {
6165 return create(types.toArray(Type.class));
6166 }
6167 /**
6168 * Create a sequence of zero or more types.
6169 *

Callers 1

substituteMethod · 0.95

Calls 5

removeAllMethod · 0.95
removeDuplicatesMethod · 0.95
sizeMethod · 0.65
getAllMethod · 0.65
toArrayMethod · 0.45

Tested by

no test coverage detected