Package: ExcludedDefinitions

ExcludedDefinitions

nameinstructionbranchcomplexitylinemethod
ExcludedDefinitions()
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%
clearExcluded()
M: 0 C: 3
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 2
100%
M: 0 C: 1
100%
isExcluded(PDefinition)
M: 0 C: 18
100%
M: 0 C: 4
100%
M: 0 C: 3
100%
M: 0 C: 5
100%
M: 0 C: 1
100%
setExcluded(List)
M: 0 C: 7
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
setExcluded(PDefinition)
M: 0 C: 7
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 3
100%
M: 0 C: 1
100%
static {...}
M: 0 C: 5
100%
M: 0 C: 0
100%
M: 0 C: 1
100%
M: 0 C: 1
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:
23: package org.overture.typechecker;
24:
25: import java.util.List;
26: import java.util.Vector;
27:
28: import org.overture.ast.definitions.PDefinition;
29:
30: public class ExcludedDefinitions
31: {
32:         private static List<PDefinition> excludedDefinitions = new Vector<PDefinition>();
33:         
34:         public static void setExcluded(List<PDefinition> excluded)
35:         {
36:                 excludedDefinitions.clear();
37:                 excludedDefinitions.addAll(excluded);
38:         }
39:         
40:         public static void setExcluded(PDefinition excluded)
41:         {
42:                 excludedDefinitions.clear();
43:                 excludedDefinitions.add(excluded);
44:         }
45:         
46:         public static void clearExcluded()
47:         {
48:                 excludedDefinitions.clear();
49:         }
50:         
51:         public static boolean isExcluded(PDefinition def)
52:         {
53:•                for (PDefinition d: excludedDefinitions)
54:                 {
55:•                        if (d == def)        // Note: identical references
56:                         {
57:                                 return true;
58:                         }
59:                 }
60:                 
61:                 return false;
62:         }
63: }