errorviewer.java

AStar算法

/*******************************************************************************
 * Copyright © 2008 Sandro Badame. All Rights Reserved.
 * 
 * This software and the accompanying materials is available under the 
 * Eclipse Public License 1.0 (EPL), which accompanies this distribution, and is
 * available at http://visualjpf.sourceforge.net/epl-v10.html
 ******************************************************************************/
package com.javapathfinder.vjp.verify.view;

import gov.nasa.jpf.Error;

import java.util.ArrayList;

import org.eclipse.swt.SWT;
import org.eclipse.swt.custom.ScrolledComposite;
import org.eclipse.swt.layout.FillLayout;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Label;

/**
 * Displays the errors generated from the verification
 * @author Sandro Badame
 *
 */
public class ErrorViewer extends ScrolledComposite {
  
  private ArrayList<Error> errors = new ArrayList<Error>(4); //looks like a decent number
  private Label label;
  
  public ErrorViewer(Composite parent, int style){
    super(parent, style);
    setLayout(new FillLayout());
    setExpandHorizontal(true);
    setExpandVertical(true);
    label = new Label(this, SWT.NONE);
    setContent(label);
    label.setBackground(Display.getDefault().getSystemColor(SWT.COLOR_WHITE));
  }
  
  /**
   * Add an error to be displayed
   * @param e the error to be added
   */
  public void addError(Error e){
    errors.add(e);
    
    Display.getDefault().syncExec(new Runnable(){
      public void run(){
        updateLabel();
        setMinSize(label.computeSize(SWT.DEFAULT, SWT.DEFAULT));
      }
    });
  }
  
  private void updateLabel(){
    if (errors.isEmpty()){
      label.setText("No Errors Detected.");
      return;
    }
    //else...
    StringBuilder sb = new StringBuilder();
    for(Error e : errors){
      sb.append(e.getDescription());
      sb.append("\n");
      sb.append(e.getDetails());
      sb.append('\n');
    }
    label.setText(sb.toString());
  }

  /**
   * Removes all of the errors from this ErrorViewer
   */
  public void clearAll() {
    errors.clear();
    updateLabel();
  }

}