zdjlabelprovider.java

有限自动机输入,转换,识别,图形显示与化简

package cn.work.zdj.ui;

import org.eclipse.jface.viewers.ILabelProviderListener;
import org.eclipse.jface.viewers.ITableLabelProvider;
import org.eclipse.swt.graphics.Image;

import cn.work.zdj.sys.AutoMachine;

public class ZdjLabelProvider implements ITableLabelProvider{

	public Image getColumnImage(Object element, int columnIndex) {
		// TODO 自动生成方法存根
		return null;
	}

	public String getColumnText(Object element, int columnIndex) {
		// TODO 自动生成方法存根
		AutoMachine machine = (AutoMachine)element;
		if(columnIndex == 0){
			
			return machine.getLabel();
			
		}else if(columnIndex == 1){
			
			if(machine.isDFA()){
				return "DFA";
			}else if(!machine.isDFA() && !machine.isE_NFA()){
				return "NFA";
			}else if(!machine.isDFA() && machine.isE_NFA()){
				return "ε-NFA";
			}
			
		}
		return null;
	}

	public void addListener(ILabelProviderListener listener) {
		// TODO 自动生成方法存根
		
	}

	public void dispose() {
		// TODO 自动生成方法存根
		
	}

	public boolean isLabelProperty(Object element, String property) {
		// TODO 自动生成方法存根
		return false;
	}

	public void removeListener(ILabelProviderListener listener) {
		// TODO 自动生成方法存根
		
	}
	
}