Index: src/org/netbeans/modules/j2ee/deployment/devmodules/spi/J2eeModuleProvider.java =================================================================== RCS file: /cvs/j2eeserver/src/org/netbeans/modules/j2ee/deployment/devmodules/spi/J2eeModuleProvider.java,v retrieving revision 1.33 diff -u -b -r1.33 J2eeModuleProvider.java --- src/org/netbeans/modules/j2ee/deployment/devmodules/spi/J2eeModuleProvider.java 3 Dec 2004 16:57:46 -0000 1.33 +++ src/org/netbeans/modules/j2ee/deployment/devmodules/spi/J2eeModuleProvider.java 7 Dec 2004 22:19:57 -0000 @@ -13,6 +13,7 @@ package org.netbeans.modules.j2ee.deployment.devmodules.spi; +import java.io.OutputStream; import java.util.Arrays; import java.util.Collection; import java.util.Enumeration; @@ -20,6 +21,7 @@ import javax.enterprise.deploy.model.DDBean; import javax.enterprise.deploy.shared.ModuleType; import org.netbeans.modules.j2ee.deployment.common.api.OriginalCMPMapping; +import org.netbeans.modules.j2ee.deployment.common.api.ValidationException; import org.netbeans.modules.j2ee.deployment.config.*; import org.netbeans.modules.j2ee.deployment.devmodules.api.*; import org.netbeans.modules.j2ee.deployment.impl.DefaultSourceMap; @@ -208,6 +210,23 @@ return getConfigSupportImpl().getDeploymentName(); } + /** + * Returns true if the current target platform provide verifier support for this module. + */ + public boolean hasVerifierSupport() { + return ServerRegistry.getInstance().getServer(getServerID()).canVerify(getJ2eeModule().getModuleType()); + } + + /** + * Invoke verifier from current platform on the provided target file. + * @param target File to run verifier against. + * @param logger output stream to write verification resutl to. + * @return true + */ + public void verify(FileObject target, OutputStream logger) throws ValidationException { + ServerRegistry.getInstance().getServer(getServerID()).getVerifierSupport().verify(target, logger); + } + protected final void fireServerChange (String oldServerID, String newServerID) { Server oldServer = ServerRegistry.getInstance ().getServer (oldServerID); Server newServer = ServerRegistry.getInstance ().getServer (newServerID);