Skip navigation links
  • Overview
  • Package
  • Class
  • Tree
  • Deprecated
  • Index
  • Help

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()