public class DiscreteGroupLoader
extends de.jtem.jrworkspace.plugin.Plugin
TessellatedContent
.
To be generally useful, there needs to be some way to set the groups which are to be loaded.Modifier and Type | Class and Description |
---|---|
static interface |
DiscreteGroupLoader.GroupLoadedListener |
Modifier and Type | Field and Description |
---|---|
protected List<DiscreteGroupLoader.GroupLoadedListener> |
listeners |
protected static String[] |
noneuclideanNames |
Constructor and Description |
---|
DiscreteGroupLoader() |
Modifier and Type | Method and Description |
---|---|
boolean |
addGroupLoadedListener(DiscreteGroupLoader.GroupLoadedListener l) |
void |
fireGroupLoaded() |
void |
fireGroupLoaded(Event cce) |
DiscreteGroup |
getGroup() |
de.jtem.jrworkspace.plugin.PluginInfo |
getPluginInfo() |
void |
install(de.jtem.jrworkspace.plugin.Controller c) |
protected void |
loadGroup() |
boolean |
removeGroupLoadedListener(DiscreteGroupLoader.GroupLoadedListener l) |
protected void |
replaceGroup(DiscreteGroup dg) |
protected void |
replaceGroup(String string) |
protected void |
replacePlatycosm(String string) |
protected JMenu |
setupGUI() |
protected List<DiscreteGroupLoader.GroupLoadedListener> listeners
protected static String[] noneuclideanNames
public boolean addGroupLoadedListener(DiscreteGroupLoader.GroupLoadedListener l)
public void fireGroupLoaded()
public void fireGroupLoaded(Event cce)
public DiscreteGroup getGroup()
public de.jtem.jrworkspace.plugin.PluginInfo getPluginInfo()
getPluginInfo
in class de.jtem.jrworkspace.plugin.Plugin
public void install(de.jtem.jrworkspace.plugin.Controller c) throws Exception
install
in class de.jtem.jrworkspace.plugin.Plugin
Exception
protected void loadGroup()
public boolean removeGroupLoadedListener(DiscreteGroupLoader.GroupLoadedListener l)
protected void replaceGroup(DiscreteGroup dg)
protected void replaceGroup(String string)
protected void replacePlatycosm(String string)
protected JMenu setupGUI()