CodeQL library for Go

codeql/go-all 2.1.4-dev (changelog, source)

Class Type

A Go type.

Import path

import semmle.go.Types

Direct supertypes

@type

Known direct subtypes

Predicates

getEntity	Gets the entity associated with this type.
getField	Gets the field `f` of this type.
getMethod	Gets the method `m` belonging to the method set of this type, if any.
getName	Gets the name of this type, if it has one.
getPackage	Gets the package in which this type is declared, if any.
getPointerType	Gets the pointer type that has this type as its base type.
getQualifiedName	Gets the qualified name of this type, if any.
getUnderlyingType	Gets the underlying type of this type after any type aliases have been replaced with their definition.
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.
hasMethod	Holds if the method set of this type contains a method named `m` of type `t`.
hasQualifiedName	Holds if this type is declared in a package with path `pkg` and has name `name`.
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.
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.
implementsComparable	Holds if this type implements `comparable`. This includes being `comparable` itself, or the underlying type of `comparable`.
pp	Gets a pretty-printed representation of this type, including its structure where applicable.
toString	Gets a basic textual representation of this type.