source/com/c2kernel/graph/model/GraphModelManager.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142

package com.c2kernel.graph.model;

import java.util.ArrayList;
import java.util.Iterator;
import java.util.Observable;
import java.util.Stack;

import com.c2kernel.graph.event.EntireModelChangedEvent;
import com.c2kernel.graph.event.ForcedNotifyEvent;
import com.c2kernel.graph.event.GraphModelEvent;
import com.c2kernel.utils.Logger;


public class GraphModelManager extends Observable
{

    private GraphModel mGraphModel;
    private EdgeFactory mEdgeFactory;
    private VertexFactory mVertexFactory;
    private VertexOutlineCreator mVertexOutlineCreator;
    private EntireModelChangedEvent     mEntireModelChangedEvent     = new EntireModelChangedEvent();
    private ForcedNotifyEvent           mForcedNotifyEvent           = new ForcedNotifyEvent();
    private Stack                       mParentModels                 = new Stack();
    private ArrayList                   mParentIds                    = new ArrayList();
    private boolean                    mEditable                     = true;
    
    // Calling this constructor does not create a vertex outline creator
    // which is required by the method addVertexAndCreateId()
    public GraphModelManager()
    {
        mGraphModel = new GraphModel();
        mGraphModel.setManager(this);
    }
    
    public GraphModelManager(GraphModel newModel) {
        newModel.setManager(this);
        mGraphModel = newModel;
    }

    public void replace(GraphModel newModel) {
        mParentModels.clear();

        //zoom back to where we were
        for (Iterator iter = mParentIds.iterator(); iter.hasNext();) {
            Integer parentId = (Integer) iter.next();
            GraphableVertex childModelVertex = (GraphableVertex)newModel.getVertexById(parentId.intValue());
            if (childModelVertex == null) { // we've been deleted, stay here
                Logger.msg(7, "Didn't find "+parentId+" in new model tree. Stopping here.");
                do { iter.remove(); } while (iter.hasNext());
                break;
            }
            else {
                mParentModels.push(newModel);
                Logger.msg(7, "Pushing model and switching to "+parentId);
                newModel = childModelVertex.getChildGraphModel();
            }
        }        
        setModel(newModel);
    }
    
    public void setModel(GraphModel newModel) {
        // reset transient data
        newModel.mSelection           = new Selection(null, null, 0, 0, 0, 0);
        newModel.mNewEdgeOriginVertex = null;
        newModel.mNewEdgeEndPoint     = null;

        // copy factories over 
        newModel.setExternalEdgeFactory(mEdgeFactory);
        newModel.setExternalVertexFactory(mVertexFactory);
        newModel.setVertexOutlineCreator(mVertexOutlineCreator);
        mVertexFactory.setCreationContext(newModel.getContainingVertex());
        newModel.setManager(this);
        mGraphModel.setManager(null);
        mGraphModel = newModel;
        
        // notify
        setChanged();
        notifyObservers(mEntireModelChangedEvent);
    }
    
    public void zoomIn(Vertex child) {
        GraphModel childModel = child.getChildGraphModel();
        if (childModel != null) {
            mParentModels.push(mGraphModel);
            mParentIds.add(new Integer(child.getID()));
            setModel(childModel);
            Logger.msg(7, "ZoomIn - Stack size: "+mParentModels.size()+" ids:"+mParentIds.size());
        }
    }
    
    public void zoomOut() {
        if (!mParentModels.empty()) {
            setModel((GraphModel)mParentModels.pop());
            mParentIds.remove(mParentIds.size()-1);
        }
        Logger.msg(7, "ZoomOut - Stack size: "+mParentModels.size()+" ids:"+mParentIds.size());
        
    }
    
    public void forceNotify()
    {
        setChanged();
        notifyObservers(mForcedNotifyEvent);
    }
    
    public GraphModel getModel() {
        return mGraphModel;
    }
    
    public void setExternalEdgeFactory(EdgeFactory newEdgeFactory) {
        mEdgeFactory = newEdgeFactory;
        mGraphModel.setExternalEdgeFactory(newEdgeFactory);
    }   

    public void setExternalVertexFactory(VertexFactory newVertexFactory) {
        mVertexFactory = newVertexFactory;
        mGraphModel.setExternalVertexFactory(newVertexFactory);
    }   

    public void setVertexOutlineCreator(VertexOutlineCreator newVertexOutlineCreator) {
        mVertexOutlineCreator = newVertexOutlineCreator;
        mGraphModel.setVertexOutlineCreator(newVertexOutlineCreator);
    }   
    
    protected void setChanged() {
        super.setChanged();
    }
    
    protected void notifyObservers(GraphModelEvent ev) {
        super.notifyObservers(ev);
    }
    
    public void setEditable(boolean editable) {
        mEditable = editable;
    }
    
    public boolean isEditable() {
        return mEditable;
    }


}