public class ExtensionGenerator
extends java.lang.Object
Constructor and Description |
---|
ExtensionGenerator() |
Modifier and Type | Method and Description |
---|---|
void |
contribAttribute(org.w3c.dom.Element element,
java.lang.String name,
java.lang.String value) |
org.w3c.dom.Element |
contribElement(org.w3c.dom.Element parent,
java.lang.String name,
org.eclipse.xtext.xbase.lib.Procedures.Procedure1<? super org.w3c.dom.Element> initializer) |
ExtensionData |
contribExtension(java.lang.String id,
java.lang.String point,
org.eclipse.xtext.xbase.lib.Procedures.Procedure1<? super org.w3c.dom.Element> initializer) |
public ExtensionData contribExtension(java.lang.String id, java.lang.String point, org.eclipse.xtext.xbase.lib.Procedures.Procedure1<? super org.w3c.dom.Element> initializer)
public org.w3c.dom.Element contribElement(org.w3c.dom.Element parent, java.lang.String name, org.eclipse.xtext.xbase.lib.Procedures.Procedure1<? super org.w3c.dom.Element> initializer)
public void contribAttribute(org.w3c.dom.Element element, java.lang.String name, java.lang.String value)