Package | Description |
---|---|
org.gvsig.tools.extensionpoint | |
org.gvsig.tools.extensionpoint.impl |
Modifier and Type | Method and Description |
---|---|
ExtensionPoint |
ExtensionPointManager.add(String name) |
ExtensionPoint |
ExtensionPointManager.add(String name,
String description)
Metodo de utilidad para facilitar la creacion de puntos de extension.
|
ExtensionPoint |
ExtensionPointManager.create(String name,
String description)
Crea un nuevo punto de extension y nos lo debuelve.
|
ExtensionPoint |
ExtensionPointManager.get(String name)
Obtiene el punto de extension asociado al nombre indicado.
|
Modifier and Type | Method and Description |
---|---|
boolean |
ExtensionPointManager.add(ExtensionPoint extensionPoint)
AƱade el punto de extension indicado al registro de puntos de extension.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultExtensionPoint |
Modifier and Type | Method and Description |
---|---|
ExtensionPoint |
DefaultExtensionPointManager.add(String name) |
ExtensionPoint |
DefaultExtensionPointManager.add(String name,
String description) |
ExtensionPoint |
DefaultExtensionPointManager.create(String name,
String description) |
ExtensionPoint |
DefaultExtensionPointManager.get(String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
DefaultExtensionPointManager.add(ExtensionPoint extensionPoint) |
Copyright © 2013 gvSIG Association. All Rights Reserved.