| /******************************************************************************* |
| * Copyright (c) 2004, 2008 IBM Corporation and Others |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Kentarou FUKUDA - initial API and implementation |
| *******************************************************************************/ |
| package org.eclipse.actf.visualization.ui.report; |
| |
| import org.eclipse.actf.model.IModelService; |
| import org.eclipse.actf.model.events.IModelServiceEventListener; |
| import org.eclipse.actf.visualization.events.IVisualizationEventListener; |
| import org.eclipse.actf.visualization.events.VisualizationEvent; |
| import org.eclipse.actf.visualization.ui.report.table.ResultTableViewer; |
| import org.eclipse.swt.SWT; |
| import org.eclipse.swt.custom.SashForm; |
| import org.eclipse.swt.layout.GridData; |
| import org.eclipse.swt.widgets.Composite; |
| |
| public class DetailProblemReportArea extends SashForm implements IVisualizationEventListener, IModelServiceEventListener { |
| |
| private ProblemTree _problemTree; |
| private ResultTableViewer resultTableViewer; |
| |
| public DetailProblemReportArea(Composite parent, int style) { |
| super(parent, style); |
| init(); |
| } |
| |
| private void init(){ |
| setOrientation(SWT.HORIZONTAL); |
| |
| GridData gridData = new GridData(GridData.FILL_HORIZONTAL | GridData.FILL_VERTICAL); |
| gridData.horizontalSpan = 1; |
| setLayoutData(gridData); |
| |
| this._problemTree = new ProblemTree(this); |
| resultTableViewer = new ResultTableViewer(this); |
| |
| this._problemTree.setResultTableViewer(resultTableViewer); |
| |
| setWeights(new int[] { 2, 9 }); |
| |
| } |
| |
| public void visualizerChanged(VisualizationEvent checkerEvent) { |
| this._problemTree.visualizerChanged(checkerEvent); |
| } |
| |
| public ProblemTree getProblemTree() { |
| return _problemTree; |
| } |
| |
| public void modelserviceChanged(IModelService modelService) { |
| resultTableViewer.modelserviceChanged(modelService); |
| } |
| |
| public void inputChanged(IModelService modelService) { |
| // TODO Auto-generated method stub |
| |
| } |
| } |