KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > aspectj > ajde > ui > GlobalStructureView


1
2 /* -*- Mode: Java; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
3  *
4  * This file is part of the IDE support for the AspectJ(tm)
5  * programming language; see http://aspectj.org
6  *
7  * The contents of this file are subject to the Mozilla Public License
8  * Version 1.1 (the "License"); you may not use this file except in
9  * compliance with the License. You may obtain a copy of the License at
10  * either http://www.mozilla.org/MPL/ or http://aspectj.org/MPL/.
11  *
12  * Software distributed under the License is distributed on an "AS IS" basis,
13  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
14  * for the specific language governing rights and limitations under the
15  * License.
16  *
17  * The Original Code is AspectJ.
18  *
19  * The Initial Developer of the Original Code is Xerox Corporation. Portions
20  * created by Xerox Corporation are Copyright (C) 1999-2002 Xerox Corporation.
21  * All Rights Reserved.
22  *
23  * Contributor(s):
24  */
25
26 package org.aspectj.ajde.ui;
27
28 import org.aspectj.asm.*;
29
30 /**
31  * Should only be created by the {@link StructureViewManager} or an
32  * equivalent factory.
33  *
34  * @author Mik Kersten
35  */
36 public class GlobalStructureView extends FileStructureView {
37
38     private GlobalViewProperties viewProperties;
39
40     public GlobalStructureView(GlobalViewProperties viewProperties) {
41         super(viewProperties);
42         this.viewProperties = viewProperties;
43     }
44     
45     public GlobalViewProperties getGlobalViewProperties() {
46         return viewProperties;
47     }
48     
49 // public void setActiveNode(StructureViewNode activeNode) {
50 // StructureNode node = activeNode.getStructureNode();
51 //
52 // activeNode = activeNode;
53 // if (renderer != null) renderer.setActiveNode(activeNode);
54 // }
55 //
56 // public void setActiveNode(StructureViewNode activeNode, int sourceLine) {
57 // activeNode = activeNode;
58 // if (renderer != null) renderer.setActiveNode(activeNode, sourceLine);
59 // }
60
61     public String JavaDoc toString() {
62         return viewProperties.getHierarchy().toString();
63     }
64 }
65
Popular Tags