Package owl.run.modules
Class OwlModule<M extends OwlModule.Instance>
- java.lang.Object
-
- owl.run.modules.OwlModule<M>
-
public abstract class OwlModule<M extends OwlModule.Instance> extends Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static interface
OwlModule.AutomatonTransformer
Derived transformer that casts the argument to anAutomaton
and optionally converts the acceptance condition if possible.static interface
OwlModule.Constructor<M>
static interface
OwlModule.InputReader
Input readers are tasked with providing input to the processing pipeline.static interface
OwlModule.Instance
static interface
OwlModule.LabelledFormulaTransformer
static interface
OwlModule.OutputWriter
The final piece of every pipeline, formatting the produced results and writing them on some output.static interface
OwlModule.Transformer
Transformers are the central pieces of the pipeline concept.
-
Constructor Summary
Constructors Constructor Description OwlModule()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract OwlModule.Constructor<M>
constructor()
abstract String
description()
abstract String
key()
static <M extends OwlModule.Instance>
OwlModule<M>of(String key, String description, Supplier<org.apache.commons.cli.Options> supplier, OwlModule.Constructor<M> constructor)
static <M extends OwlModule.Instance>
OwlModule<M>of(String key, String description, org.apache.commons.cli.Option option, OwlModule.Constructor<M> constructor)
static <M extends OwlModule.Instance>
OwlModule<M>of(String key, String description, org.apache.commons.cli.Options options, OwlModule.Constructor<M> constructor)
static <M extends OwlModule.Instance>
OwlModule<M>of(String key, String description, OwlModule.Constructor<M> constructor)
abstract org.apache.commons.cli.Options
options()
-
-
-
Method Detail
-
key
public abstract String key()
-
description
public abstract String description()
-
options
public abstract org.apache.commons.cli.Options options()
-
constructor
public abstract OwlModule.Constructor<M> constructor()
-
of
public static <M extends OwlModule.Instance> OwlModule<M> of(String key, String description, OwlModule.Constructor<M> constructor)
-
of
public static <M extends OwlModule.Instance> OwlModule<M> of(String key, String description, Supplier<org.apache.commons.cli.Options> supplier, OwlModule.Constructor<M> constructor)
-
of
public static <M extends OwlModule.Instance> OwlModule<M> of(String key, String description, org.apache.commons.cli.Option option, OwlModule.Constructor<M> constructor)
-
of
public static <M extends OwlModule.Instance> OwlModule<M> of(String key, String description, org.apache.commons.cli.Options options, OwlModule.Constructor<M> constructor)
-
-