comparison visualizer/Data/src/com/sun/hotspot/igv/data/GraphDocument.java @ 4512:015fb895586b

Moved visualizer to new directory.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 07 Feb 2012 22:41:09 +0100
parents
children
comparison
equal deleted inserted replaced
4511:6cb549627941 4512:015fb895586b
1 /*
2 * Copyright (c) 2008, Oracle and/or its affiliates. All rights reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation.
8 *
9 * This code is distributed in the hope that it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
12 * version 2 for more details (a copy is included in the LICENSE file that
13 * accompanied this code).
14 *
15 * You should have received a copy of the GNU General Public License version
16 * 2 along with this work; if not, write to the Free Software Foundation,
17 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
18 *
19 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
20 * or visit www.oracle.com if you need additional information or have any
21 * questions.
22 *
23 */
24 package com.sun.hotspot.igv.data;
25
26 import java.util.ArrayList;
27 import java.util.List;
28
29 /**
30 *
31 * @author Thomas Wuerthinger
32 */
33 public class GraphDocument extends Properties.Entity implements ChangedEventProvider<GraphDocument>, Folder {
34
35 private List<FolderElement> elements;
36 private ChangedEvent<GraphDocument> changedEvent;
37
38 public GraphDocument() {
39 elements = new ArrayList<>();
40 changedEvent = new ChangedEvent<>(this);
41 }
42
43 public void clear() {
44 elements.clear();
45 getChangedEvent().fire();
46 }
47
48 @Override
49 public ChangedEvent<GraphDocument> getChangedEvent() {
50 return changedEvent;
51 }
52
53 public void addGraphDocument(GraphDocument document) {
54 for (FolderElement e : document.elements) {
55 e.setParent(this);
56 this.addElement(e);
57 }
58 document.clear();
59 getChangedEvent().fire();
60 }
61
62 @Override
63 public String toString() {
64 StringBuilder sb = new StringBuilder();
65
66 sb.append("GraphDocument: ").append(getProperties().toString()).append(" \n\n");
67 for (FolderElement g : getElements()) {
68 sb.append(g.toString());
69 sb.append("\n\n");
70 }
71
72 return sb.toString();
73 }
74
75 @Override
76 public List<? extends FolderElement> getElements() {
77 return elements;
78 }
79
80 @Override
81 public void removeElement(FolderElement element) {
82 if (elements.remove(element)) {
83 getChangedEvent().fire();
84 }
85 }
86
87 @Override
88 public void addElement(FolderElement element) {
89 elements.add(element);
90 element.setParent(this);
91 getChangedEvent().fire();
92 }
93
94 @Override
95 public String getName() {
96 return "root";
97 }
98 }