Class RecvChanType
A channel type that can only receive.
Import path
import semmle.go.Types
Direct supertypes
Indirect supertypes
Predicates
canReceive | Holds if this channel can receive data. |
pp | Gets a pretty-printed representation of this type, including its structure where applicable. |
toString | Gets a basic textual representation of this type. |
Inherited predicates
canSend | Holds if this channel can send data. | from ChanType |
getElementType | Gets the element type of this channel type. | from ChanType |
getEntity | Gets the entity associated with this type. | from Type |
getField | Gets the field | from Type |
getMethod | Gets the method | from Type |
getName | Gets the name of this type, if it has one. | from Type |
getPackage | Gets the package in which this type is declared, if any. | from Type |
getPointerType | Gets the pointer type that has this type as its base type. | from Type |
getQualifiedName | Gets the qualified name of this type, if any. | from Type |
getUnderlyingType | Gets the underlying type of this type after any type aliases have been replaced with their definition. | from Type |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Type |
hasMethod | Holds if the method set of this type contains a method named | from Type |
hasQualifiedName | Holds if this type is declared in a package with path | from Type |
implements | Holds if this type implements interface | from Type |
implements | Holds if this type implements an interface that has the qualified name | from Type |
implementsComparable | Holds if this type implements | from Type |