Package: ConjectureData

ConjectureData

nameinstructionbranchcomplexitylinemethod
ConjectureData()
M: 3 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
addConjecture(Conjecture)
M: 5 C: 0
0%
M: 0 C: 0
100%
M: 1 C: 0
0%
M: 2 C: 0
0%
M: 1 C: 0
0%
getConjecture(long)
M: 27 C: 0
0%
M: 4 C: 0
0%
M: 3 C: 0
0%
M: 5 C: 0
0%
M: 1 C: 0
0%

Coverage

1: /*
2: * #%~
3: * RT Trace Viewer Plugin
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.plugins.rttraceviewer.data;
23:
24: import java.util.Vector;
25:
26: public class ConjectureData extends Vector<Conjecture>
27: {
28: /**
29:          *
30:          */
31:         private static final long serialVersionUID = 1L;
32:
33: // Vector<Conjecture> conjectures;
34:
35: public ConjectureData()
36: {
37: //         conjectures = new Vector<Conjecture>();
38: }
39:
40: public void addConjecture(Conjecture c)
41: {
42:         //TODO: Check if conjecture already exists in the list
43:         add(c);
44: }
45:
46: public Vector<Conjecture> getConjecture(long time)
47: {
48:         Vector<Conjecture> result = new Vector<Conjecture>();
49:         
50:•         for(Conjecture c : this)
51:         {
52:•                 if(c.getTime() == time)
53:                         result.add(c);
54:         }
55:
56:         return result;
57: }
58:
59: }
60: