public final class LTSminUtil extends Object
Modifier and Type | Field and Description |
---|---|
static String |
ETF2LTS_MC
Path to the "etf2lts-mc" binary.
|
static String |
LTSMIN_CONVERT
Path to the "ltsmin-convert" binary.
|
Modifier and Type | Method and Description |
---|---|
static void |
detectLTSmin()
(Re-)Checks whether the required binaries for the
LTSmin modelchecker can be executed, by
performing a version check. |
static LTSminVersion |
getVersion()
Returns the detected version of the LTSmin installation.
|
static boolean |
isInstalled()
Returns whether or not an LTSmin installation was detected.
|
static boolean |
isVerbose()
Returns whether to make LTSmin's output more verbose.
|
static void |
setVerbose(boolean verbose)
Programmitically set, whether to make LTSmin's output more verbose.
|
static boolean |
supports(LTSminVersion requiredVersion)
Checks whether the currently detected LTSmin installation supports the queried version.
|
public static final String ETF2LTS_MC
public static final String LTSMIN_CONVERT
public static boolean isInstalled()
true
if an LTSmin installation was detected, false
otherwise.public static LTSminVersion getVersion()
null
if LTSmin is not installed.null
if LTSmin is not installed.isInstalled()
public static boolean supports(LTSminVersion requiredVersion)
requiredVersion
- the required versiontrue
if LTSmin is installed in the proper version, false
otherwise.public static boolean isVerbose()
public static void setVerbose(boolean verbose)
public static void detectLTSmin()
LTSmin modelchecker
can be executed, by
performing a version check. The results to these checks can be accessed by isInstalled()
and getVersion()
.ETF2LTS_MC
,
LTSMIN_CONVERT
Copyright © 2019. All rights reserved.