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")
	}
}