remove unnecessary annotations to calculate evalution numbers.

[IRC.git] / Robust / src / Benchmarks / SSJava / MP3Decoder / Control.java

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/Control.java b/Robust/src/Benchmarks/SSJava/MP3Decoder/Control.java
index c677b5fd1abf5dcd6d323a978e38635a8ae4fc91..5c5b0eb5759dcd60ef942f9ca9fe4073951220dc 100644 (file)
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/Control.java
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/Control.java
@@ -1,55 +1,55 @@
-/*\r
- * 11/19/04            1.0 moved to LGPL. \r
- *-----------------------------------------------------------------------\r
- *   This program is free software; you can redistribute it and/or modify\r
- *   it under the terms of the GNU Library General Public License as published\r
- *   by the Free Software Foundation; either version 2 of the License, or\r
- *   (at your option) any later version.\r
- *\r
- *   This program is distributed in the hope that it will be useful,\r
- *   but WITHOUT ANY WARRANTY; without even the implied warranty of\r
- *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\r
- *   GNU Library General Public License for more details.\r
- *\r
- *   You should have received a copy of the GNU Library General Public\r
- *   License along with this program; if not, write to the Free Software\r
- *   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.\r
- *----------------------------------------------------------------------\r
- */\r
-\r
-/**\r
- * Work in progress.\r
- */\r
-\r
-public interface Control\r
-{\r
-       \r
-       /**\r
-        * Starts playback of the media presented by this control.\r
-        */\r
-       public void start();\r
-       \r
-       /**\r
-        * Stops playback of the media presented by this control.\r
-        */\r
-       public void stop();\r
-       \r
-       public boolean isPlaying();\r
-       \r
-       public void pause();\r
-               \r
-       \r
-       public boolean isRandomAccess();\r
-       \r
-       /**\r
-        * Retrieves the current position.\r
-        */\r
-       public double   getPosition();\r
-       \r
-       /**\r
-        * \r
-        */\r
-       public void             setPosition(double d);\r
-       \r
-       \r
-}\r
+/*
+ * 11/19/04            1.0 moved to LGPL. 
+ *-----------------------------------------------------------------------
+ *   This program is free software; you can redistribute it and/or modify
+ *   it under the terms of the GNU Library General Public License as published
+ *   by the Free Software Foundation; either version 2 of the License, or
+ *   (at your option) any later version.
+ *
+ *   This program is distributed in the hope that it will be useful,
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *   GNU Library General Public License for more details.
+ *
+ *   You should have received a copy of the GNU Library General Public
+ *   License along with this program; if not, write to the Free Software
+ *   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+ *----------------------------------------------------------------------
+ */
+
+/**
+ * Work in progress.
+ */
+
+public interface Control
+{
+       
+       /**
+        * Starts playback of the media presented by this control.
+        */
+       public void start();
+       
+       /**
+        * Stops playback of the media presented by this control.
+        */
+       public void stop();
+       
+       public boolean isPlaying();
+       
+       public void pause();
+               
+       
+       public boolean isRandomAccess();
+       
+       /**
+        * Retrieves the current position.
+        */
+       public double   getPosition();
+       
+       /**
+        * 
+        */
+       public void             setPosition(double d);
+       
+       
+}