Attachment 70785 Details for Bug 182662 – org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview

engineview (text/plain), 8.18 KB, created by jkubasta

on 2007-06-10 10:10:27 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: jkubasta

Created: 2007-06-10 10:10:27 EDT

Size: 8.18 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P platform
>Index: org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/StatusFiltersGroup.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/StatusFiltersGroup.java,v
>retrieving revision 1.3
>diff -u -r1.3 StatusFiltersGroup.java
>--- org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/StatusFiltersGroup.java	6 Jun 2005 16:31:02 -0000	1.3
>+++ org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/StatusFiltersGroup.java	10 Jun 2007 14:08:43 -0000
>@@ -29,23 +29,14 @@
>  */
> public class StatusFiltersGroup implements IEngineViewFilterGroup {
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.IFilterGroup#getName()
>-     */
>     public String getName() {
>         return EngineUiStringBundle.INSTANCE.getString( getClass(), "NAME" ); //$NON-NLS-1$
>     }
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.IFilterGroup#appliesTo(com.ibm.r2a.engine.IResult)
>-     */
>     public boolean appliesTo(IResult result) {
>         return ( result instanceof IMatch );
>     }
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.IFilterGroup#getFilters()
>-     */
>     public ToggleFilter[] getFilters( EngineLookup lookup ) {
>         Object[][] statusFilterData = new Object[][] { 
> 				{ MatchStatus.UNRESOLVED_LITERAL, EngineUiStringBundle.INSTANCE.getString(getClass(),MatchStatus.UNRESOLVED_LITERAL.getName()) },
>Index: org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryContentProvider.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryContentProvider.java,v
>retrieving revision 1.2
>diff -u -r1.2 ByCategoryContentProvider.java
>--- org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryContentProvider.java	6 Jun 2005 16:31:02 -0000	1.2
>+++ org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryContentProvider.java	10 Jun 2007 14:08:43 -0000
>@@ -35,16 +35,10 @@
> 		this.engine = engine;
> 	}
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.provider.AbstractContentProvider#getKey(com.ibm.r2a.engine.IResult)
>-     */
>     protected Object getKey(IResult result) {
>         return EngineUtils.findCategory( engine, result.getCategoryName() );
>     }
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.provider.AbstractContentProvider#isKey(java.lang.Object)
>-     */
>     protected boolean isKey(Object o) {
>         return ( o instanceof ICategory );
>     }
>Index: org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileContentProvider.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileContentProvider.java,v
>retrieving revision 1.2
>diff -u -r1.2 ByFileContentProvider.java
>--- org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileContentProvider.java	6 Jun 2005 16:31:02 -0000	1.2
>+++ org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileContentProvider.java	10 Jun 2007 14:08:43 -0000
>@@ -32,17 +32,11 @@
> 		super( results );
> 	}
> 	
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.provider.AbstractContentProvider#getKey(com.ibm.r2a.engine.IResult)
>-     */
>     protected Object getKey(IResult result) {
>         String file = ((IMatchLink)((IMatch)result).getLinks().get( 0 )).getResourceName();
>         return EclipseUtils.getFile( file );
>     }
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.provider.AbstractContentProvider#isKey(java.lang.Object)
>-     */
>     protected boolean isKey(Object o) {
>         return ( o instanceof IFile );
>     }
>Index: org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileViewProvider.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileViewProvider.java,v
>retrieving revision 1.3
>diff -u -r1.3 ByFileViewProvider.java
>--- org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileViewProvider.java	6 Jun 2005 16:31:02 -0000	1.3
>+++ org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileViewProvider.java	10 Jun 2007 14:08:43 -0000
>@@ -62,9 +62,7 @@
> 
>     private IResultSet results;
>     private EngineLookup lookup;
>-	/* (non-Javadoc)
>-	 * @see com.ibm.r2a.engine.ui.IViewProvider#getFilter()
>-	 */
>+
> 	public BasicViewerFilter getFilter() {
> 		// TODO Auto-generated method stub
> 		return null;
>Index: org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/SeverityFiltersGroup.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/SeverityFiltersGroup.java,v
>retrieving revision 1.4
>diff -u -r1.4 SeverityFiltersGroup.java
>--- org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/SeverityFiltersGroup.java	6 Jun 2005 16:31:02 -0000	1.4
>+++ org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/SeverityFiltersGroup.java	10 Jun 2007 14:08:43 -0000
>@@ -29,23 +29,14 @@
> 
> public class SeverityFiltersGroup implements IEngineViewFilterGroup {
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.IFilterGroup#getName()
>-     */
>     public String getName() {
>         return EngineUiStringBundle.INSTANCE.getString( getClass(), "NAME" ); //$NON-NLS-1$
>     }
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.IFilterGroup#appliesTo(com.ibm.r2a.engine.IResult)
>-     */
>     public boolean appliesTo(IResult result) {
>         return ( result instanceof IMatch );
>     }
> 
>-    /* (non-Javadoc)
>-     * @see com.ibm.r2a.engine.ui.IFilterGroup#getFilters()
>-     */
>     public ToggleFilter[] getFilters( EngineLookup lookup ) {
>     	Object[][] severityFilterData = new Object[][] { 
> 				{ ProblemSeverity.HIGH_LITERAL, EngineUiStringBundle.INSTANCE.getString(getClass(),ProblemSeverity.HIGH_LITERAL.getName()) }, 
>Index: org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryViewProvider.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryViewProvider.java,v
>retrieving revision 1.3
>diff -u -r1.3 ByCategoryViewProvider.java
>--- org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryViewProvider.java	6 Jun 2005 16:31:02 -0000	1.3
>+++ org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryViewProvider.java	10 Jun 2007 14:08:43 -0000
>@@ -67,9 +67,7 @@
> 
>     private IResultSet results;
>     private EngineLookup lookup;
>-	/* (non-Javadoc)
>-	 * @see com.ibm.r2a.engine.ui.IViewProvider#getFilter()
>-	 */
>+
> 	public BasicViewerFilter getFilter() {
> 		// TODO Auto-generated method stub
> 		return null;

Actions: View | Diff

Attachments on bug 182662: 70785 | 71048