org.argkit.dung.swing
Class JungDungEngineWriter<C>

java.lang.Object
  org.argkit.dung.swing.JungDungEngineWriter<C>

Type Parameters:

C - (Argument's) claim class

All Implemented Interfaces:

ReasonerWriter<C>

Direct Known Subclasses:

JungJustificationWriter

public class JungDungEngineWriter<C>
extends java.lang.Object
implements ReasonerWriter<C>

A writer that's used to draw the marked up defeat networks that are available from a dungine instance.

Author:

Matt South

Nested Class Summary

static class

JungDungEngineWriter.Layouts Available layouts for the JungGraphWriter's viewer.

Field Summary

protected edu.uci.ics.jung.graph.Graph	g
protected java.util.Map<Argument<C>,ArgumentVertex<C>>	index
protected edu.uci.ics.jung.visualization.VisualizationViewer	vv

Constructor Summary

JungDungEngineWriter(edu.uci.ics.jung.visualization.VisualizationViewer viewer)

Method Summary

edu.uci.ics.jung.visualization.VisualizationViewer	getViewer() Get viewer for embedding in a Jung graph panel.
static edu.uci.ics.jung.visualization.VisualizationViewer	makeViewer() Factory for generating an empty, KKLAYOUT visualization viewer that can be used to make a jung graph writer.
static edu.uci.ics.jung.visualization.VisualizationViewer	makeViewer(JungDungEngineWriter.Layouts layoutController) Factory for generating an empty visualization viewer that can be used to make a jung graph writer.
void	write(Argument<C> argument)
void	write(Branch<C> pair)
void	write(Dialogue<C> proof)
void	write(Dungine<C> engine) Use this method to write the annotated defeat network available from a dungine instance.
void	write(Query<C> query)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

vv

protected edu.uci.ics.jung.visualization.VisualizationViewer vv

g

protected edu.uci.ics.jung.graph.Graph g

index

protected java.util.Map<Argument<C>,ArgumentVertex<C>> index

Constructor Detail

JungDungEngineWriter

public JungDungEngineWriter(edu.uci.ics.jung.visualization.VisualizationViewer viewer)

Method Detail

getViewer

public edu.uci.ics.jung.visualization.VisualizationViewer getViewer()

Get viewer for embedding in a Jung graph panel.

Returns:

VisualizationViewer for this graph

makeViewer

public static edu.uci.ics.jung.visualization.VisualizationViewer makeViewer()

Factory for generating an empty, KKLAYOUT visualization viewer that can be used to make a jung graph writer.

Returns:

empty VisualizationViewer.

makeViewer

public static edu.uci.ics.jung.visualization.VisualizationViewer makeViewer(JungDungEngineWriter.Layouts layoutController)

Factory for generating an empty visualization viewer that can be used to make a jung graph writer.

Returns:

empty VisualizationViewer.

write

public void write(Argument<C> argument)

write

public void write(Query<C> query)

Specified by:

write in interface ReasonerWriter<C>

write

public void write(Branch<C> pair)

Specified by:

write in interface ReasonerWriter<C>

write

public void write(Dialogue<C> proof)

Specified by:

write in interface ReasonerWriter<C>

write

public void write(Dungine<C> engine)

Use this method to write the annotated defeat network available from a dungine instance.

Specified by:

write in interface ReasonerWriter<C>