Package dk.brics.tajs.options

Global analysis options.

See: Description

Interface Summary

Interface	Description
ExperimentalOptions.ExperimentalOption	Interface for TAJS variants.

Class Summary

Class	Description
ExperimentalOptions	Utility class for experimental options.
ExperimentalOptions.ExperimentalOptionsManager	Singleton class for managing experimental options.
ExternalDependencies	Resolves the external dependencies of TAJS that can be installed using "external-dependencies/install-external-dependencies.sh".
Options	Global analysis options.
Options.Constants
OptionsUtil
OptionValues	Option values.
SoundnessTesterOptions	Options to be used for soundness testing.
TAJSEnvironmentConfig	Manages system-local environment properties.
UnsoundnessOptionValues	Option values for unsoundness.

Package dk.brics.tajs.options Description

Global analysis options.