remove unnecessary annotations to calculate evalution numbers.
[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / Control.java
1 /*
2  * 11/19/04             1.0 moved to LGPL. 
3  *-----------------------------------------------------------------------
4  *   This program is free software; you can redistribute it and/or modify
5  *   it under the terms of the GNU Library General Public License as published
6  *   by the Free Software Foundation; either version 2 of the License, or
7  *   (at your option) any later version.
8  *
9  *   This program is distributed in the hope that it will be useful,
10  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
11  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12  *   GNU Library General Public License for more details.
13  *
14  *   You should have received a copy of the GNU Library General Public
15  *   License along with this program; if not, write to the Free Software
16  *   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
17  *----------------------------------------------------------------------
18  */
19
20 /**
21  * Work in progress.
22  */
23
24 public interface Control
25 {
26         
27         /**
28          * Starts playback of the media presented by this control.
29          */
30         public void start();
31         
32         /**
33          * Stops playback of the media presented by this control.
34          */
35         public void stop();
36         
37         public boolean isPlaying();
38         
39         public void pause();
40                 
41         
42         public boolean isRandomAccess();
43         
44         /**
45          * Retrieves the current position.
46          */
47         public double   getPosition();
48         
49         /**
50          * 
51          */
52         public void             setPosition(double d);
53         
54         
55 }