Package owl.run.modules
Class OutputWriters.AutomatonStats
- java.lang.Object
-
- owl.run.modules.OutputWriters.AutomatonStats
-
- All Implemented Interfaces:
OwlModule.Instance
,OwlModule.OutputWriter
- Enclosing class:
- OutputWriters
public static class OutputWriters.AutomatonStats extends Object implements OwlModule.OutputWriter
-
-
Constructor Summary
Constructors Constructor Description AutomatonStats(String formatString)
-
-
-
Constructor Detail
-
AutomatonStats
public AutomatonStats(String formatString)
-
-
Method Detail
-
write
public void write(Writer writer, Object object) throws IOException
- Specified by:
write
in interfaceOwlModule.OutputWriter
- Throws:
IOException
-
-