ExplorerUIInterface.java

00001 /*
00002  *  Main authors:
00003  *     Guido Tack <tack@gecode.org>
00004  *
00005  *  Contributing authors:
00006  *     Mikael Lagerkvist <lagerkvist@gecode.org>
00007  *
00008  *  Copyright:
00009  *     Guido Tack, 2006
00010  *
00011  *  Last modified:
00012  *     $Date: 2006-02-20 10:43:09 +0100 (Mon, 20 Feb 2006) $ by $Author: tack $
00013  *     $Revision: 2982 $
00014  *
00015  *  This file is part of Gecode, the generic constraint
00016  *  development environment:
00017  *     http://www.gecode.org
00018  *
00019  *  See the file "LICENSE" for information on usage and
00020  *  redistribution of this file, and for a
00021  *     DISCLAIMER OF ALL WARRANTIES.
00022  *
00023  */
00024 
00025 package org.gecode.explorer;
00026 
00027 import org.gecode.Space;
00028 import java.io.File;
00029 
00030 public interface ExplorerUIInterface extends Inspector {
00031     public void open();
00032 
00033     public SpaceNode createRoot(Space rootSpace, boolean bab,
00034                                 Statistics stats);
00035     public void update();
00036     public void inspect(String s);
00037 
00038     public void scaleToFit();
00039     public void centerCursor();
00040 
00041     public void setCurrentNode(SpaceNode newNode);
00042 
00043     public File saveFilename();
00044     public boolean overwriteDialog();
00045 
00046     public void reportError(String msg, String title);
00047     
00048     // Methods for controlling disabling and enabling of menu entries
00049     public void menuInspectActive(boolean active, boolean isRoot, boolean isLeaf);
00050     public void menuSearchActive(boolean active);
00051     public void menuHideNodeActive(boolean active, boolean hidden);
00052     public void menuUnhideAllActive(boolean active);
00053     public void menuHideFailedActive(boolean active);
00054 
00055     public void updateEventListeners();
00056 }