Package: ComplexVdmType

ComplexVdmType

nameinstructionbranchcomplexitylinemethod
ComplexVdmType(String)
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%
formatDetails(IVdmValue)
M: 29 C: 0
0%
M: 2 C: 0
0%
M: 2 C: 0
0%
M: 7 C: 0
0%
M: 1 C: 0
0%
formatValue(IVdmValue)
M: 16 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 4 C: 0
0%
M: 1 C: 0
0%
isAtomic()
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%
isComplex()
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%

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: /**
25: * Represents an 'complex' script type
26: */
27: public class ComplexVdmType extends AtomicVdmType
28: {
29:
30:         public ComplexVdmType(String name)
31:         {
32:                 super(name);
33:         }
34:
35:         public boolean isAtomic()
36:         {
37:                 return false;
38:         }
39:
40:         public boolean isComplex()
41:         {
42:                 return true;
43:         }
44:
45:         public String formatDetails(IVdmValue value)
46:         {
47:                 StringBuffer sb = new StringBuffer();
48:                 sb.append(getName());
49:
50:                 String address = value.getMemoryAddress();
51:•                if (address == null)
52:                 {
53:                         address = "unknown";
54:                 }
55:
56:                 sb.append("@" + address); //$NON-NLS-1$
57:
58:                 return sb.toString();
59:         }
60:
61:         public String formatValue(IVdmValue value)
62:         {
63:                 StringBuffer sb = new StringBuffer();
64:                 sb.append(getName());
65:
66:                 appendInstanceId(value, sb);
67:
68:                 return sb.toString();
69:         }
70: }