public class Category
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
CATEGORY_XML |
private de.pdark.decentxml.Document |
document |
private de.pdark.decentxml.Element |
dom |
private static de.pdark.decentxml.XMLParser |
parser |
Constructor and Description |
---|
Category(de.pdark.decentxml.Document document) |
Modifier and Type | Method and Description |
---|---|
java.util.List<UpdateSite.SiteFeatureRef> |
getFeatures() |
java.util.List<PluginRef> |
getPlugins() |
static Category |
read(java.io.File file) |
static Category |
read(java.io.InputStream is) |
static void |
write(Category category,
java.io.File file) |
public static final java.lang.String CATEGORY_XML
private static de.pdark.decentxml.XMLParser parser
private final de.pdark.decentxml.Element dom
private final de.pdark.decentxml.Document document
public java.util.List<UpdateSite.SiteFeatureRef> getFeatures()
public java.util.List<PluginRef> getPlugins()
public static Category read(java.io.File file) throws java.io.IOException
java.io.IOException
public static Category read(java.io.InputStream is) throws java.io.IOException
java.io.IOException
public static void write(Category category, java.io.File file) throws java.io.IOException
java.io.IOException