org.sat4j.sat.visu
Class TracePainterCross

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

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 TracePainterCross
extends info.monitorenter.gui.chart.traces.painters.ATracePainter

See Also:

Serialized Form

Constructor Summary

TracePainterCross()
Creates an instance with a default cross size of 4.

TracePainterCross(int crossSize)
Creates an instance with the given cross size.

Method Summary

void	endPaintIteration(Graphics g2d)
boolean	equals(Object obj)
int	getCrossSize() Returns the size of the cross 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 crosses 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

TracePainterCross

public TracePainterCross()

Creates an instance with a default cross size of 4.

TracePainterCross

public TracePainterCross(int crossSize)

Creates an instance with the given cross size.

Parameters:

crossSize - the cross 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)

getCrossSize

public int getCrossSize()

Returns the size of the cross to paint in pixel.

Returns:

the size of the cross 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 crosses to paint in pixel.

Parameters:

crossSize - the size of the crosses 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)