Class WebSocketReader::Range
A function or a method which reads a message from a WebSocket connection
Extend this class to model new APIs. If you want to refine existing API models,
extend WebSocketReader instead.
Import path
import semmle.go.frameworks.WebSocketDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| getAnOutput | Gets an output of this function containing data that is read from a WebSocket connection. |
Inherited predicates
| getACall | Gets a call to this function. | from Function |
| getAParameter | Gets a parameter of this function. | from Function |
| getARead | Gets a data-flow node that reads the value of this entity. | from ValueEntity |
| getAReference | Gets a reference to this entity. | from Entity |
| getAResult | Gets a result variable of this function. | from Function |
| getAWrite | Gets a control-flow node that updates the value of this entity. | from ValueEntity |
| getBody | Gets the body of this function, if any. | from Function |
| getDeclaration | Gets the declaring identifier for this entity. | from Entity |
| getFuncDecl | Gets the declaration of this function, if any. | from Function |
| getName | Gets the name of this entity. | from Entity |
| getNumParameter | Gets the number of parameters of this function. | from Function |
| getNumResult | Gets the number of results of this function. | from Function |
| getPackage | Gets the package in which this entity is declared, if any. | from Entity |
| getParameter | Gets the | from Function |
| getParameterType | Gets the type of the | from Function |
| getQualifiedName | Gets the qualified name of this entity, if any. | from Entity |
| getResult | Gets the | from Function |
| getResultType | Gets the type of the | from Function |
| getScope | Gets the scope in which this entity is declared, if any. | from Entity |
| getType | Gets the type of this entity. | from Entity |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Entity |
| hasQualifiedName | Holds if this entity is declared in a package with path | from Entity |
| isVariadic | Holds if this function is variadic. | from Function |
| mayHaveSideEffects | Holds if this function has no observable side effects. | from Function |
| mayPanic | Holds if calling this function may cause a runtime panic. | from Function |
| mayReturnNormally | Holds if this function may return without panicking, exiting the process, or looping forever. | from Function |
| mustPanic | Holds if calling this function always causes a runtime panic. | from Function |
| toString | Gets a textual representation of this entity. | from Entity |