Package: IRConstants

IRConstants

nameinstructionbranchcomplexitylinemethod
IRConstants()
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%
static {...}
M: 0 C: 90
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%

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.ir;
23:
24: import org.apache.commons.lang.ArrayUtils;
25:
26: public class IRConstants
27: {
28:         public static final String PRIVATE = "private";
29:         public static final String PROTECTED = "protected";
30:         public static final String PUBLIC = "public";
31:
32:         public static final String CONSTRUCTOR_FORMAL_PREFIX = "_";
33:
34:         public static final String QUOTES_INTERFACE_NAME = "Quotes";
35:
36:         public static final String TEST_CASE = "TestCase";
37:         public static final String TEST_CASE_RUN_FULL_SUITE = "runFullSuite";
38:
39:         public static final String TEST_MODULE_NAME_POSTFIX = "Test";
40:
41:         public static final String CSV_LIB = "CSV";
42:         public static final String IO_LIB = "IO";
43:         public static final String MATH_LIB = "MATH";
44:         public static final String VDMUTIL_LIB = "VDMUtil";
45:         
46:         public static final String SEQ_OF_CHAR2VAL = "seq_of_char2val";
47:
48:         public static final String[] CLASS_NAMES_USED_IN_SL = {CSV_LIB, IO_LIB, MATH_LIB, VDMUTIL_LIB};
49:
50:         public static final String[] CLASS_NAMES_USED_IN_VDM_PP_RT = (String[]) ArrayUtils.addAll(CLASS_NAMES_USED_IN_SL,
51:                         new String[]{"VDMUnit", "Throwable", "Error", "AssertionFailedError",
52:                         "Assert", "Test", "TestCase", "TestSuite", "TestListener",
53:                         "TestResult", "TestRunner", "CPU", "BUS" });
54:
55:         public static final String ILLEGAL_QUOTE_VALUE = "?";
56:
57:         public static final String[] RESERVED_CLASS_NAMES_PP_RT = (String[]) ArrayUtils.addAll(new String[] {
58:                         QUOTES_INTERFACE_NAME }, CLASS_NAMES_USED_IN_VDM_PP_RT);
59: }