org.kahina.logic.sat.freemuc.gui

Class FreeMUCWindowManager

java.lang.Object

org.kahina.core.gui.KahinaWindowManager

org.kahina.logic.sat.freemuc.gui.FreeMUCWindowManager

All Implemented Interfaces:

KahinaListener

public class FreeMUCWindowManager
extends KahinaWindowManager

Field Summary

Fields inherited from class org.kahina.core.gui.KahinaWindowManager

kahina, mainWindow

Constructor Summary

Constructors

Constructor and Description
FreeMUCWindowManager(KahinaInstance<?,?,?,?> kahina)

Method Summary

Methods

Modifier and Type	Method and Description
protected KahinaMainWindow	createMainWindow(KahinaWindowManager kahinaWindowManager, int winID)
protected KahinaMainWindow	createMainWindow(KahinaWindowManager windowManager, MUCInstance kahina)

Methods inherited from class org.kahina.core.gui.KahinaWindowManager

createMainWindow, createWindows, displayWindows, disposeAllWindows, getArrangement, getKahina, getPerspective, getWindowByID, integrateInDefaultWindow, integrateInHorizontallySplitWindow, integrateInVerticallySplitWindow, isTopLevelWindow, processEvent, registerWindow, setAndApplyPerspective, setPerspective

Methods inherited from class java.lang.Object

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

Constructor Detail

FreeMUCWindowManager

public FreeMUCWindowManager(KahinaInstance<?,?,?,?> kahina)

Method Detail

createMainWindow

protected KahinaMainWindow createMainWindow(KahinaWindowManager windowManager,
                                MUCInstance kahina)

createMainWindow

protected KahinaMainWindow createMainWindow(KahinaWindowManager kahinaWindowManager,
                                int winID)

Overrides:

createMainWindow in class KahinaWindowManager