Package: VdmDebugLogItem

VdmDebugLogItem

nameinstructionbranchcomplexitylinemethod
VdmDebugLogItem(String, String)
M: 15 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
VdmDebugLogItem(String, int, IDbgpRawPacket)
M: 7 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
VdmDebugLogItem(long, String, int, IDbgpRawPacket)
M: 16 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 6 C: 0
0%
M: 1 C: 0
0%
getMessage()
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%
getSessionId()
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%
getTimestamp()
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%
getType()
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%
toString()
M: 13 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.ui.log;
23:
24: import org.overture.ide.debug.core.dbgp.IDbgpRawPacket;
25:
26: public class VdmDebugLogItem
27: {
28:
29:         private final long timestamp;
30:         private final String type;
31:         private final int sessionId;
32:         private final String message;
33:
34:         public VdmDebugLogItem(String type, String message)
35:         {
36:                 this.timestamp = System.currentTimeMillis();
37:                 this.type = type;
38:                 this.sessionId = 0;
39:                 this.message = message;
40:         }
41:
42:         public VdmDebugLogItem(String type, int sessionId, IDbgpRawPacket message)
43:         {
44:                 this(System.currentTimeMillis(), type, sessionId, message);
45:         }
46:
47:         /**
48:          * @param message
49:          * @param timestamp
50:          * @param type
51:          */
52:         public VdmDebugLogItem(long timestamp, String type, int sessionId,
53:                         IDbgpRawPacket message)
54:         {
55:                 this.timestamp = timestamp;
56:                 this.type = type;
57:                 this.sessionId = sessionId;
58:                 this.message = message.getPacketAsString();
59:         }
60:
61:         public long getTimestamp()
62:         {
63:                 return timestamp;
64:         }
65:
66:         public String getType()
67:         {
68:                 return type;
69:         }
70:
71:         public int getSessionId()
72:         {
73:                 return sessionId;
74:         }
75:
76:         public String getMessage()
77:         {
78:                 return message;
79:         }
80:
81:         /*
82:          * (non-Javadoc)
83:          * @see java.lang.Object#toString()
84:          */
85:         public String toString()
86:         {
87:                 return type + '\t' + message;
88:         }
89:
90: }