Class ProtoPom
An XML element that provides convenience access methods to retrieve child XML elements named “groupId”, “artifactId” and “version”, typically contained in Maven POM XML files.
Import path
import semmle.code.xml.MavenPom
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
| getArtifact |
Gets a child XML element named “artifactId”. |
| getGroup |
Gets a child XML element named “groupId”. |
| getShortCoordinate |
Gets a Maven coordinate of the form |
| getVersion |
Gets a child XML element named “version”. |
| getVersionString |
Gets a string representing the version, or an empty string if no |
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 |
| 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 |