org.jboss.deployers.spi.management.deploy
Interface DeploymentOptions

All Known Subinterfaces:

DeploymentID

public interface DeploymentOptions

The deployment options.

Version:

$Revision$

Author:

Emanuel Muckenhuber

Method Summary

void	addDeploymentOption(DeploymentOption option) Add a deployment option.
DeploymentOption[]	getDeploymentOptions() Get all deployment options.
boolean	hasDeploymentOption(DeploymentOption option) Has a given deployment option.
boolean	removeDeploymentOption(DeploymentOption option) Remove a deployment option.

Method Detail

addDeploymentOption

void addDeploymentOption(DeploymentOption option)

Add a deployment option.

Parameters:

option - the option

removeDeploymentOption

boolean removeDeploymentOption(DeploymentOption option)

Remove a deployment option.

Parameters:

option - the option

Returns:

true, if the option was present

hasDeploymentOption

boolean hasDeploymentOption(DeploymentOption option)

Has a given deployment option.

Parameters:

option - the deployment option

Returns:

true, if the option is set

getDeploymentOptions

DeploymentOption[] getDeploymentOptions()

Get all deployment options.

Returns:

the set deployment option