cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska
Class AutomatonLayoutTransformer<T>

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.vyhnanovska.AutomatonLayoutTransformer<T>

All Implemented Interfaces:

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

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

Transforms State to a Point2D on which it should be plotted. Most of the code is the original code by Julie Vyhnanovska. May need some refactoring to fit our conventions.

Constructor Summary

AutomatonLayoutTransformer(int minXsize, int minYsize, int square_size, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, Automaton<T> automaton)
Constructs transformer according to specified values.

Method Summary

Dimension	getDimension() Getter for a dimension of the grid
Point2D	transform(State<T> state)

Methods inherited from class java.lang.Object

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

Constructor Detail

AutomatonLayoutTransformer

public AutomatonLayoutTransformer(int minXsize,
                                  int minYsize,
                                  int square_size,
                                  edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph,
                                  Automaton<T> automaton)

Constructs transformer according to specified values.

Parameters:

minXsize - Minimal vertical size of a grid in squares.

minYsize - Minimal horizontal size of a grid in squares.

square_size - Size of one square in the grid in pixels.

graph - Graph created from Automaton.

automaton -

Method Detail

getDimension

public Dimension getDimension()

Getter for a dimension of the grid

Returns:

Dimension of the grid in pixels.

transform

public Point2D transform(State<T> state)

Specified by:

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