public final class RecordSet extends Object
Constructor and Description |
---|
RecordSet(Iterable<? extends Record> records) |
RecordSet(Reader reader) |
Modifier and Type | Method and Description |
---|---|
Record |
getRecord(String recordName,
String key,
String value) |
List<Record> |
getRecords() |
List<Record> |
getRecords(String recordName) |
String |
getRecordValue(String recordName,
String defaultValue) |
static void |
main(String[] args) |
static BufferedReader |
read(File mpqaFile) |
static RecordSet |
readFromFile(File file) |
public static final RecordSet EMPTY
public RecordSet(Reader reader) throws IOException
IOException
public static RecordSet readFromFile(@Nullable File file) throws IOException
IOException
public static BufferedReader read(File mpqaFile) throws IOException
IOException
public static void main(String[] args) throws IOException
IOException
Copyright © 2016–2020 FBK. All rights reserved.