JavaScript: Sharpen result type of getAReceivedItem.

This commit is contained in:
Max Schaefer
2019-02-27 08:51:43 +00:00
parent cc6ca8bc62
commit 0648d7aa09

View File

@@ -167,7 +167,7 @@ module SocketIO {
string getEventName() { eventName.mayHaveStringValue(result) }
/** Gets a data flow node representing data received from a client. */
DataFlow::Node getAReceivedItem() { result = getCallback(1).getAParameter() }
DataFlow::SourceNode getAReceivedItem() { result = getCallback(1).getAParameter() }
}
/**