org.sat4j.sat.visu
Class TracePainterPlus

java.lang.Object
  info.monitorenter.gui.chart.traces.painters.ATracePainter
      org.sat4j.sat.visu.TracePainterPlus

All Implemented Interfaces:

info.monitorenter.gui.chart.IPointPainter<info.monitorenter.gui.chart.traces.painters.ATracePainter>, info.monitorenter.gui.chart.ITracePainter<info.monitorenter.gui.chart.traces.painters.ATracePainter>, Serializable, Comparable<info.monitorenter.gui.chart.traces.painters.ATracePainter>

public class TracePainterPlus
extends info.monitorenter.gui.chart.traces.painters.ATracePainter

See Also:

Serialized Form

Constructor Summary

TracePainterPlus()
Creates an instance with a default plus size of 4.

TracePainterPlus(int plusSize)
Creates an instance with the given plus size.

Method Summary

void	endPaintIteration(Graphics g2d)
boolean	equals(Object obj)
int	getPlusSize() Returns the size of the plus to paint in pixel.
int	hashCode()
void	paintPoint(int absoluteX, int absoluteY, int nextX, int nextY, Graphics g, info.monitorenter.gui.chart.ITracePoint2D original)
void	setPlusSize(int plusSize) Sets the size of the plus to paint in pixel.
void	startPaintIteration(Graphics g2d)

Methods inherited from class info.monitorenter.gui.chart.traces.painters.ATracePainter

compareTo, discontinue, getPreviousPoint, getPreviousX, getPreviousY

Methods inherited from class java.lang.Object

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

Constructor Detail

TracePainterPlus

public TracePainterPlus()

Creates an instance with a default plus size of 4.

TracePainterPlus

public TracePainterPlus(int plusSize)

Creates an instance with the given plus size.

Parameters:

plusSize - the plus size in pixel to use.

Method Detail

endPaintIteration

public void endPaintIteration(Graphics g2d)

Specified by:

endPaintIteration in interface info.monitorenter.gui.chart.IPointPainter<info.monitorenter.gui.chart.traces.painters.ATracePainter>

Overrides:

endPaintIteration in class info.monitorenter.gui.chart.traces.painters.ATracePainter

See Also:

IPointPainter.endPaintIteration(java.awt.Graphics)

equals

public boolean equals(Object obj)

Overrides:

equals in class info.monitorenter.gui.chart.traces.painters.ATracePainter

See Also:

Object.equals(java.lang.Object)

getPlusSize

public int getPlusSize()

Returns the size of the plus to paint in pixel.

Returns:

the size of the plus to paint in pixel.

hashCode

public int hashCode()

Overrides:

hashCode in class info.monitorenter.gui.chart.traces.painters.ATracePainter

See Also:

Object.hashCode()

paintPoint

public void paintPoint(int absoluteX,
                       int absoluteY,
                       int nextX,
                       int nextY,
                       Graphics g,
                       info.monitorenter.gui.chart.ITracePoint2D original)

Specified by:

paintPoint in interface info.monitorenter.gui.chart.IPointPainter<info.monitorenter.gui.chart.traces.painters.ATracePainter>

Overrides:

paintPoint in class info.monitorenter.gui.chart.traces.painters.ATracePainter

See Also:

ATracePainter.paintPoint(int, int, int, int, java.awt.Graphics, info.monitorenter.gui.chart.ITracePoint2D)

setPlusSize

public void setPlusSize(int plusSize)

Sets the size of the plus to paint in pixel.

Parameters:

plusSize - the diameter of the plus to paint in pixel.

startPaintIteration

public void startPaintIteration(Graphics g2d)

Specified by:

startPaintIteration in interface info.monitorenter.gui.chart.IPointPainter<info.monitorenter.gui.chart.traces.painters.ATracePainter>

Overrides:

startPaintIteration in class info.monitorenter.gui.chart.traces.painters.ATracePainter

See Also:

ATracePainter.startPaintIteration(java.awt.Graphics)