org.rapidprom.properties

Class RapidProMProperties

java.lang.Object

org.rapidprom.properties.RapidProMProperties

public class RapidProMProperties
extends java.lang.Object

Load RapidProM properties such as location of ProM packages etc.

Author:

svzelst

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	RapidProMProperties.Deployment

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	IVY_OPERATING_SYSTEM_REGEX

Method Summary

Methods

Modifier and Type	Method and Description
RapidProMProperties.Deployment	getDeployment()
java.io.File	getProMPackagesLocation()
java.util.Properties	getProperties()
java.nio.file.Path	getRapidProMPackagesLocationPath()
java.lang.String	getRapidProMPackagesLocationString()
java.lang.String	getVersionsRevisionUpdate()
static RapidProMProperties	instance()

Methods inherited from class java.lang.Object

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

Field Detail

IVY_OPERATING_SYSTEM_REGEX

public static final java.lang.String IVY_OPERATING_SYSTEM_REGEX

See Also:

Constant Field Values

Method Detail

instance

public static RapidProMProperties instance()

getProperties

public java.util.Properties getProperties()

getDeployment

public RapidProMProperties.Deployment getDeployment()

getRapidProMPackagesLocationString

public java.lang.String getRapidProMPackagesLocationString()

getVersionsRevisionUpdate

public java.lang.String getVersionsRevisionUpdate()

getRapidProMPackagesLocationPath

public java.nio.file.Path getRapidProMPackagesLocationPath()

getProMPackagesLocation

public java.io.File getProMPackagesLocation()