Package: JavaToolsUtils

JavaToolsUtils

name	instruction	branch	complexity	line	method
JavaToolsUtils()	M: 3 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 1 C: 0 0%	M: 1 C: 0 0%
isWindows()	M: 15 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 1 C: 0 0%

Coverage

1: /*
2: * #%~
3: * VDM Code Generator
4: * %%
5: * Copyright (C) 2008 - 2014 Overture
6: * %%
7: * This program is free software: you can redistribute it and/or modify
8: * it under the terms of the GNU General Public License as
9: * published by the Free Software Foundation, either version 3 of the
10: * License, or (at your option) any later version.
11: *
12: * This program is distributed in the hope that it will be useful,
13: * but WITHOUT ANY WARRANTY; without even the implied warranty of
14: * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15: * GNU General Public License for more details.
16: *
17: * You should have received a copy of the GNU General Public
18: * License along with this program. If not, see
19: * <http://www.gnu.org/licenses/gpl-3.0.html>.
20: * #~%
21: */
22: package org.overture.codegen.tests.util;
23:
24: public class JavaToolsUtils
25: {
26:         public static final String JAVA_HOME = "JAVA_HOME";
27:         public static final String BIN_FOLDER = "bin";
28:
29:         public static final String CURRENT_FOLDER = ".";
30:
31:         public static final String JAVAC = "javac";
32:         public static final String JAVA = "java";
33:
34:         public static final String JAR_ARG = "-jar";
35:
36:         public static final String ENABLE_ASSERTIONS_ARG = "-ea";
37:
38:         public static final String CP_ARG = "-classpath";
39:
40:         public static final String JAVA_FILE_EXTENSION = ".java";
41:
42:         public static Boolean isWindows()
43:         {
44:                 String osName = System.getProperty("os.name");
45:
46:•                return osName.toUpperCase().indexOf("Windows".toUpperCase()) > -1;
47:         }
48: }