diff options
author | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2019-10-21 21:45:57 +0200 |
---|---|---|
committer | Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com> | 2019-10-21 21:45:57 +0200 |
commit | a0c4b252e5867219871b5c6df10219d916e29bff (patch) | |
tree | 08cc82ec20db1c68ec6002d965209c5168fad7a9 /src/pl/edu/mimuw/cloudatlas/model/ZMI.java | |
parent | 38847dbb8809a8214a911b120b6b11ee4d7f1399 (diff) |
Tabs to spaces
Diffstat (limited to 'src/pl/edu/mimuw/cloudatlas/model/ZMI.java')
-rw-r--r-- | src/pl/edu/mimuw/cloudatlas/model/ZMI.java | 256 |
1 files changed, 128 insertions, 128 deletions
diff --git a/src/pl/edu/mimuw/cloudatlas/model/ZMI.java b/src/pl/edu/mimuw/cloudatlas/model/ZMI.java index 0e1c852..3e3f3a2 100644 --- a/src/pl/edu/mimuw/cloudatlas/model/ZMI.java +++ b/src/pl/edu/mimuw/cloudatlas/model/ZMI.java @@ -35,132 +35,132 @@ import java.util.Map.Entry; * references to its father and sons in the tree. */ public class ZMI implements Cloneable { - private final AttributesMap attributes = new AttributesMap(); - - private final List<ZMI> sons = new ArrayList<ZMI>(); - private ZMI father; - - /** - * Creates a new ZMI with no father (the root zone) and empty sons list. - */ - public ZMI() { - this(null); - } - - /** - * Creates a new ZMI with the specified node as a father and empty sons list. This method does not perform any - * operation on the <code>father</code>. Especially, setting this object as a <code>father</code>'s son must be done - * separately. - * - * @param father a father of this ZMI - * @see #addSon(ZMI) - */ - public ZMI(ZMI father) { - this.father = father; - } - - /** - * Gets a father of this ZMI in a tree. - * - * @return a father of this ZMI or <code>null</code> if this is the root zone - */ - public ZMI getFather() { - return father; - } - - /** - * Sets or changes a father of this ZMI in a tree. This method does not perform any operation on the - * <code>father</code>. Especially, setting this object as a <code>father</code>'s son must be done separately. - * - * @param father a new father for this ZMI - * @see #addSon(ZMI) - */ - public void setFather(ZMI father) { - this.father = father; - } - - /** - * Gets a list of sons of this ZMI in a tree. Modifying a return value will cause an exception. - * - * @return - */ - public List<ZMI> getSons() { - return Collections.unmodifiableList(sons); - } - - /** - * Adds the specified ZMI to the list of sons of this ZMI. This method does not perform any operation on a - * <code>son</code>. Especially, setting this object as a <code>son</code>'s father must be done separately. - * - * @param son - * @see #ZMI(ZMI) - * @see #setFather(ZMI) - */ - public void addSon(ZMI son) { - sons.add(son); - } - - /** - * Removes the specified ZMI from the list of sons of this ZMI. This method does not perform any operation on a - * <code>son</code>. Especially, its father remains unchanged. - * - * @param son - * @see #setFather(ZMI) - */ - public void removeSon(ZMI son) { - sons.remove(son); - } - - /** - * Gets a map of all the attributes stored in this ZMI. - * - * @return map of attributes - */ - public AttributesMap getAttributes() { - return attributes; - } - - /** - * Prints recursively in a prefix order (starting from this ZMI) a whole tree with all the attributes. - * - * @param stream a destination stream - * @see #toString() - */ - public void printAttributes(PrintStream stream) { - for(Entry<Attribute, Value> entry : attributes) - stream.println(entry.getKey() + " : " + entry.getValue().getType() + " = " + entry.getValue()); - System.out.println(); - for(ZMI son : sons) - son.printAttributes(stream); - } - - /** - * Creates an independent copy of a whole hierarchy. A returned ZMI has the same reference as a father (but the - * father does not have a reference to it as a son). For the root zone, the copy is completely independent, since - * its father is <code>null</code>. - * - * @return a deep copy of this ZMI - */ - @Override - public ZMI clone() { - ZMI result = new ZMI(father); - result.attributes.add(attributes.clone()); - for(ZMI son : sons) { - ZMI sonClone = son.clone(); - result.sons.add(sonClone); - sonClone.father = result; - } - return result; - } - - /** - * Prints a textual representation of this ZMI. It contains only attributes of this node. - * - * @return a textual representation of this object - * @see #printAttributes(PrintStream) - */ - @Override - public String toString() { - return attributes.toString(); - } + private final AttributesMap attributes = new AttributesMap(); + + private final List<ZMI> sons = new ArrayList<ZMI>(); + private ZMI father; + + /** + * Creates a new ZMI with no father (the root zone) and empty sons list. + */ + public ZMI() { + this(null); + } + + /** + * Creates a new ZMI with the specified node as a father and empty sons list. This method does not perform any + * operation on the <code>father</code>. Especially, setting this object as a <code>father</code>'s son must be done + * separately. + * + * @param father a father of this ZMI + * @see #addSon(ZMI) + */ + public ZMI(ZMI father) { + this.father = father; + } + + /** + * Gets a father of this ZMI in a tree. + * + * @return a father of this ZMI or <code>null</code> if this is the root zone + */ + public ZMI getFather() { + return father; + } + + /** + * Sets or changes a father of this ZMI in a tree. This method does not perform any operation on the + * <code>father</code>. Especially, setting this object as a <code>father</code>'s son must be done separately. + * + * @param father a new father for this ZMI + * @see #addSon(ZMI) + */ + public void setFather(ZMI father) { + this.father = father; + } + + /** + * Gets a list of sons of this ZMI in a tree. Modifying a return value will cause an exception. + * + * @return + */ + public List<ZMI> getSons() { + return Collections.unmodifiableList(sons); + } + + /** + * Adds the specified ZMI to the list of sons of this ZMI. This method does not perform any operation on a + * <code>son</code>. Especially, setting this object as a <code>son</code>'s father must be done separately. + * + * @param son + * @see #ZMI(ZMI) + * @see #setFather(ZMI) + */ + public void addSon(ZMI son) { + sons.add(son); + } + + /** + * Removes the specified ZMI from the list of sons of this ZMI. This method does not perform any operation on a + * <code>son</code>. Especially, its father remains unchanged. + * + * @param son + * @see #setFather(ZMI) + */ + public void removeSon(ZMI son) { + sons.remove(son); + } + + /** + * Gets a map of all the attributes stored in this ZMI. + * + * @return map of attributes + */ + public AttributesMap getAttributes() { + return attributes; + } + + /** + * Prints recursively in a prefix order (starting from this ZMI) a whole tree with all the attributes. + * + * @param stream a destination stream + * @see #toString() + */ + public void printAttributes(PrintStream stream) { + for(Entry<Attribute, Value> entry : attributes) + stream.println(entry.getKey() + " : " + entry.getValue().getType() + " = " + entry.getValue()); + System.out.println(); + for(ZMI son : sons) + son.printAttributes(stream); + } + + /** + * Creates an independent copy of a whole hierarchy. A returned ZMI has the same reference as a father (but the + * father does not have a reference to it as a son). For the root zone, the copy is completely independent, since + * its father is <code>null</code>. + * + * @return a deep copy of this ZMI + */ + @Override + public ZMI clone() { + ZMI result = new ZMI(father); + result.attributes.add(attributes.clone()); + for(ZMI son : sons) { + ZMI sonClone = son.clone(); + result.sons.add(sonClone); + sonClone.father = result; + } + return result; + } + + /** + * Prints a textual representation of this ZMI. It contains only attributes of this node. + * + * @return a textual representation of this object + * @see #printAttributes(PrintStream) + */ + @Override + public String toString() { + return attributes.toString(); + } } |