⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 propertyeditorui.java

📁 本系统是用 java 语言实现的一个 Email客户端
💻 JAVA
字号:
package net.suberic.util.gui.propedit;import net.suberic.util.VariableBundle;/** * An interface which defines a way of editing a property. */public interface PropertyEditorUI {  /**   * This configures an editor for the given propertyName using the   * PropertyManager mgr.   *   * This version usees the template property to definte all things about   * the editor for propertyName.  This is useful if you want to be able   * to edit, for instace, the properties of a particular user:   *   * UserProfile.userOne.showHeaders   * UserProfile.userTwo.showHeaders   *   * UserProfile.showHeaders.propertyType=boolean   *   * So you can use this just to call configureEditor(factory,   * "UserProfile.userOne.showHeaders", "UserProfile.showHeaders", mgr,   * true)   *   * @param propertyName The property to be edited.   * @param template The property that will define the layout of the   *                 editor.   * @param propertyBase The property that is used for any relative   *                 property resolutions.   * @param manager The PropertyEditorManager that will manage the   *                   changes.   */  public void configureEditor(String propertyName, String template, String propertyBase, PropertyEditorManager manager);  /**   * This configures an editor for the given propertyName using the   * PropertyManager mgr.   *   * This version usees the template property to definte all things about   * the editor for propertyName.  This is useful if you want to be able   * to edit, for instace, the properties of a particular user:   *   * UserProfile.userOne.showHeaders   * UserProfile.userTwo.showHeaders   *   * UserProfile.showHeaders.propertyType=boolean   *   * So you can use this just to call configureEditor(factory,   * "UserProfile.userOne.showHeaders", "UserProfile.showHeaders", mgr,   * true)   *   * @param propertyName The property to be edited.   * @param template The property that will define the layout of the   *                 editor.   * @param manager The PropertyEditorManager that will manage the   *                   changes.   */  public void configureEditor(String propertyName, String template, PropertyEditorManager manager);  /**   * This configures an editor for the given propertyName in the   * PropertyEditorManager mgr.   * @param propertyName The property to be edited.  This will also be   *                     used for the editor layout.   * @param manager The PropertyEditorManager that will manage the   *                   changes.   */  public void configureEditor(String propertyName, PropertyEditorManager mgr);  /**   * Returns the currently edited property.   */  public String getProperty();  /**   * Returns the template for the current property.   */  public String getEditorTemplate();  /**   * This writes the currently configured value in the PropertyEditorUI   * to the source VariableBundle.   */  public void setValue() throws PropertyValueVetoException;  /**   * This checks that the currently configured value is valid.   */  public void validateProperty() throws PropertyValueVetoException;  /**   * This resets the editor to the original (or latest set, if setValue()   * has been called) value of the edited property.   */  public void resetDefaultValue() throws PropertyValueVetoException;  /**   * Sets the original value of the editor.   */  public void setOriginalValue(String pOriginalValue);  /**   * Returns the current values of the edited properties as a   * java.util.Properties object.   */  public java.util.Properties getValue();  /**   * Adds a disable mask to the PropertyEditorUI.   */  public void addDisableMask(Object key);  /**   * Removes the disable mask keyed by this Object.   */  public void removeDisableMask(Object key);  /**   * Returns whether or not this Editor is currently enabled.   */  public boolean isEditorEnabled();  /**   * Returns the PropertyEditorManager for this PropertyEditorUI.   */  public PropertyEditorManager getManager();  /**   * Adds a PropertyEditorListener to the ListenerList.   */  public void addPropertyEditorListener(PropertyEditorListener pel);  /**   * Removes a PropertyEditorListener from the ListenerList.   */  public void removePropertyEditorListener(PropertyEditorListener pel);  /**   * Returns the helpId for this editor.   */  public String getHelpID();  /**   * Returns the display value for this property.   */  public String getDisplayValue();  /**   * Removes the PropertyEditor.   */  public void remove();}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -