|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object sk.uniba.euromath.editor.RendererInfo
public class RendererInfo
Contains information about single renderer. Returned by the renderer factory. If the factory instance wants to store additional properties into this object (for example editor class instance, etc) it may derive from this class. Derived class should preserve immutability.
Object is equal to other editor info object if and only if a) their factories are equal, b) their ids are equal.
Field Summary | |
---|---|
String |
sourceNamespace
The namespace this editor can process. |
EnumSet<sk.baka.ikslibs.SourceEnum> |
sourceTypes
Set of all types of sources that are supported by this editor. |
Constructor Summary | |
---|---|
RendererInfo(String id,
IRendererFactory factory,
EnumSet<sk.baka.ikslibs.SourceEnum> sourceTypes,
String sourceNamespace)
Constructor. |
Method Summary | |
---|---|
boolean |
equals(Object obj)
|
IRendererFactory |
getFactory()
|
String |
getId()
|
int |
hashCode()
|
IRenderer |
newRenderer()
Produces new instance of this renderer. |
String |
toString()
|
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public final EnumSet<sk.baka.ikslibs.SourceEnum> sourceTypes
public final String sourceNamespace
Constructor Detail |
---|
public RendererInfo(String id, IRendererFactory factory, EnumSet<sk.baka.ikslibs.SourceEnum> sourceTypes, String sourceNamespace)
id
- Unique identifier of this renderer. Unique in context of a
factory instance.factory
- The factory that is able to produce this renderer.sourceTypes
- type of Source object that this exporter processes.sourceNamespace
- the namespace of the source document.Method Detail |
---|
public String toString()
toString
in class Object
public final boolean equals(Object obj)
equals
in class Object
public final int hashCode()
hashCode
in class Object
public final IRenderer newRenderer() throws EditorException
EditorException
- if renderer construction fails.public String getId()
public IRendererFactory getFactory()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |