CodeQL library for Go
codeql/go-all 3.0.1-dev (changelog, source)
Search

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 f of this type.

from Type
getMethod

Gets the method m belonging to the method set of this type, if any.

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 startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

from Type
hasMethod

Holds if the method set of this type contains a method named m of type t.

from Type
hasQualifiedName

Holds if this type is declared in a package with path pkg and has name name.

from Type
implements

Holds if this type implements interface i, that is, the method set of i is contained in the method set of this type and any type restrictions are satisfied.

from Type
implements

Holds if this type implements an interface that has the qualified name pkg.name, that is, the method set of pkg.name is contained in the method set of this type and any type restrictions are satisfied.

from Type
implementsComparable

Holds if this type implements comparable. This includes being comparable itself, or the underlying type of comparable.

from Type