Module GwtXml

Provides classes and predicates for working with *.gwt.xml files.

Import path

import semmle.code.java.frameworks.gwt.GwtXml

XML	Provides classes and predicates for working with XML files and their content.

Holds if any *.gwt.xml files are included in this snapshot.

GwtEntryPointElement	An `<entry-point>` element within a GWT module XML file.
GwtInheritsElement	An `<inherits>` element within a GWT module XML file.
GwtModuleElement	The top-level `<module>` element of a GWT module XML file.
GwtServletElement	A `<servlet>` element within a GWT module XML file.
GwtSourceElement	A `<source>` element within a GWT module XML file.
GwtXmlFile	A GWT module XML file with a `.gwt.xml` suffix.