dk.brics.tajs.options

Class TAJSEnvironmentConfig

java.lang.Object

dk.brics.tajs.options.TAJSEnvironmentConfig

public class TAJSEnvironmentConfig
extends java.lang.Object

Manages system-local environment properties.

Searches for a tajs.properties file in the working directory or one of its ancestors until the file is found.

Constructor Summary

Constructors

Constructor and Description
TAJSEnvironmentConfig(java.util.Properties properties)

Method Summary

Modifier and Type	Method and Description
static java.util.Properties	findProperties()
static TAJSEnvironmentConfig	get()
java.lang.String	getCustom(java.lang.String name)
java.nio.file.Path	getGnuPlot()
java.nio.file.Path	getJSDelta()
java.util.List<java.lang.Integer>	getJSDeltaServerPorts()
java.nio.file.Path	getLatex()
java.nio.file.Path	getNode()
boolean	hasProperty(java.lang.String name)
static void	init()
static void	init(java.util.Properties properties)
boolean	isDesktopEnabled()

Methods inherited from class java.lang.Object

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

Constructor Detail

TAJSEnvironmentConfig

public TAJSEnvironmentConfig(java.util.Properties properties)

Method Detail

findProperties

public static java.util.Properties findProperties()

get

public static TAJSEnvironmentConfig get()

getCustom

public java.lang.String getCustom(java.lang.String name)

getGnuPlot

public java.nio.file.Path getGnuPlot()

getJSDelta

public java.nio.file.Path getJSDelta()

getJSDeltaServerPorts

public java.util.List<java.lang.Integer> getJSDeltaServerPorts()

getLatex

public java.nio.file.Path getLatex()

getNode

public java.nio.file.Path getNode()

hasProperty

public boolean hasProperty(java.lang.String name)

init

public static void init()

init

public static void init(java.util.Properties properties)

isDesktopEnabled

public boolean isDesktopEnabled()