001 /*
002 * $URL: file:///mit/6.170/groups/se64/repository/trunk/gizmoball/BoardView.java $
003 * $Id: BoardView.java 501 2007-05-13 06:59:52Z eefi $
004 */
005
006 package gizmoball;
007
008
009 /**
010 * Manager of the display of a <code>Board</code>.
011 * <code>BoardView</code> manages all the <code>GizmoView</code>s
012 * necessary to display a <code>Board</code> to the user as well as the
013 * user-visible element in which the <code>Board</code> is rendered.
014 * <p>
015 * <code>BoardView</code> extends <code>BoardObserver</code> so that it
016 * may be notified of changes to the <code>Board</code> that it is in
017 * charge of displaying.
018 *
019 * @specfield board : <code>Board</code>
020 * the <code>Board</code> that this <code>BoardView</code> is in
021 * charge of displaying
022 */
023 public interface BoardView extends BoardObserver {
024
025 /**
026 * Interface revision identifier. <code>rcsid</code> contains an RCS
027 * Id keyword string that may be used to identify which revision of
028 * <code>BoardView.java</code> was used to generate an instance of
029 * <code>BoardView.class</code>. To identify the revision of a
030 * <code>BoardView.class</code> file, run "<code>ident
031 * BoardView.class</code>" (<code>ident</code> is part of the <a
032 * href="http://www.cs.purdue.edu/homes/trinkle/RCS/">RCS</a>
033 * software package).
034 */
035 String rcsid = "$Id: BoardView.java 501 2007-05-13 06:59:52Z eefi $";
036
037
038 /**
039 * Redraws the display of the <code>Board</code>. This method
040 * updates the display so that the user sees an up-to-date
041 * representation of the <code>Board</code> this
042 * <code>BoardView</code> is displaying.
043 */
044 void redraw();
045 }
046
047
048
049 /*
050 Indentation spec for emacs:
051 Local Variables:
052 c-basic-offset:4
053 End:
054 */