01: /*
02: * $Id: JGraphEditorPlugin.java,v 1.1.1.1 2005/08/04 11:21:58 gaudenz Exp $
03: * Copyright (c) 2001-2005, Gaudenz Alder
04: *
05: * All rights reserved.
06: *
07: * See LICENSE file for license details. If you are unable to locate
08: * this file please contact info (at) jgraph (dot) com.
09: */
10: package com.jgraph.editor;
11:
12: import org.w3c.dom.Node;
13:
14: import com.jgraph.JGraphEditor;
15:
16: /**
17: * Defines the requirements for a class that may be used define addon
18: * functionality for a JGraph editor.
19: */
20: public interface JGraphEditorPlugin {
21:
22: /**
23: * Initializes the plugin for the specified editor using
24: * <code>configuration</code>
25: *
26: * @param editor
27: * The editor to initialize the plugin for.
28: * @param configuration
29: * The configuration for the plugin.
30: *
31: * @throws Exception
32: * To indicate that the plugin could not be initialized.
33: */
34: public void initialize(JGraphEditor editor, Node configuration)
35: throws Exception;
36:
37: }
|