Package: TypeCheckerErrors

TypeCheckerErrors

nameinstructionbranchcomplexitylinemethod
TypeCheckerErrors()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
M: 0 C: 1
100%
concern(boolean, int, String, ILexLocation, Object)
M: 0 C: 12
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 4
100%
M: 0 C: 1
100%
detail(String, Object)
M: 0 C: 4
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
detail(boolean, String, Object)
M: 0 C: 6
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
detail2(String, Object, String, Object)
M: 0 C: 6
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
detail2(boolean, String, Object, String, Object)
M: 0 C: 8
100%
M: 0 C: 2
100%
M: 0 C: 2
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
report(int, String, ILexLocation, Object)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
warning(int, String, ILexLocation, Object)
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%

Coverage

1: /*
2: * #%~
3: * The VDM Type Checker
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.typechecker;
23:
24: import org.overture.ast.intf.lex.ILexLocation;
25:
26: public class TypeCheckerErrors
27: {
28:
29:         public static void report(int number, String msg, ILexLocation location,
30:                         Object node)
31:         {
32:                 TypeChecker.report(number, msg, location);
33:         }
34:
35:         public static void concern(boolean serious, int number, String msg,
36:                         ILexLocation location, Object node)
37:         {
38:
39:•                if (serious)
40:                 {
41:                         TypeChecker.report(number, msg, location);
42:                 } else
43:                 {
44:                         TypeChecker.warning(number, msg, location);
45:                 }
46:         }
47:
48:         public static void detail(String tag, Object obj)
49:         {
50:                 TypeChecker.detail(tag, obj);
51:         }
52:
53:         public static void detail(boolean serious, String tag, Object obj)
54:         {
55:•                if (serious)
56:                 {
57:                         TypeChecker.detail(tag, obj);
58:                 }
59:         }
60:
61:         public static void detail2(boolean serious, String tag1, Object obj1,
62:                         String tag2, Object obj2)
63:         {
64:•                if (serious)
65:                 {
66:                         TypeChecker.detail2(tag1, obj1, tag2, obj2);
67:                 }
68:         }
69:
70:         public static void detail2(String tag1, Object obj1, String tag2,
71:                         Object obj2)
72:         {
73:                 TypeChecker.detail2(tag1, obj1, tag2, obj2);
74:         }
75:
76:         public static void warning(int number, String msg, ILexLocation loc,
77:                         Object node)
78:         {
79:                 TypeChecker.warning(number, msg, loc);
80:         }
81:
82: }