JS: Update comment

This commit is contained in:
Asger F
2024-09-06 13:46:26 +02:00
parent 55d4e7e742
commit 013d226ae3

View File

@@ -254,11 +254,8 @@ module Public {
/** Gets the singleton content to be accessed. */ /** Gets the singleton content to be accessed. */
Content asSingleton() { this = MkSingletonContent(result) } Content asSingleton() { this = MkSingletonContent(result) }
/** Gets the property name to be accessed. */ /** Gets the property name to be accessed, provided that this is a singleton content set. */
PropertyName asPropertyName() { PropertyName asPropertyName() { result = this.asSingleton().asPropertyName() }
// TODO: array indices should be mapped to a ContentSet that also reads from UnknownArrayElement
result = this.asSingleton().asPropertyName()
}
/** Gets the array index to be accessed. */ /** Gets the array index to be accessed. */
int asArrayIndex() { result = this.asSingleton().asArrayIndex() } int asArrayIndex() { result = this.asSingleton().asArrayIndex() }