Package ru.ispras.fortress.solver
Class Environment
- java.lang.Object
-
- ru.ispras.fortress.solver.Environment
-
public final class Environment extends java.lang.Object
The Environment class provides methods to manage global the settings of the subsystem.
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static java.lang.String
getOsName()
Gets the name of the operating system the tool is running under.static boolean
isDebugMode()
Checks whether debug mode is enabled.static boolean
isOsX()
Checks whether the tool is running in a Macintosh computer (under OS X).static boolean
isUnix()
Checks whether the tool is running in a Unix or Linux computer.static boolean
isWindows()
Checks whether the tool is running in a Windows computer.static void
setDebugMode(boolean isDebugMode)
Enables or disables debug mode.
-
-
-
Method Detail
-
getOsName
public static java.lang.String getOsName()
Gets the name of the operating system the tool is running under.- Returns:
- Operating system name.
-
isWindows
public static boolean isWindows()
Checks whether the tool is running in a Windows computer.- Returns:
- true if the tool is running in a Windows computer.
-
isUnix
public static boolean isUnix()
Checks whether the tool is running in a Unix or Linux computer.- Returns:
- true if the tool is running in a Unix or Linux computer.
-
isOsX
public static boolean isOsX()
Checks whether the tool is running in a Macintosh computer (under OS X).- Returns:
- true if the tool is running in a Macintosh computer (under OS X).
-
isDebugMode
public static boolean isDebugMode()
Checks whether debug mode is enabled.- Returns:
true
if debug mode is enabled orfalse
otherwise.
-
setDebugMode
public static void setDebugMode(boolean isDebugMode)
Enables or disables debug mode.- Parameters:
isDebugMode
- Status of debug mode to be set (true
orfalse
).
-
-