import default import semmle.code.java.frameworks.spring.SpringXMLElement /** Represents a <prop> element in Spring XML files*/ class SpringProp extends SpringXMLElement { SpringProp() { this.getName() = "prop" } /** returns the value of the key attribute*/ string getKeyString() { result = this.getAttributeValue("key") } }