IJOPUIConstants.java

package com.jopdesign.jopeclipse.internal.ui;

/**
 * @author johan
 *
 */
public interface IJOPUIConstants {
    public static final String PLUGIN_ID = "com.jopdesign.jopeclipse.ui";
    
    public static final String IMG_DOWNLOAD_TAB = PLUGIN_ID + ".IMG_DOWNLOAD_TAB";

    public static final String IMG_JAVA_TAB = PLUGIN_ID + ".IMG_JAVA_TAB";

    public static final String IMG_CONFIGURE_BOARD_TAB = PLUGIN_ID + ".IMG_CONFIGURE_BOARD_TAB";

    public static final String IMG_WCET_TAB = PLUGIN_ID + ".IMG_WCET_TAB";
    
    public static final String IMG_PROGUARD_TAB = PLUGIN_ID + ".IMG_PROGUARD_TAB";

    public static final String EMPTY_STRING = "";

    public static final int STATUS_INIT_RUN_ANT = -666; // When is this used?
}