| Package | Description |
|---|---|
| org.corpus_tools.pepper.common | |
| org.corpus_tools.pepper.core |
| Modifier and Type | Method and Description |
|---|---|
PepperJob |
Pepper.getJob(String id)
Returns a
PepperJob corresponding to the passed id. |
boolean |
Pepper.removeJob(String id)
Removes the
PepperJob corresponding to the passed identifier, if
a job exists. |
| Modifier and Type | Method and Description |
|---|---|
PepperJob |
PepperImpl.getJob(String id) |
File |
PepperImpl.getLocation(String id)
Returns the location of a job.
|
PepperJobImpl |
PepperImpl.getPepperJobImpl(String id) |
boolean |
PepperImpl.removeJob(String id) |
Copyright © 2009–2019 Humboldt-Universität zu Berlin, INRIA. All rights reserved.