Class TypeSetLiteralType
A type set literal type, used when declaring a non-basic interface. May be a single term, consisting of either a type or a tilde followed by a type, or a union of terms.
Examples:
int
~string
int | ~string
Import path
import semmle.go.TypesDirect supertypes
Indirect supertypes
Predicates
| getATerm | Gets a term in this type set literal. |
| getInterfaceType | Gets the interface type of which this type-set literal is the only element, if it exists. |
| getTerm | Gets the |
| includesType | Holds if |
| 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
| 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 |