diff options
| author | Paul Buetow <paul@buetow.org> | 2009-02-15 12:59:17 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2009-02-15 12:59:17 +0000 |
| commit | 2a93a612375aa6c8fd35280778624d486a81d2d2 (patch) | |
| tree | 5f0b88be2b6bb5b0eb8a33f5a3e996e2352655c5 /shared/MyVector.java | |
| parent | 3f06de0d35403234601f3bc8325ec8d37071d4a3 (diff) | |
run astyle
Diffstat (limited to 'shared/MyVector.java')
| -rw-r--r-- | shared/MyVector.java | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/shared/MyVector.java b/shared/MyVector.java index 9d9d596..9a76625 100644 --- a/shared/MyVector.java +++ b/shared/MyVector.java @@ -9,15 +9,15 @@ import java.util.Vector; * */ public class MyVector extends Vector { - private static final long serialVersionUID = 1L; - - /** - * This method appends a vector at the end. - * @param vecAppend Specifies the vector to be appended. - */ - public void appendVector(Vector vecAppend) { - Enumeration enumAppend = vecAppend.elements(); - while (enumAppend.hasMoreElements()) - this.add(enumAppend.nextElement()); - } + private static final long serialVersionUID = 1L; + + /** + * This method appends a vector at the end. + * @param vecAppend Specifies the vector to be appended. + */ + public void appendVector(Vector vecAppend) { + Enumeration enumAppend = vecAppend.elements(); + while (enumAppend.hasMoreElements()) + this.add(enumAppend.nextElement()); + } } |
