Class StrutsXmlInclude
A <include> element within a struts.xml file.
This indicates that the file specified in the file attribute should be included in the struts
configuration. The file is looked up using the classpath.
Import path
import semmle.code.java.frameworks.struts.StrutsXML
Direct supertypes
Indirect supertypes
Predicates
| getIncludedFile |
Gets the XMLFile that we believe is included by this include statement. |
Inherited predicates
| allCharactersString |
Gets the result of appending all the character sequences of this XML parent from left to right, separated by a space. |
from XmlParent |
| getACharactersSet |
Gets a character sequence that is a child of this XML parent. |
from XmlParent |
| getAChild |
Gets a child element of this XML parent. |
from XmlParent |
| getAChild |
Gets a child element of this XML parent with the given |
from XmlParent |
| getAComment |
Gets a comment that is a child of this XML parent. |
from XmlParent |
| getAnAttribute |
Gets an XML attribute of this XML element. |
from XmlElement |
| getAttribute |
Gets the attribute with the specified |
from XmlElement |
| getAttributeValue |
Gets the value of the attribute with the specified |
from XmlElement |
| getChild |
Gets the child element at a specified index of this XML parent. |
from XmlParent |
| getDepth |
Gets the depth of this element within the XML file tree structure. |
from XmlElement |
| getElementPositionIndex |
Gets the index of this XML element among its parent’s children. |
from XmlElement |
| getFile |
Gets the XML file in which this XML element occurs. |
from XmlElement |
| getIndex |
Gets the index of this XML element among its parent’s children. |
from XmlElement |
| getLocation |
Gets the source location for this element. |
from XmlLocatable |
| getName |
Gets the name of this XML element. |
from XmlElement |
| getNamespace |
Gets the namespace of this XML element, if any. |
from XmlElement |
| getNumberOfCharacterSets |
Gets the number of places in the body of this XML parent where text occurs. |
from XmlParent |
| getNumberOfChildren |
Gets the number of child XML elements of this XML parent. |
from XmlParent |
| getParent |
Gets the parent of this XML element. |
from XmlElement |
| getTextValue |
Gets the text value contained in this XML parent. |
from XmlParent |
| getValue |
Gets the value for this element, with leading and trailing whitespace trimmed. |
from StrutsXmlElement |
| hasAttribute |
Holds if this XML element has an attribute with the specified |
from XmlElement |
| hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
from XmlLocatable |
| hasName |
Holds if this XML element has the given |
from XmlElement |
| hasNamespace |
Holds if this XML element has a namespace. |
from XmlElement |
| toString |
Gets a printable representation of this XML element. |
from XmlElement |