Python points-to: Add clarifying comment on internal object predicate.

This commit is contained in:
Mark Shannon
2019-06-27 16:13:33 +01:00
parent 6f1399be9b
commit 9c2b506f2d

View File

@@ -411,6 +411,8 @@ class UndefinedInternal extends ObjectInternal, TUndefined {
override string getName() { none() }
/** Holds if this object requires context to determine the object resulting from a call to it.
* True for most callables. */
override predicate contextSensitiveCallee() { none() }
}