slime.editor
Class SFCPainter

java.lang.Object
  extended byslime.editor.SFCPainter

public final class SFCPainter
extends java.lang.Object

An object of this class is used to paint a sfc on an Graphics object.

Status: about 80% complete
Known bugs: parallel branches are not shown correctly, some more trouble with steps with more than one transition

Version:
$Id: SFCPainter.java,v 1.13 2002/07/09 23:37:24 swprakt Exp $
Author:
Andreas Niemann

Field Summary
protected static int ACTION_GAP
           
 
Constructor Summary
protected SFCPainter(ESFC eSFC)
          Constructs a painter for the given ESFC.
 
Method Summary
protected  void paintSFC(java.awt.Graphics g)
          Paints the sfc on the given Graphics object.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ACTION_GAP

protected static final int ACTION_GAP
See Also:
Constant Field Values
Constructor Detail

SFCPainter

protected SFCPainter(ESFC eSFC)
Constructs a painter for the given ESFC.

Method Detail

paintSFC

protected void paintSFC(java.awt.Graphics g)
Paints the sfc on the given Graphics object.