Package: HashVdmType

HashVdmType

nameinstructionbranchcomplexitylinemethod
HashVdmType()
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
buildDetailString(IVariable)
M: 23 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%
formatValue(IVdmValue)
M: 4 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getCloseBrace()
M: 2 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getOpenBrace()
M: 2 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%
getVariableName(IVariable)
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: 3 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 1 C: 0
0%
M: 1 C: 0
0%

Coverage

1: /*
2: * #%~
3: * org.overture.ide.debug
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.ide.debug.core.model;
23:
24: import org.eclipse.debug.core.DebugException;
25: import org.eclipse.debug.core.model.IVariable;
26:
27: /**
28: * Represents a 'hash' script type
29: */
30: public class HashVdmType extends CollectionVdmType
31: {
32:
33:         private static String HASH = "map"; //$NON-NLS-1$
34:
35:         public HashVdmType()
36:         {
37:                 super(HASH);
38:         }
39:
40:         protected String buildDetailString(IVariable variable)
41:                         throws DebugException
42:         {
43:                 StringBuffer sb = new StringBuffer();
44:
45:                 sb.append(getVariableName(variable));
46:                 sb.append("|->"); //$NON-NLS-1$
47:                 sb.append(variable.getValue().getValueString());
48:
49:                 return sb.toString();
50:         }
51:
52:         protected char getCloseBrace()
53:         {
54:                 return '}';
55:         }
56:
57:         protected char getOpenBrace()
58:         {
59:                 return '{';
60:         }
61:
62:         /**
63:          * Returns the variable name (key) for the hash element.
64:          * <p>
65:          * Subclasses may override this method if they need to process the variable name before it is displayed.
66:          * </p>
67:          */
68:         protected String getVariableName(IVariable variable) throws DebugException
69:         {
70:                 return variable.getName();
71:         }
72:
73:         @Override
74:         public String formatValue(IVdmValue value)
75:         {
76:                 return super.formatValue(value);
77:         }
78: }