tomcatpluginresources.java

一个学习eclipse插件开发的绝好入门程序

package com.sysdeo.eclipse.tomcat;

/*
 * (c) Copyright Sysdeo SA 2001, 2002.
 * All Rights Reserved.
 */
 
public interface TomcatPluginResources {

	static final String WIZARD_PROJECT_TITLE =
		TomcatLauncherPlugin.getResourceString("wizard.project.title");

	static final String PREF_PAGE_SELECTALL_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.selectAll.label");

	static final String PREF_PAGE_UNSELECTALL_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.unselectAll.label");
	
	static final String PREF_PAGE_PROJECTINCP_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.projectsInCp.label");

	static final String PREF_PAGE_PROJECTINSOURCEPATH_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.projectsInSourcePath.label");
	
	static final String PREF_PAGE_COMPUTESOURCEPATH_LABEL	=
		TomcatLauncherPlugin.getResourceString("pref.page.computeSourcePath.label");

	static final String PREF_PAGE_JVMSETTINGS_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.jvmSettings.label");
		
	static final String PREF_PAGE_PARAMETERS_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.parameters.label");
		
	static final String PREF_PAGE_DUMP_CONFIG_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.dumpConfig.label");
		
	static final String PREF_PAGE_CREATE_LAUNCH_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.createLaunch.label");

	static final String PREF_PAGE_JRE_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.jre.label");			

	static final String PREF_PAGE_CLASSPATH_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.classpath.label");

	static final String PREF_PAGE_BOOTCLASSPATH_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.bootclasspath.label");

	static final String PREF_PAGE_CHOOSEVERSION_LABEL = 
		TomcatLauncherPlugin.getResourceString("pref.page.chooseversion.label");

	static final String PREF_PAGE_VERSION3_LABEL = 
		TomcatLauncherPlugin.getResourceString("pref.page.version3.label");

	static final String PREF_PAGE_VERSION4_LABEL = 
		TomcatLauncherPlugin.getResourceString("pref.page.version4.label");

	static final String PREF_PAGE_VERSION4_1_LABEL = 
		TomcatLauncherPlugin.getResourceString("pref.page.version41.label");

	static final String PREF_PAGE_VERSION5_LABEL = 
		TomcatLauncherPlugin.getResourceString("pref.page.version5.label");

	static final String PREF_PAGE_VERSION6_LABEL = 
		TomcatLauncherPlugin.getResourceString("pref.page.version6.label");
	
	static final String PREF_PAGE_HOME_LABEL = 
		TomcatLauncherPlugin.getResourceString("pref.page.home.label");
		
	static final String PREF_PAGE_BASE_LABEL = 
		TomcatLauncherPlugin.getResourceString("pref.page.base.label");		

	static final String PREF_PAGE_CONFIGFILE_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.configFile.label");

	static final String PREF_PAGE_DEBUGMODE_LABEL	=
		TomcatLauncherPlugin.getResourceString("pref.page.debugMode.label");
		
	static final String PREF_PAGE_TARGETPERSPECTIVE_LABEL	=
		TomcatLauncherPlugin.getResourceString("pref.page.targetPerspective.label");

	static final String PREF_PAGE_SECURITYMANAGER_LABEL	=
		TomcatLauncherPlugin.getResourceString("pref.page.securityManager.label");

	static final String PREF_PAGE_NONE_LABEL	=
		TomcatLauncherPlugin.getResourceString("pref.page.none.label");
					
	static final String WIZARD_PROJECT_UPDATEXML_LABEL =
		TomcatLauncherPlugin.getResourceString("wizard.project.updatexml.label");

	static final String WIZARD_PROJECT_EXPORTSOURCE_LABEL =
		TomcatLauncherPlugin.getResourceString("wizard.project.exportSource.label");
		
	static final String WIZARD_PROJECT_RELOADABLE_LABEL =
		TomcatLauncherPlugin.getResourceString("wizard.project.reloadable.label");		

	static final String WIZARD_PROJECT_REDIRECTLOGGER_LABEL =
		TomcatLauncherPlugin.getResourceString("wizard.project.redirectLogger.label");
			
	static final String WIZARD_PROJECT_WEBPATH_LABEL =
		TomcatLauncherPlugin.getResourceString("wizard.project.webpath.label");
			
	static final String WIZARD_PROJECT_ROOTDIR_LABEL =
		TomcatLauncherPlugin.getResourceString("wizard.project.rootdir.label");
			
	static final String WIZARD_PROJECT_WARLOCATION_LABEL =
		TomcatLauncherPlugin.getResourceString("wizard.project.warLocation.label");

	static final String PROPERTIES_PAGE_PROJECT_ISTOMCATPROJECT_LABEL =
		TomcatLauncherPlugin.getResourceString("properties.page.project.isTomcatProject.label");

	static final String WIZARD_PROJECT_MAINPAGE_TITLE =
		TomcatLauncherPlugin.getResourceString("wizard.project.mainPage.title");

	static final String WIZARD_PROJECT_MAINPAGE_DESCRIPTION =
		TomcatLauncherPlugin.getResourceString("wizard.project.mainPage.description");

	static final String WIZARD_PROJECT_TOMCATPAGE_TITLE =
		TomcatLauncherPlugin.getResourceString("wizard.project.tomcatPage.title");

	static final String WIZARD_PROJECT_TOMCATPAGE_DESCRIPTION =
		TomcatLauncherPlugin.getResourceString("wizard.project.tomcatPage.description");

	static final String PREF_PAGE_ADDBUTTON_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.addButton.label");

	static final String PREF_PAGE_ADDDIRBUTTON_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.addDirButton.label");

	static final String PREF_PAGE_ADDJARZIPBUTTON_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.addJarZipButton.label");

	static final String PREF_PAGE_REMOVEBUTTON_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.removeButton.label");

	static final String PREF_PAGE_UPDATEBUTTON_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.updateButton.label");

	static final String PREF_PAGE_UPBUTTON_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.upButton.label");

	static final String PREF_PAGE_DOWNBUTTON_LABEL =
		TomcatLauncherPlugin.getResourceString("pref.page.downButton.label");

	static final String WIZARD_PROJECT_REMOVE_TITLE =
		TomcatLauncherPlugin.getResourceString("wizard.project.remove.title");
		
	static final String WIZARD_PROJECT_REMOVE_DESCRIPTION =
		TomcatLauncherPlugin.getResourceString("wizard.project.remove.description");
		
	static final String BROWSE_BUTTON_LABEL =
		TomcatLauncherPlugin.getResourceString("browse.button.label");
		
	static final String PROPERTIES_PAGE_PROJECT_DEVLOADER_TAB_LABEL =		
		TomcatLauncherPlugin.getResourceString("properties.page.project.devloader.tab.label");	

	static final String PROPERTIES_PAGE_PROJECT_WAR_TAB_LABEL =		
		TomcatLauncherPlugin.getResourceString("properties.page.project.war.tab.label");
				
	static final String PROPERTIES_PAGE_PROJECT_GENERAL_TAB_LABEL =		
		TomcatLauncherPlugin.getResourceString("properties.page.project.general.tab.label");	
		
	static final String PROPERTIES_PAGE_PROJECT_ACTIVATE_DEVLOADER_LABEL =		
		TomcatLauncherPlugin.getResourceString("properties.page.project.activate.devloader.label");			

	static final String PROPERTIES_PAGE_PROJECT_EXTRAINFO_LABEL =
		TomcatLauncherPlugin.getResourceString("properties.page.project.extrainfo.label");
		
	static final String PREF_PAGE_LIST_SEPARATOR =		
		TomcatLauncherPlugin.getResourceString("pref.page.list.separator");			

	static final String PROJECT_WAREXPORT_EXCLUDE_DIRECTORIES =		
		TomcatLauncherPlugin.getResourceString("project.warExport.exclude.directories");		

	static final String PROJECT_WAREXPORT_EXCLUDE_FILES =		
		TomcatLauncherPlugin.getResourceString("project.warExport.exclude.files");				

	static final String PREF_PAGE_MANAGER_BANNER =
		TomcatLauncherPlugin.getResourceString("pref.page.manager.banner");	
	
	static final String PREF_PAGE_MANAGER_URL =		
		TomcatLauncherPlugin.getResourceString("pref.page.manager.url");	

	static final String PREF_PAGE_MANAGER_USER =		
		TomcatLauncherPlugin.getResourceString("pref.page.manager.user");	
	
	static final String PREF_PAGE_MANAGER_PASSWORD =		
		TomcatLauncherPlugin.getResourceString("pref.page.manager.password");
		
	static final String PREF_PAGE_MANAGER_ADDUSER =		
		TomcatLauncherPlugin.getResourceString("pref.page.manager.adduser");

	static final String PREF_PAGE_CHOOSECONFMODE_LABEL =		
		TomcatLauncherPlugin.getResourceString("pref.page.chooseconfmode.label");	
	
	static final String PREF_PAGE_SERVERXML_LABEL =		
		TomcatLauncherPlugin.getResourceString("pref.page.serverxml.label");
		
	static final String PREF_PAGE_CONTEXTFILES_LABEL =		
		TomcatLauncherPlugin.getResourceString("pref.page.contextfiles.label");		
		
	static final String PREF_PAGE_CONTEXTSDIR_LABEL =		
		TomcatLauncherPlugin.getResourceString("pref.page.contextsdir.label");	

				
					
}