Creates a Zone from the records in the specified master file. @param zone The name of the zone. @param file The master file to read from. @see Master
(Name zone, String file)
| 131 | * @see Master |
| 132 | */ |
| 133 | public |
| 134 | Zone(Name zone, String file) throws IOException { |
| 135 | data = new TreeMap(); |
| 136 | |
| 137 | if (zone == null) |
| 138 | throw new IllegalArgumentException("no zone name specified"); |
| 139 | Master m = new Master(file, zone); |
| 140 | Record record; |
| 141 | |
| 142 | origin = zone; |
| 143 | while ((record = m.nextRecord()) != null) |
| 144 | maybeAddRecord(record); |
| 145 | validate(); |
| 146 | } |
| 147 | |
| 148 | /** |
| 149 | * Creates a Zone from an array of records. |
nothing calls this directly
no test coverage detected