Package org.sosy_lab.common

@CheckReturnValue @ParametersAreNonnullByDefault @ReturnValuesAreNonnullByDefault @FieldsAreNonnullByDefault package org.sosy_lab.common

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

Related Packages

Package	Description
org.sosy_lab.common.annotations	This package contains several general-purpose annotations.
org.sosy_lab.common.collect	This package contains additional interfaces and implementations for collections, as well as further collection utilities.
org.sosy_lab.common.configuration	Java-Config is a library for injecting configuration options in a decentralized way.
org.sosy_lab.common.io	This package contains utilities for I/O.
org.sosy_lab.common.log	This package provides a logging framework.
org.sosy_lab.common.rationals	Java-Rationals is a library for working with rationals and extended rationals in Java.
org.sosy_lab.common.time	This package provides possibilities for measuring elapsed time, and a data class TimeSpan for storing time spans together with the respective time unit.

Class	Description
AbstractMBean	Abstract class that encapsulates the registration of an MBean with the MBeanServer.
Appender	An interface for classes that know how to dump themselves into an Appendable.
Appenders	Utility class providing Appenders 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.ClassInstantiationException	Deprecated.
Classes.ClassLoaderBuilder<B extends Classes.ClassLoaderBuilder<B>>	A builder for class loaders with more features than URLClassLoader.
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.
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 extends @Nullable Object>	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.
MoreStrings.WithLongString	Interface for classes that have a second, longer, string representation (with more information) in addition to Object.toString().
NativeLibraries	Helper class for loading native libraries.
NativeLibraries.Architecture	Deprecated.
NativeLibraries.OS	Deprecated.
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.
ShutdownNotifier.ShutdownRequestListener
UniqueIdGenerator	Utility class for generating unique.