cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers
Class VertexShapeTransformer<T>

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.transformers.VertexShapeTransformer<T>

All Implemented Interfaces:

org.apache.commons.collections15.Transformer<State<T>,Shape>

public class VertexShapeTransformer<T>
extends Object
implements org.apache.commons.collections15.Transformer<State<T>,Shape>

Transformer for vertex node shape. Transformation is performed according to values set in AutoEditor options.

Field Summary

static int

NODE_SIZE Default size of a node.

Constructor Summary

VertexShapeTransformer()
Constructor for automaton without any superinitial and superfinal states.

VertexShapeTransformer(State<T> initialState, State<T> finalState)
Constructor for automaton with superinitial and superfinal states.

Method Summary

Shape

transform(State<T> state)

Methods inherited from class java.lang.Object

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

Field Detail

NODE_SIZE

public static final int NODE_SIZE

Default size of a node.

See Also:

Constant Field Values

Constructor Detail

VertexShapeTransformer

public VertexShapeTransformer()

Constructor for automaton without any superinitial and superfinal states.

VertexShapeTransformer

public VertexShapeTransformer(State<T> initialState,
                              State<T> finalState)

Constructor for automaton with superinitial and superfinal states.

Method Detail

transform

public Shape transform(State<T> state)

Specified by:

transform in interface org.apache.commons.collections15.Transformer<State<T>,Shape>