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.
-
ClassDescriptionAbstract class that encapsulates the registration of an MBean with the
MBeanServer.An interface for classes that know how to dump themselves into anAppendable.Utility class providingAppenders for various cases.Base implementation ofAppenderthat ensures that theAppenders.AbstractAppender.toString()method returns the same result thatAppender.appendTo(Appendable)produces in order to ensure that the contract ofAppenderis fulfilled.Deprecated.Helper class for various methods related to handling Java classes and types.Deprecated.Classes.ClassLoaderBuilder<B extends Classes.ClassLoaderBuilder<B>>A builder for class loaders with more features thanURLClassLoader.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 aCallableof which you know it shouldn't throw such exceptions).Exception thrown whenClasses.createFactory(TypeToken, Class)is called with a class that does not satisfy the requirements of the factory interface.Helper methods for concurrency related things.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 timeLazyFutureTask.get()is called.Utility class for String-related helpers, similar toStrings.Interface for classes that have a second, longer, string representation (with more information) in addition toObject.toString().Helper class for loading native libraries.Deprecated.Deprecated.Utilities forOptional.ProcessExecutor<E extends Exception>This class can be used to execute a separate process and read its output in a convenient way.Together withShutdownNotifier, this class implements a service for distributing shutdown requests throughout an application's component, potentially in a hierarchy.This class allows code to check whether it should terminate for some reason, and to be notified of such requests.Utility class for generating unique.
Classes.makeExtendedURLClassLoader()andClasses.ClassLoaderBuilder.setDirectLoadClasses(Predicate).