1. Project Clover database Fri Dec 6 2024 13:47:14 GMT
  2. Package jalview.ws.params.simple

File IntegerParameter.java

 

Coverage histogram

../../../../img/srcFileCovDistChart0.png
60% of files have more coverage

Code metrics

4
20
8
1
108
72
10
0.5
2.5
8
1.25

Classes

Class
Line #
Actions
IntegerParameter 30 20 10
0.00%
 

Contributing tests

No tests hitting this source file were found.

Source view

1    /*
2    * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
3    * Copyright (C) $$Year-Rel$$ The Jalview Authors
4    *
5    * This file is part of Jalview.
6    *
7    * Jalview is free software: you can redistribute it and/or
8    * modify it under the terms of the GNU General Public License
9    * as published by the Free Software Foundation, either version 3
10    * of the License, or (at your option) any later version.
11    *
12    * Jalview is distributed in the hope that it will be useful, but
13    * WITHOUT ANY WARRANTY; without even the implied warranty
14    * of MERCHANTABILITY or FITNESS FOR A PARTICULAR
15    * PURPOSE. See the GNU General Public License for more details.
16    *
17    * You should have received a copy of the GNU General Public License
18    * along with Jalview. If not, see <http://www.gnu.org/licenses/>.
19    * The Jalview Authors are detailed in the 'AUTHORS' file.
20    */
21    package jalview.ws.params.simple;
22   
23    import jalview.ws.params.ParameterI;
24    import jalview.ws.params.ValueConstrainI;
25   
26    /**
27    * @author jimp
28    *
29    */
 
30    public class IntegerParameter extends Option implements ParameterI
31    {
32    int defval;
33   
34    int min, max;
35   
 
36  0 toggle public ValueConstrainI getValidValue()
37    {
38  0 return new ValueConstrainI()
39    {
40   
 
41  0 toggle @Override
42    public ValueType getType()
43    {
44  0 return ValueType.Integer;
45    }
46   
 
47  0 toggle @Override
48    public Number getMin()
49    {
50  0 if (min < max)
51    {
52  0 return min;
53    }
54    else
55    {
56  0 return null;
57    }
58    }
59   
 
60  0 toggle @Override
61    public Number getMax()
62    {
63  0 if (min < max)
64    {
65  0 return max;
66    }
67    else
68    {
69  0 return null;
70    }
71    }
72    };
73    }
74   
 
75  0 toggle public IntegerParameter(IntegerParameter parm)
76    {
77  0 super(parm);
78  0 max = parm.max;
79  0 min = parm.min;
80    }
81   
 
82  0 toggle public IntegerParameter(String name, String description, boolean required,
83    int defValue, int min, int max)
84    {
85  0 super(name, description, required, String.valueOf(defValue), null, null,
86    null);
87  0 defval = defValue;
88  0 this.min = min;
89  0 this.max = max;
90    }
91   
 
92  0 toggle public IntegerParameter(String name, String description, boolean required,
93    int defValue, int value, int min, int max)
94    {
95  0 super(name, description, required, String.valueOf(defValue),
96    String.valueOf(value), null, null);
97  0 defval = defValue;
98  0 this.min = min;
99  0 this.max = max;
100    }
101   
 
102  0 toggle @Override
103    public IntegerParameter copy()
104    {
105  0 return new IntegerParameter(this);
106    }
107   
108    }