org.sosy_lab.common (Sosy-Lab Common Library)

This package contains general utilities that do not fit anywhere else.

Interface Summary
Interface	Description
Appender	An interface for classes that know how to dump themselves into an `Appendable`.
MoreStrings.WithLongString	Interface for classes that have a second, longer, string representation (with more information) in addition to `Object.toString()`.
ShutdownNotifier.ShutdownRequestListener

Class Summary
Class	Description
AbstractMBean	Abstract class that encapsulates the registration of an MBean with the `MBeanServer`.
Appenders	Utility class providing `Appender`s for various cases.
Appenders.AbstractAppender	Base implementation of `Appender` that ensures that the `Appenders.AbstractAppender.toString()` method returns the same result that `Appender.appendTo(Appendable)` produces in order to ensure that the contract of `Appender` is fulfilled.
ChildFirstPatternClassLoader	Deprecated. replaced with `Classes.makeExtendedURLClassLoader()` and `Classes.ClassLoaderBuilder.setDirectLoadClasses(Predicate)`.
Classes	Helper class for various methods related to handling Java classes and types.
Classes.ClassLoaderBuilder<B extends Classes.ClassLoaderBuilder<B>>	A builder for class loaders with more features than `URLClassLoader`.
Concurrency	Helper methods for concurrency related things.
JSON	This class is based on code from the library JSON.simple in version 1.1 (https://code.google.com/p/json-simple/).
LazyFutureTask<V>	Future implementation that can be used when a task should be executed only lazily at the first time `LazyFutureTask.get()` is called.
MoreStrings	Utility class for String-related helpers, similar to `Strings`.
NativeLibraries	Helper class for loading native libraries.
Optionals	Utilities for `Optional`.
ProcessExecutor<E extends Exception>	This class can be used to execute a separate process and read its output in a convenient way.
ShutdownManager	Together with `ShutdownNotifier`, this class implements a service for distributing shutdown requests throughout an application's component, potentially in a hierarchy.
ShutdownNotifier	This class allows code to check whether it should terminate for some reason, and to be notified of such requests.
UniqueIdGenerator	Utility class for generating unique.

Enum Summary
Enum Description

NativeLibraries.Architecture Deprecated.

NativeLibraries.OS Deprecated.

Exception Summary
Exception	Description
Classes.ClassInstantiationException	Deprecated.
Classes.UnexpectedCheckedException	An exception that should be used if a checked exception is encountered in a situation where it is not excepted (e.g., when getting the result from a `Callable` of which you know it shouldn't throw such exceptions).
Classes.UnsuitedClassException	Exception thrown when `Classes.createFactory(TypeToken, Class)` is called with a class that does not satisfy the requirements of the factory interface.