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 interfaceOwlModule.AutomatonTransformerDerived transformer that casts the argument to anAutomatonand optionally converts the acceptance condition if possible.static interfaceOwlModule.Constructor<M>static interfaceOwlModule.InputReaderInput readers are tasked with providing input to the processing pipeline.static interfaceOwlModule.Instancestatic interfaceOwlModule.LabelledFormulaTransformerstatic interfaceOwlModule.OutputWriterThe final piece of every pipeline, formatting the produced results and writing them on some output.static interfaceOwlModule.TransformerTransformers 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 Stringdescription()abstract Stringkey()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.Optionsoptions()
-
-
-
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)
-
-