Package: AtomicVdmType

AtomicVdmType

name	instruction	branch	complexity	line	method
AtomicVdmType(String)	M: 6 C: 0 0%	M: 0 C: 0 100%	M: 1 C: 0 0%	M: 3 C: 0 0%	M: 1 C: 0 0%
appendInstanceId(IVdmValue, StringBuffer)	M: 26 C: 0 0%	M: 2 C: 0 0%	M: 2 C: 0 0%	M: 8 C: 0 0%	M: 1 C: 0 0%
formatDetails(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%
formatValue(IVdmValue)	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%
getName()	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%
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%
isCollection()	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%
isString()	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: public class AtomicVdmType implements IVdmType
25: {
26:         private String name;
27:
28:         public AtomicVdmType(String name)
29:         {
30:                 this.name = name;
31:         }
32:
33:         public String getName()
34:         {
35:                 return name;
36:         }
37:
38:         public boolean isAtomic()
39:         {
40:                 return true;
41:         }
42:
43:         public boolean isComplex()
44:         {
45:                 return false;
46:         }
47:
48:         public boolean isCollection()
49:         {
50:                 return false;
51:         }
52:
53:         public boolean isString()
54:         {
55:                 return false;
56:         }
57:
58:         public String formatDetails(IVdmValue value)
59:         {
60:                 return formatValue(value);
61:         }
62:
63:         public String formatValue(IVdmValue value)
64:         {
65:                 return value.getRawValue();
66:         }
67:
68:         protected void appendInstanceId(IVdmValue value, StringBuffer buffer)
69:         {
70:                 String id = value.getInstanceId();
71:•                if (id != null)
72:                 {
73:                         buffer.append(" ("); //$NON-NLS-1$
74:                         buffer.append("id");
75:                         buffer.append("="); //$NON-NLS-1$
76:                         buffer.append(id);
77:                         buffer.append(")"); //$NON-NLS-1$
78:                 }
79:         }
80: }