dk.brics.tajs.options

Class ExternalDependencies

java.lang.Object

dk.brics.tajs.options.ExternalDependencies

public class ExternalDependencies
extends java.lang.Object

Resolves the external dependencies of TAJS that can be installed using "external-dependencies/install-external-dependencies.sh". This resolution can be overridden with entries in tajs.properties.

Constructor Summary

Constructors

Constructor and Description
ExternalDependencies()

Method Summary

Modifier and Type	Method and Description
static java.util.Optional<java.nio.file.Path>	getJalangiLoggerDirectory()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExternalDependencies

public ExternalDependencies()

Method Detail

getJalangiLoggerDirectory

public static java.util.Optional<java.nio.file.Path> getJalangiLoggerDirectory()