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

Method WyilFile

src/main/java/wyil/lang/WyilFile.java:239–245  ·  view source on GitHub ↗
(List<WhileyFile> sourceFiles)

Source from the content-addressed store, hash-verified

237 private final int minorVersion;
238
239 public WyilFile(List<WhileyFile> sourceFiles) {
240 super();
241 Schema schema = WyilFile.getSchema();
242 this.sourceFiles = new ArrayList<>(sourceFiles);
243 this.majorVersion = schema.getMajorVersion();
244 this.minorVersion = schema.getMinorVersion();
245 }
246
247 /**
248 * Copy constructor which creates an identical WyilFile.

Callers

nothing calls this directly

Calls 15

getSchemaMethod · 0.95
getMajorVersionMethod · 0.95
getMinorVersionMethod · 0.95
sizeMethod · 0.65
getSyntacticItemMethod · 0.65
getDescriptorMethod · 0.65
getOpcodeMethod · 0.65
getDataMethod · 0.65
addMethod · 0.65
allocateMethod · 0.65
getMethod · 0.65
getIndexMethod · 0.65

Tested by

no test coverage detected