Colin Gordon avatar Colin Gordon committed 17f3dd4 Draft

making progress

Comments (0)

Files changed (5)

logviewer/analyze.sh

 JAVAFILES=`find . -name "*.java"`
 #echo $JAVAFILES
 
-if [ -e $CHECKER ];
-then
-    find . -name '*.java' | xargs $COMMAND;
-else
+#if [ -e $CHECKER ];
+#then
+#    find . -name '*.java' | xargs $COMMAND;
+#else
     pushd ~/research/guitypes/checker && ant dist && popd && find . -name '*.java' | xargs $COMMAND;
-fi
+#fi
 
 
 #

logviewer/de.anbos.eclipse.logviewer.plugin/src/de/anbos/eclipse/logviewer/plugin/LogViewer.java

  * See the License for the specific language governing permissions
  * and limitations under the License.
  */
-
+import guitypes.checkers.quals.*;
+@UIType
 public class LogViewer extends ViewPart {
 
     // Attribute ---------------------------------------------------------------

logviewer/de.anbos.eclipse.logviewer.plugin/src/de/anbos/eclipse/logviewer/plugin/LogViewerConsole.java

 import org.eclipse.ui.console.IOConsole;
 import org.eclipse.ui.console.IOConsoleInputStream;
 import org.eclipse.ui.console.IOConsoleOutputStream;
+import guitypes.checkers.quals.*;
 
-public class LogViewerConsole extends IOConsole implements Runnable {
+public class LogViewerConsole extends IOConsole implements @AlwaysSafe Runnable {
 
     private IOConsoleOutputStream outStream;
     private IOConsoleInputStream inStream;

logviewer/de.anbos.eclipse.logviewer.plugin/src/de/anbos/eclipse/logviewer/plugin/LogViewerPlugin.java

  * See the License for the specific language governing permissions
  * and limitations under the License.
  */
-
+import guitypes.checkers.quals.*;
 /**
  * The main plugin class to be used in the desktop.
  */
 		return resourceBundle;
 	}
 	
-    public void showErrorMessage(String message) {
+    @UIEffect public void showErrorMessage(String message) {
         IWorkbenchWindow window = getDefault().getWorkbench().getActiveWorkbenchWindow();
         if(window != null) {
             MessageDialog.openError(window.getShell().getShell(),getResourceString("error.fatal.title"),message); //$NON-NLS-1$
     	    }
   	}
 
-	public void showErrorMessage(Throwable throwable) {
+	@UIEffect public void showErrorMessage(Throwable throwable) {
 	    showErrorMessage(throwable.getClass().getName() + " " + throwable.getMessage()); //$NON-NLS-1$
 	}
 
-	public void showInfoMessage(String message) {
+	@UIEffect public void showInfoMessage(String message) {
 	    IWorkbenchWindow window = getDefault().getWorkbench().getActiveWorkbenchWindow();
      	if(window != null) {
      	    MessageDialog.openInformation(window.getShell().getShell(),getResourceString("error.info.title"),message); //$NON-NLS-1$
      	}
 	}
 
-	public void showWarningMessage(String message) {
+	@UIEffect public void showWarningMessage(String message) {
 	    IWorkbenchWindow window = getDefault().getWorkbench().getActiveWorkbenchWindow();
       	if(window != null) {
       	    MessageDialog.openWarning(window.getShell().getShell(),getResourceString("error.warning.title"),message); //$NON-NLS-1$
 http://code.google.com/a/eclipselabs.org/p/logviewer
 
 
-Initial error count: 464 errors
+(note the initial error counts are pre-stub file!  Well, this one is after the stub file for the
+previous project)
+Initial error count: 458 errors
 
++30 (0:30): 382.  Marked a few types safe.
 
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.