Module GwtXml

Import path

semmle.code.java.frameworks.gwt.GwtXml

Imports

XML

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

Predicates

isGwtXmlIncluded

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

Classes

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.