org.processmining.plugins.petra.plugin.gui

Class GUIAuxiliary

java.lang.Object

org.processmining.plugins.petra.plugin.gui.GUIAuxiliary

public class GUIAuxiliary
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
GUIAuxiliary()

Method Summary

Modifier and Type	Method and Description
static void	placeOnContainer(java.awt.Container container, java.awt.Component comp, int x, int y)
static void	setLayout(java.awt.Container container, int nrColumns, int nrRows, int width, int height)

Methods inherited from class java.lang.Object

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

Constructor Detail

GUIAuxiliary

public GUIAuxiliary()

Method Detail

setLayout

public static void setLayout(java.awt.Container container,
                             int nrColumns,
                             int nrRows,
                             int width,
                             int height)

placeOnContainer

public static void placeOnContainer(java.awt.Container container,
                                    java.awt.Component comp,
                                    int x,
                                    int y)