dk.brics.tajs.options

Class ExperimentalOptions

java.lang.Object

dk.brics.tajs.options.ExperimentalOptions

All Implemented Interfaces:

java.io.Serializable

public class ExperimentalOptions
extends java.lang.Object
implements java.io.Serializable

Utility class for experimental options.

Immutable.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	ExperimentalOptions.ExperimentalOption Interface for TAJS variants.
static class	ExperimentalOptions.ExperimentalOptionsManager Singleton class for managing experimental options.

Constructor Summary

Constructors

Constructor and Description
ExperimentalOptions(java.util.Collection<ExperimentalOptions.ExperimentalOption> enabled) Constructor that enables the desired options (as a shallow copy).
ExperimentalOptions(ExperimentalOptions.ExperimentalOption... enabled)
ExperimentalOptions(ExperimentalOptions experimental) Cloning constructor.

Method Summary

Modifier and Type	Method and Description
ExperimentalOptions	difference(ExperimentalOptions.ExperimentalOption toDisable) Utility function: copies the set of enabled options, except for some specific options.
boolean	equals(java.lang.Object o)
java.util.Set<ExperimentalOptions.ExperimentalOption>	getEnabled()
java.lang.String	getEnabledOptionsString() A toString of the enabled options.
int	hashCode()
ExperimentalOptions	intersect(ExperimentalOptions b) Utility function: Intersects two sets of enabled options.
boolean	isEnabled(ExperimentalOptions.ExperimentalOption option)
ExperimentalOptions	join(ExperimentalOptions other)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ExperimentalOptions

public ExperimentalOptions(java.util.Collection<ExperimentalOptions.ExperimentalOption> enabled)

Constructor that enables the desired options (as a shallow copy).

ExperimentalOptions

public ExperimentalOptions(ExperimentalOptions.ExperimentalOption... enabled)

See Also:

ExperimentalOptions(Collection)

ExperimentalOptions

public ExperimentalOptions(ExperimentalOptions experimental)

Cloning constructor.

See Also:

ExperimentalOptions(Collection)

Method Detail

difference

public ExperimentalOptions difference(ExperimentalOptions.ExperimentalOption toDisable)

Utility function: copies the set of enabled options, except for some specific options.

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getEnabled

public java.util.Set<ExperimentalOptions.ExperimentalOption> getEnabled()

getEnabledOptionsString

public java.lang.String getEnabledOptionsString()

A toString of the enabled options.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

intersect

public ExperimentalOptions intersect(ExperimentalOptions b)

Utility function: Intersects two sets of enabled options.

isEnabled

public boolean isEnabled(ExperimentalOptions.ExperimentalOption option)

join

public ExperimentalOptions join(ExperimentalOptions other)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object