projects
/
IRC.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
changes to MGC class library
[IRC.git]
/
Robust
/
src
/
ClassLibrary
/
Vector.java
diff --git
a/Robust/src/ClassLibrary/Vector.java
b/Robust/src/ClassLibrary/Vector.java
index 2a32e897ed8b335036adcc5f7a21eab45feeba5a..adcd4efa6f296556f6a77ff1c015c09ffa0c1779 100644
(file)
--- a/
Robust/src/ClassLibrary/Vector.java
+++ b/
Robust/src/ClassLibrary/Vector.java
@@
-14,7
+14,7
@@
public class Vector {
this.size=0;
array=new Object[size];
}
this.size=0;
array=new Object[size];
}
-
+
//used for internal cloning
private Vector(int size, int capacityIncrement, Object[] array) {
this.size = size;
//used for internal cloning
private Vector(int size, int capacityIncrement, Object[] array) {
this.size = size;
@@
-22,7
+22,7
@@
public class Vector {
this.array = new Object[array.length];
System.arraycopy(array, 0, this.array, 0, size);
}
this.array = new Object[array.length];
System.arraycopy(array, 0, this.array, 0, size);
}
-
+
public Vector clone() {
return new Vector(size,capacityIncrement, array);
}
public Vector clone() {
return new Vector(size,capacityIncrement, array);
}
@@
-43,7
+43,7
@@
public class Vector {
public int indexOf(Object elem, int index) {
for(int i=index; i<size; i++) {
if (elem.equals(array[i]))
public int indexOf(Object elem, int index) {
for(int i=index; i<size; i++) {
if (elem.equals(array[i]))
- return i;
+
return i;
}
return -1;
}
}
return -1;
}
@@
-58,7
+58,7
@@
public class Vector {
removeElementAt(in);
return true;
}
removeElementAt(in);
return true;
}
-
+
return false;
}
return false;
}
@@
-84,14
+84,14
@@
public class Vector {
if (minCapacity>array.length) {
int newsize;
if (capacityIncrement<=0)
if (minCapacity>array.length) {
int newsize;
if (capacityIncrement<=0)
- newsize=array.length*2;
+
newsize=array.length*2;
else
else
- newsize=array.length+capacityIncrement;
+
newsize=array.length+capacityIncrement;
if (newsize<minCapacity)
if (newsize<minCapacity)
- newsize=minCapacity;
+
newsize=minCapacity;
Object [] newarray=new Object[newsize];
for(int i=0; i<size; i++)
Object [] newarray=new Object[newsize];
for(int i=0; i<size; i++)
- newarray[i]=array[i];
+
newarray[i]=array[i];
array=newarray;
}
}
array=newarray;
}
}