cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts
Class LayoutHelperFactory

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.LayoutHelperFactory

public final class LayoutHelperFactory
extends Object

Factory of custom JUNG Layouts.

Method Summary

static <T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>

createUserLayout(Automaton<T> automaton, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer) Creates Layout which user selected in preferences.

Methods inherited from class java.lang.Object

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

Method Detail

createUserLayout

public static <T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> createUserLayout(Automaton<T> automaton,
                                                                                               org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
                                                                                    throws InterruptedException

Creates Layout which user selected in preferences.

Type Parameters:

T - Type parameter of specified automaton.

Parameters:

automaton - Automaton to create layout from.

edgeLabelTransformer - Transformer that can transform edge to string, which is displayed as its label.

Returns:

Layout by user selection.

Throws:

InterruptedException