nl.cwi.sen1.gui.plugin.editor
Class SliceRegistrar

java.lang.Object
  nl.cwi.sen1.gui.plugin.editor.SliceRegistrar

public class SliceRegistrar
extends java.lang.Object

Field Summary

private static locationapi.Factory

factory

Constructor Summary

SliceRegistrar()

Method Summary

private static void	initFactory(aterm.ATermList slices)
private static void	registerSlice(EditorPane editor, locationapi.types.Slice slice)
static void	registerSlices(EditorPane editor, aterm.ATermList slices)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

factory

private static locationapi.Factory factory

Constructor Detail

SliceRegistrar

public SliceRegistrar()

Method Detail

registerSlices

public static void registerSlices(EditorPane editor,
                                  aterm.ATermList slices)

registerSlice

private static void registerSlice(EditorPane editor,
                                  locationapi.types.Slice slice)

initFactory

private static void initFactory(aterm.ATermList slices)