public class ExperimentalOptions
extends java.lang.Object
implements java.io.Serializable
Immutable.
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 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.
|
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() |
public ExperimentalOptions(java.util.Collection<ExperimentalOptions.ExperimentalOption> enabled)
public ExperimentalOptions(ExperimentalOptions.ExperimentalOption... enabled)
ExperimentalOptions(Collection)
public ExperimentalOptions(ExperimentalOptions experimental)
ExperimentalOptions(Collection)
public ExperimentalOptions difference(ExperimentalOptions.ExperimentalOption toDisable)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public java.util.Set<ExperimentalOptions.ExperimentalOption> getEnabled()
public java.lang.String getEnabledOptionsString()
public int hashCode()
hashCode
in class java.lang.Object
public ExperimentalOptions intersect(ExperimentalOptions b)
public boolean isEnabled(ExperimentalOptions.ExperimentalOption option)
public ExperimentalOptions join(ExperimentalOptions other)
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2009-2019 Aarhus University