Package: ArrayVdmType

ArrayVdmType

nameinstructionbranchcomplexitylinemethod
ArrayVdmType()
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: 43 C: 0
0%
M: 10 C: 0
0%
M: 6 C: 0
0%
M: 9 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 an 'array' script type
29: */
30: public class ArrayVdmType extends CollectionVdmType
31: {
32:
33:         private static String ARRAY = "sequence"; //$NON-NLS-1$
34:
35:         public ArrayVdmType()
36:         {
37:                 super(ARRAY);
38:         }
39:
40:         /**
41:          * @see org.eclipse.dltk.debug.core.model.CollectionScriptType#buildDetailString(org.eclipse.debug.core.model.IVariable)
42:          */
43:         protected String buildDetailString(IVariable variable)
44:                         throws DebugException
45:         {
46:                 String name = variable.getName();
47:•                if (name != null && name.length() > 0)
48:                 {
49:                         int counter = 0;
50:•                        if (name.startsWith("-"))
51:                         {
52:                                 counter++;
53:                         }
54:•                        while (counter < name.length())
55:                         {
56:•                                if (!Character.isDigit(name.charAt(counter++)))
57:                                 {
58:                                         return name + "=" + super.buildDetailString(variable);
59:                                 }
60:                         }
61:                 }
62:                 return super.buildDetailString(variable);
63:         }
64: }