Deprecated API

Contents

• Classes
• Enum Classes
• Exceptions
• Methods
• Constructors

Deprecated Classes

Class	Description
org.sosy_lab.common.ChildFirstPatternClassLoader	replaced with Classes.makeExtendedURLClassLoader() and Classes.ClassLoaderBuilder.setDirectLoadClasses(Predicate).
org.sosy_lab.common.io.MoreFiles
org.sosy_lab.common.io.MoreFiles.DeleteOnCloseFile	Use TempFile.DeleteOnCloseFile.
org.sosy_lab.common.log.FileLogFormatter	use TimestampedLogFormatter instead.

Deprecated Enum Classes

Enum Class	Description
org.sosy_lab.common.log.NullLogManager	Use LogManager.createNullLogManager() instead. This class will be made package-private.
org.sosy_lab.common.log.TestLogManager	Use LogManager.createTestLogManager() instead. This class will be made package-private.
org.sosy_lab.common.NativeLibraries.Architecture
org.sosy_lab.common.NativeLibraries.OS

Deprecated Exceptions

Exceptions	Description
org.sosy_lab.common.Classes.ClassInstantiationException

Deprecated Methods

Method	Description
org.sosy_lab.common.Classes.createInstance(Class<? extends T>, Class<?>[], Object[], Class<T>)
org.sosy_lab.common.Classes.createInstance(Class<T>, Class<? extends T>, Class<?>[], Object[])
org.sosy_lab.common.Classes.createInstance(Class<T>, Class<? extends T>, Class<?>[], Object[], Class<X>)
org.sosy_lab.common.collect.MapsDifference.Entry.getKey()
org.sosy_lab.common.collect.MapsDifference.Entry.getLeftValue()
org.sosy_lab.common.collect.MapsDifference.Entry.getRightValue()
org.sosy_lab.common.collect.MoreCollectors.toImmutableList()	use ImmutableList.toImmutableList()
org.sosy_lab.common.collect.MoreCollectors.toImmutableSet()	use ImmutableList.toImmutableList()
org.sosy_lab.common.collect.MoreCollectors.toPersistentLinkedList()	use PersistentLinkedList.toPersistentLinkedList()
org.sosy_lab.common.collect.PersistentLinkedList.collector()	renamed to PersistentLinkedList.toPersistentLinkedList() to conform with Guava's naming
org.sosy_lab.common.collect.PersistentLinkedList.replaceAll(UnaryOperator<T>)
org.sosy_lab.common.collect.PersistentLinkedList.sort(Comparator<? super T>)
org.sosy_lab.common.collect.PersistentList.add(int, T)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.add(T)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.addAll(int, Collection<? extends T>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.addAll(Collection<? extends T>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.clear()	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.remove(int)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.remove(Object)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.removeAll(Collection<?>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.replaceAll(UnaryOperator<T>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.retainAll(Collection<?>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.set(int, T)	Unsupported operation.
org.sosy_lab.common.collect.PersistentList.sort(Comparator<? super T>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.clear()	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.compute(K, BiFunction<? super K, ? super V, ? extends V>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.computeIfAbsent(K, Function<? super K, ? extends V>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.computeIfPresent(K, BiFunction<? super K, ? super V, ? extends V>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.merge(K, V, BiFunction<? super V, ? super V, ? extends V>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.put(K, V)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.putAll(Map<? extends K, ? extends V>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.putIfAbsent(K, V)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.remove(Object)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.remove(Object, Object)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.replace(K, V)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.replace(K, V, V)	Unsupported operation.
org.sosy_lab.common.collect.PersistentMap.replaceAll(BiFunction<? super K, ? super V, ? extends V>)	Unsupported operation.
org.sosy_lab.common.collect.PersistentSortedMap.pollFirstEntry()	Unsupported operation.
org.sosy_lab.common.collect.PersistentSortedMap.pollLastEntry()	Unsupported operation.
org.sosy_lab.common.configuration.Configuration.getProperty(String)
org.sosy_lab.common.configuration.Configuration.hasProperty(String)
org.sosy_lab.common.io.MoreFiles.appendToFile(Path, Charset, Object)	moved to IO
org.sosy_lab.common.io.MoreFiles.asByteSink(Path, FileWriteMode...)
org.sosy_lab.common.io.MoreFiles.asByteSource(Path)
org.sosy_lab.common.io.MoreFiles.asCharSink(Path, Charset, FileWriteMode...)
org.sosy_lab.common.io.MoreFiles.asCharSource(Path, Charset)
org.sosy_lab.common.io.MoreFiles.checkReadableFile(Path)	moved to IO
org.sosy_lab.common.io.MoreFiles.createParentDirs(Path)
org.sosy_lab.common.io.MoreFiles.createTempFile(String, String)	Use TempFile.builder() and TempFile.TempFileBuilder.createDeleteOnClose().
org.sosy_lab.common.io.MoreFiles.createTempFile(String, String, String)	Use TempFile.builder().
org.sosy_lab.common.io.MoreFiles.openOutputFile(Path, Charset, FileWriteMode...)	moved to IO
org.sosy_lab.common.io.MoreFiles.toString(Path, Charset)	use asCharSource(file, charset).read()
org.sosy_lab.common.io.MoreFiles.writeFile(Path, Charset, Object)	moved to IO
org.sosy_lab.common.io.MoreFiles.writeGZIPFile(Path, Charset, Object)	moved to IO
org.sosy_lab.common.LazyFutureTask.get(long, TimeUnit)	Unsupported operation.
org.sosy_lab.common.NativeLibraries.findPathForLibrary(String)
org.sosy_lab.common.Optionals.asStream(Optional<T>)	use Optional.stream()
org.sosy_lab.common.Optionals.comparingEmptyFirst()	Use Comparators.emptiesFirst(Comparator)
org.sosy_lab.common.Optionals.comparingEmptyFirst(Comparator<T>)	Use Comparators.emptiesFirst(Comparator)
org.sosy_lab.common.Optionals.comparingEmptyLast()	Use Comparators.emptiesLast(Comparator)
org.sosy_lab.common.Optionals.comparingEmptyLast(Comparator<T>)	Use Comparators.emptiesLast(Comparator)
org.sosy_lab.common.Optionals.fromGuavaOptional(Optional<T>)	use Optional.toJavaUtil()
org.sosy_lab.common.Optionals.toGuavaOptional(Optional<T>)	use Optional.fromJavaUtil(Optional)
org.sosy_lab.common.rationals.LinearExpression.pair(T, Rational)	Use LinearExpression.monomial(T, org.sosy_lab.common.rationals.Rational) instead.
org.sosy_lab.common.time.TimeSpan.get(TemporalUnit)
org.sosy_lab.common.time.TimeSpan.getUnits()

Deprecated Constructors

Constructor	Description
org.sosy_lab.common.log.FileLogFormatter()	use TimestampedLogFormatter.withoutColors()