public class Dumper
extends java.lang.Object
Constructor and Description |
---|
Dumper() |
Modifier and Type | Method and Description |
---|---|
static void |
dumpInfo(Enricher enr) |
static void |
dumpInfo(Enricher enr,
java.io.Writer out) |
static void |
dumpInfo(Entity e) |
static void |
dumpInfo(Entity e,
java.io.Writer out) |
static void |
dumpInfo(java.lang.Iterable<? extends Entity> entities) |
static void |
dumpInfo(Location loc) |
static void |
dumpInfo(Location loc,
java.io.Writer out) |
static void |
dumpInfo(Policy pol) |
static void |
dumpInfo(Policy pol,
java.io.Writer out) |
static void |
dumpInfo(Task<?> t) |
static void |
dumpInfo(Task<?> t,
java.io.Writer out) |
public static void dumpInfo(java.lang.Iterable<? extends Entity> entities)
public static void dumpInfo(Entity e)
public static void dumpInfo(Entity e, java.io.Writer out) throws java.io.IOException
java.io.IOException
public static void dumpInfo(Location loc)
public static void dumpInfo(Location loc, java.io.Writer out) throws java.io.IOException
java.io.IOException
public static void dumpInfo(Enricher enr)
public static void dumpInfo(Enricher enr, java.io.Writer out) throws java.io.IOException
java.io.IOException
public static void dumpInfo(Policy pol)
public static void dumpInfo(Policy pol, java.io.Writer out) throws java.io.IOException
java.io.IOException
public static void dumpInfo(Task<?> t)
public static void dumpInfo(Task<?> t, java.io.Writer out) throws java.io.IOException
java.io.IOException