[RESOLVED] Difference between Method.hasName("XXX") and Method.getName() == "XXX"?

[CaledoniaProject]

Is there any difference between Method.hasName("XXX") and Method.getName() == "XXX"?

[intrigus-lgtm]

Looking at the source code shows that there is no difference between the two:

codeql/java/ql/lib/semmle/code/java/Element.qll

Lines 11 to 15 in 70f4efb

	/** Holds if this element has the specified `name`. */
	predicate hasName(string name) { hasName(this, name) }
	/** Gets the name of this element. */
	string getName() { this.hasName(result) }

There might potentially be a minor performance difference, but I'm not sure about that. Which ever form you use is fine.