public code v1

This commit is contained in:
2026-05-22 11:14:29 +02:00
parent 427197ec5a
commit b8141736eb
28859 changed files with 575079 additions and 0 deletions
@@ -0,0 +1,128 @@
package afryca.domain.integer;
import afryca.domain.Domain;
import afryca.valueforcer.ValueForcer;
public class NumericIntegerDomain extends Domain {
public static final String ID = "afryca.domain.integer"; //$NON-NLS-1$
private int min;
private int max;
public NumericIntegerDomain() {
super();
min = 0;
max = 0;
}
public void setMin(int _min) {
min = _min;
}
public int getMin() {
return min;
}
public void setMax(int _max) {
max = _max;
}
public int getMax() {
return max;
}
public void setMinMax(int min, int max) {
ValueForcer.notGreaterThan(min, max);
this.min = min;
this.max = max;
}
@Override
public double midpoint() {
return ((double) (max + min)) / 2d;
}
@Override
public String formatDescriptionDomain() {
String prefix = "(I) "; //$NON-NLS-1$
return prefix + toString();
}
@Override
public void parse(String readableDomain) {
String[] info = readableDomain.split(";");
generateId(info[0]);
readableDomain = info[1];
readableDomain = readableDomain.replace("[", "");
readableDomain = readableDomain.replace("]", "");
generateLimits(readableDomain);
}
private void generateId(String id) {
setId(id);
}
private void generateLimits(String readableDomain) {
String limits[] = readableDomain.split(",");
setMinMax(Integer.parseInt(limits[0]), Integer.parseInt(limits[1]));
}
@Override
public String toString() {
return "[" + min + ", " + max + "]"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
}
@Override
public String toStringFile() {
return ID + ";" + getId() + ";[" + min + "," + max + "]"; //$NON-NLS-1$ //$NON-NLS-2$ //$NON-NLS-3$
}
@Override
public boolean equals(Object obj) {
if (this == obj)
return true;
if (obj == null)
return false;
if (getClass() != obj.getClass())
return false;
if(!super.equals(obj))
return false;
NumericIntegerDomain other = (NumericIntegerDomain) obj;
if (min == 0) {
if (other.min != 0)
return false;
} else if (min != other.min)
return false;
if (max == 0) {
if (other.max != 0)
return false;
} else if (max != other.max)
return false;
return true;
}
@Override
public int hashCode() {
final int prime = 31;
int result = 1;
result = prime * result + ((min == 0) ? 0 : min);
result = prime * result + ((max == 0) ? 0 : max);
return result;
}
@Override
public Object clone() {
NumericIntegerDomain result = null;
result = (NumericIntegerDomain) super.clone();
return result;
}
@Override
public Object createDataRandom() {
return min + (int)(Math.random() * ((max - min) + 1));
}
}