public class Env extends Object implements Representable
| Modifier and Type | Class and Description |
|---|---|
static class |
Env.ObjInputStream
Поток для загрузки данных, предоставляющий доступ к окружению,
в пределах которого выполняется загрузка.
|
| Constructor and Description |
|---|
Env()
Создает окружение с настройками по умолчанию.
|
Env(String configFile)
Создает окружение с настройками, которые читаются из файла конфигурации.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addDataset(String name,
String filename)
Добавляет соответствие между именем выборки и файлом.
|
void |
debug(int level,
String message)
Печатает отладочное сообщение в стандартный вывод
System.out. |
void |
debugInline(int level,
String message)
Печатает короткое отладочное сообщение в стандартный вывод
System.out. |
int |
debugLevel()
Возвращает уровень отладки, влияющий на детальность выводимой информации.
|
void |
error(int level,
String message)
Печатает отладочное сообщение в стандартный поток ошибок
System.err. |
void |
exception(Exception e)
Уведомляет о возникновении исключительной ситуации.
|
ExecutorService |
executor()
Пул вычислительных потоков, который может использоваться для параллельных вычислений.
|
void |
finalize() |
static BufferedReader |
getReader(String filename)
Создает автомат для чтения из текстового файла с буфером.
|
static BufferedWriter |
getWriter(String filename)
Создает автомат для записи в текстовый файл с буфером.
|
boolean |
interruptedByError()
Было ли выполнение текущего задания прервано из-за ошибки?
|
boolean |
interruptedByUser()
Было ли выполнение текущего задания прервано пользователем (напр.,
с помощью нажатия
^C)? |
<T extends Serializable> |
load(String filename)
Считывает сериализуемый объект из двоичного файла, в который тот был сохранен
методом
save(Serializable, String). |
SequenceSet |
loadSet(String datasetName)
Заргужает именованную выборку.
|
protected void |
processProperty(String key,
String value)
Обрабатывает опцию из файла конфигурации.
|
String |
repr()
Возвращает более или менее детализированное текстовое представление объекта.
|
BufferedReader |
resolveDataset(String name)
Возвращает автомат для чтения указанной именованной выборки.
|
void |
run(Launchable task)
Запускает задание.
|
void |
run(Launchable task,
String saveFile)
Запускает задание с сохранением результатов выполнения в файл.
|
void |
save(Serializable obj,
String filename)
Записывает сериализуемый объект в двоичный файл.
|
String |
saveProgress()
Сохраняет данные текущего задания в файл, заданный при вызове метода
run(Launchable, String). |
void |
setDebugLevel(int level)
Устанавливает уровень отладки.
|
void |
setEncoding(String encoding)
Устанавливает кодировку выходных потоков.
|
void |
setLocale(String locale)
Устанавливает локаль.
|
void |
setThreadCount(int threadCount)
Устанавливает количество потоков выполнения.
|
int |
threadCount()
Возвращает количество вычислительных потоков при параллельных
вычислениях, задаваемое соответствующей переменной окружения.
|
public Env()
public Env(String configFile) throws IOException
Properties.
Определенные настройки:
Остальные настройки воспринимаются как соответствие между названиями выборок и файлами, в которых хранятся выборки, например
Путь к файлу выборки указывается относительно пути к файлу конфигурации.elegans = path/to/file/elegans.gz
configFile - имя файла конфигурацииIOException - при ошибке чтения из файлаpublic static BufferedReader getReader(String filename) throws IOException
filename - имя файлаIOException - если во время создания автомата произошла ошибка (например, файла не существует)public static BufferedWriter getWriter(String filename) throws IOException
filename - имя файлаIOException - если во время создания автомата произошла ошибкаprotected void processProperty(String key, String value)
key - имя опцииvalue - значение опцииpublic boolean interruptedByUser()
^C)?true, если выполнение прервано пользователемpublic boolean interruptedByError()
true, если выполнение прервано из-за ошибкиpublic int debugLevel()
0 соответстует выводу только наиболее важных сведений;
значения меньше нуля подавляют весь вывод; значения больше нуля увеличивают
объем информации для вывода.public void setDebugLevel(int level)
level - новый уровень отладкиpublic void setLocale(String locale)
locale - текстовое представление локали, например, 'en_US'public void setEncoding(String encoding)
encoding - текстовое представление кодировки, например 'UTF-8'public void setThreadCount(int threadCount)
threadCount - количество потоков или отрицательное число для автоматического выбораpublic void addDataset(String name, String filename)
name - имя выборкиfilename - имя файла, содержащего данные выборкиpublic void exception(Exception e) throws RuntimeException
e - объект исключенияRuntimeException - вызывается гарантированноpublic BufferedReader resolveDataset(String name) throws IOException
name - имя выборкиIOException - если при создании автомата возникла ошибка ввода/выводаpublic void debug(int level,
String message)
System.out.level - минимальный уровень отладки, необходимый чтобы напечатать сообщениеmessage - печатаемое сообщениеpublic void error(int level,
String message)
System.err.level - минимальный уровень отладки, необходимый чтобы напечатать сообщениеmessage - печатаемое сообщениеpublic void debugInline(int level,
String message)
System.out.
В отличие от метода debug(int, String), после вывода сообщения
не ставится символ переноса строки '\n'.level - минимальный уровень отладки, необходимый чтобы напечатать сообщениеmessage - печатаемое сообщениеpublic int threadCount()
public ExecutorService executor()
threadCount().public void run(Launchable task)
task - заданиеpublic void run(Launchable task, String saveFile)
task - заданиеsaveFile - файл, в который сохраняются результаты выполненияpublic SequenceSet loadSet(String datasetName) throws IOException
datasetName - имя выборки, которую нужно загрузитьIOException - при ошибке ввода/выводаpublic <T extends Serializable> T load(String filename) throws IOException
save(Serializable, String).filename - имя файлаIOException - если во время чтения произошла ошибка ввода/вывода; в том числе, если не найден один
из классов сериализованных объектовpublic void save(Serializable obj, String filename) throws IOException
obj - объект, который надо записатьfilename - имя файла, в который производится записьIOException - в случае ошибки ввода/вывода во время записиpublic String saveProgress()
run(Launchable, String).
Эта имплементация метода дополнительно пытается перед сохранением скопировать предыдущее
сохранение в файл, имя которого получается добавлением к исходному имени
тильды '~' (например, test.run~ для test.run).
public String repr()
RepresentableObject.toString(), подразумевается,
что представление занимает одну или более полных строк.repr in interface Representable