(List<WhileyFile> sourceFiles)
| 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. |
nothing calls this directly
no test coverage detected