Attachment #70785 for bug #182662

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




 */
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()) },




		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 );
    }




		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 );
    }

Lines 62-70 Link Here

(-)org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileViewProvider.java (-3 / +1 lines)
62		62
63	private IResultSet results;	63	private IResultSet results;
64	private EngineLookup lookup;	64	private EngineLookup lookup;
65	/* (non-Javadoc)	65
66	* @see com.ibm.r2a.engine.ui.IViewProvider#getFilter()
67	*/
68	public BasicViewerFilter getFilter() {	66	public BasicViewerFilter getFilter() {
69	// TODO Auto-generated method stub	67	// TODO Auto-generated method stub
70	return null;	68	return null;





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()) }, 

Lines 67-75 Link Here

(-)org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryViewProvider.java (-3 / +1 lines)
67		67
68	private IResultSet results;	68	private IResultSet results;
69	private EngineLookup lookup;	69	private EngineLookup lookup;
70	/* (non-Javadoc)	70
71	* @see com.ibm.r2a.engine.ui.IViewProvider#getFilter()
72	*/
73	public BasicViewerFilter getFilter() {	71	public BasicViewerFilter getFilter() {
74	// TODO Auto-generated method stub	72	// TODO Auto-generated method stub
75	return null;	73	return null;

Return to bug 182662

Lines 29-51 Link Here

(-)org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/StatusFiltersGroup.java (-9 lines)
29	*/	29	*/
30	public class StatusFiltersGroup implements IEngineViewFilterGroup {	30	public class StatusFiltersGroup implements IEngineViewFilterGroup {
31		31
32	/* (non-Javadoc)
33	* @see com.ibm.r2a.engine.ui.IFilterGroup#getName()
34	*/
35	public String getName() {	32	public String getName() {
36	return EngineUiStringBundle.INSTANCE.getString( getClass(), "NAME" ); //$NON-NLS-1$	33	return EngineUiStringBundle.INSTANCE.getString( getClass(), "NAME" ); //$NON-NLS-1$
37	}	34	}
38		35
39	/* (non-Javadoc)
40	* @see com.ibm.r2a.engine.ui.IFilterGroup#appliesTo(com.ibm.r2a.engine.IResult)
41	*/
42	public boolean appliesTo(IResult result) {	36	public boolean appliesTo(IResult result) {
43	return ( result instanceof IMatch );	37	return ( result instanceof IMatch );
44	}	38	}
45		39
46	/* (non-Javadoc)
47	* @see com.ibm.r2a.engine.ui.IFilterGroup#getFilters()
48	*/
49	public ToggleFilter[] getFilters( EngineLookup lookup ) {	40	public ToggleFilter[] getFilters( EngineLookup lookup ) {
50	Object[][] statusFilterData = new Object[][] {	41	Object[][] statusFilterData = new Object[][] {
51	{ MatchStatus.UNRESOLVED_LITERAL, EngineUiStringBundle.INSTANCE.getString(getClass(),MatchStatus.UNRESOLVED_LITERAL.getName()) },	42	{ MatchStatus.UNRESOLVED_LITERAL, EngineUiStringBundle.INSTANCE.getString(getClass(),MatchStatus.UNRESOLVED_LITERAL.getName()) },

Lines 35-50 Link Here

(-)org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByCategoryContentProvider.java (-6 lines)
35	this.engine = engine;	35	this.engine = engine;
36	}	36	}
37		37
38	/* (non-Javadoc)
39	* @see com.ibm.r2a.engine.ui.provider.AbstractContentProvider#getKey(com.ibm.r2a.engine.IResult)
40	*/
41	protected Object getKey(IResult result) {	38	protected Object getKey(IResult result) {
42	return EngineUtils.findCategory( engine, result.getCategoryName() );	39	return EngineUtils.findCategory( engine, result.getCategoryName() );
43	}	40	}
44		41
45	/* (non-Javadoc)
46	* @see com.ibm.r2a.engine.ui.provider.AbstractContentProvider#isKey(java.lang.Object)
47	*/
48	protected boolean isKey(Object o) {	42	protected boolean isKey(Object o) {
49	return ( o instanceof ICategory );	43	return ( o instanceof ICategory );
50	}	44	}

Lines 32-48 Link Here

(-)org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/ByFileContentProvider.java (-6 lines)
32	super( results );	32	super( results );
33	}	33	}
34		34
35	/* (non-Javadoc)
36	* @see com.ibm.r2a.engine.ui.provider.AbstractContentProvider#getKey(com.ibm.r2a.engine.IResult)
37	*/
38	protected Object getKey(IResult result) {	35	protected Object getKey(IResult result) {
39	String file = ((IMatchLink)((IMatch)result).getLinks().get( 0 )).getResourceName();	36	String file = ((IMatchLink)((IMatch)result).getLinks().get( 0 )).getResourceName();
40	return EclipseUtils.getFile( file );	37	return EclipseUtils.getFile( file );
41	}	38	}
42		39
43	/* (non-Javadoc)
44	* @see com.ibm.r2a.engine.ui.provider.AbstractContentProvider#isKey(java.lang.Object)
45	*/
46	protected boolean isKey(Object o) {	40	protected boolean isKey(Object o) {
47	return ( o instanceof IFile );	41	return ( o instanceof IFile );
48	}	42	}

Lines 29-51 Link Here

(-)org.eclipse.tptp.platform.analysis.static.engine.ui/src/org/eclipse/tptp/platform/analysis/engine/ui/engineview/SeverityFiltersGroup.java (-9 lines)
29		29
30	public class SeverityFiltersGroup implements IEngineViewFilterGroup {	30	public class SeverityFiltersGroup implements IEngineViewFilterGroup {
31		31
32	/* (non-Javadoc)
33	* @see com.ibm.r2a.engine.ui.IFilterGroup#getName()
34	*/
35	public String getName() {	32	public String getName() {
36	return EngineUiStringBundle.INSTANCE.getString( getClass(), "NAME" ); //$NON-NLS-1$	33	return EngineUiStringBundle.INSTANCE.getString( getClass(), "NAME" ); //$NON-NLS-1$
37	}	34	}
38		35
39	/* (non-Javadoc)
40	* @see com.ibm.r2a.engine.ui.IFilterGroup#appliesTo(com.ibm.r2a.engine.IResult)
41	*/
42	public boolean appliesTo(IResult result) {	36	public boolean appliesTo(IResult result) {
43	return ( result instanceof IMatch );	37	return ( result instanceof IMatch );
44	}	38	}
45		39
46	/* (non-Javadoc)
47	* @see com.ibm.r2a.engine.ui.IFilterGroup#getFilters()
48	*/
49	public ToggleFilter[] getFilters( EngineLookup lookup ) {	40	public ToggleFilter[] getFilters( EngineLookup lookup ) {
50	Object[][] severityFilterData = new Object[][] {	41	Object[][] severityFilterData = new Object[][] {
51	{ ProblemSeverity.HIGH_LITERAL, EngineUiStringBundle.INSTANCE.getString(getClass(),ProblemSeverity.HIGH_LITERAL.getName()) },	42	{ ProblemSeverity.HIGH_LITERAL, EngineUiStringBundle.INSTANCE.getString(getClass(),ProblemSeverity.HIGH_LITERAL.getName()) },