GistUIInterface.java

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