/* * JBoss, Home of Professional Open Source. * * See the LEGAL.txt file distributed with this work for information regarding copyright ownership and licensing. * * See the AUTHORS.txt file distributed with this work for a full listing of individual contributors. */ package org.teiid.core.designer; import org.eclipse.core.runtime.CoreException; import org.eclipse.core.runtime.IStatus; /** * @since 8.0 */ public interface PluginUtil { // ============================================================================================================================ // Utility Methods /** * <p> * Checks whether the version of the currently running JRE is equal to or higher than the specified minimum version. * </p> * * @param version The minimum required Java version. * @throws CoreException If the currently running JRE is lower than the specified minimum version. * @since 4.0 */ void checkJre( String version ) throws CoreException; /** * Logs the given status. * * @param status the status to log; may not be null */ void log( IStatus status ); void log( int severity, String message ); void log( int severity, Throwable error, java.lang.String message ); /** * Logs the given object using the object's {@link Object#toString() toString()} method. * * @param obj the object to log; may not be null */ void log( Object obj ); /** * Logs the given Throwable. * * @param throwable the Throwable to log; may not be null */ void log( Throwable t ); /** * Returns the localized string identified by the specified key if it exists, or the key itself if not. * * @param key the key in the resource file * @return the localized string, or they key if not found. */ String getStringOrKey( String key ); /** * Determines if the given key exists in the resource file. * * @param key the key in the resource file * @return True if the key exists. * @since 4.0 */ boolean keyExists( String key ); /** * @param key * @param parameters * @return */ String getString( String key, Object... parameters ); /** * @param key * @param parameter * @return */ String getString( String key, Object parameter ); }