1
/*******************************************************************************
2
* Copyright (c) 2008 ARM Limited and others.
3
* All rights reserved. This program and the accompanying materials
4
* are made available under the terms of the Eclipse Public License v1.0
5
* which accompanies this distribution, and is available at
6
* http://www.eclipse.org/legal/epl-v10.html
9
* ARM Limited - Initial API and implementation
10
*******************************************************************************/
12
package org.eclipse.cdt.debug.internal.ui.disassembly.viewer;
14
import java.util.Properties;
16
import org.eclipse.cdt.debug.ui.disassembly.IDocumentElementLabelProvider;
17
import org.eclipse.cdt.debug.ui.disassembly.IDocumentPresentation;
18
import org.eclipse.core.runtime.IAdaptable;
19
import org.eclipse.core.runtime.IProgressMonitor;
20
import org.eclipse.core.runtime.IStatus;
21
import org.eclipse.core.runtime.Status;
22
import org.eclipse.jface.viewers.BaseLabelProvider;
23
import org.eclipse.ui.progress.UIJob;
25
public class DocumentLabelProvider extends BaseLabelProvider {
27
private VirtualDocument fDocument;
29
public DocumentLabelProvider( VirtualDocument document ) {
34
// public void update( Object parent, Object[] elements, IDocumentPresentation context ) {
35
// IDocumentElementLabelProvider labelProvider = getLabelAdapter( parent );
36
// if ( labelProvider != null ) {
37
// Object root = getDocument().getContentProvider().getRoot();
38
// Object base = getDocument().getContentProvider().getBase();
39
// DocumentLabelUpdate[] updates = new DocumentLabelUpdate[elements.length];
40
// for ( int i = 0; i < elements.length; ++i ) {
41
// updates[i] = new DocumentLabelUpdate( this, context, root, base, elements[i], i );
43
// labelProvider.update( updates );
47
public void update( Object parent, Object element, int index, IDocumentPresentation context ) {
48
IDocumentElementLabelProvider labelProvider = getLabelAdapter( element );
49
if ( labelProvider != null ) {
50
Object root = getDocument().getContentProvider().getRoot();
51
Object base = getDocument().getContentProvider().getBase();
52
labelProvider.update( new DocumentLabelUpdate[] { new DocumentLabelUpdate( this, context, root, base, element, index ) } );
56
public void completed( DocumentLabelUpdate update ) {
57
if ( update.isCanceled() )
61
final int index = update.getIndex();
62
if ( update.getElement() != null ) {
63
final Object element = update.getElement();
64
final Properties labels = update.getLabels();
66
uiJob = new UIJob( "Replace line" ) { //$NON-NLS-1$
69
* @see org.eclipse.ui.progress.UIJob#runInUIThread(org.eclipse.core.runtime.IProgressMonitor)
72
public IStatus runInUIThread( IProgressMonitor monitor ) {
73
getDocument().labelDone( element, index, labels );
74
return Status.OK_STATUS;
79
uiJob = new UIJob( "Remove line" ) { //$NON-NLS-1$
82
* @see org.eclipse.ui.progress.UIJob#runInUIThread(org.eclipse.core.runtime.IProgressMonitor)
85
public IStatus runInUIThread( IProgressMonitor monitor ) {
86
getDocument().removeLine( index );
87
return Status.OK_STATUS;
91
uiJob.setSystem( true );
95
protected VirtualDocument getDocument() {
99
protected IDocumentElementLabelProvider getLabelAdapter( Object element ) {
100
IDocumentElementLabelProvider adapter = null;
101
if ( element instanceof IDocumentElementLabelProvider ) {
102
adapter = (IDocumentElementLabelProvider)element;
104
else if ( element instanceof IAdaptable ) {
105
IAdaptable adaptable = (IAdaptable)element;
106
adapter = (IDocumentElementLabelProvider)adaptable.getAdapter( IDocumentElementLabelProvider.class );