slang::GenericClassDefSymbol class

Represents a generic class definition, which is a parameterized class that has not yet had its parameter values specified. This is a not a type – the generic class must first be specialized in order to be a type usable in expressions and declarations.

Base classes

class Symbol

Public types

class iterator
An iterator for specializations of the generic class.

Public functions

auto getDefaultSpecialization(Compilation& compilation) const -> const Type*
auto getSpecialization(Compilation& compilation, LookupLocation lookupLocation, const ParameterValueAssignmentSyntax& syntax) const -> const Type&
auto getInvalidSpecialization(Compilation& compilation) const -> const Type&
auto numSpecializations() const -> size_t
Gets the number of specializations that have been made for this generic class.
void checkForwardDecls() const
auto specializations() const -> iterator_range<iterator>
Gets an iterator to the specializations created for the generic class.

Public variables

bool isInterface
Set to true if the generic class is an interface class.

Function documentation

const Type* slang::GenericClassDefSymbol::getDefaultSpecialization(Compilation& compilation) const

Gets the default specialization for the class, or nullptr if the generic class has no default specialization (because some parameters are not defaulted).

const Type& slang::GenericClassDefSymbol::getSpecialization(Compilation& compilation, LookupLocation lookupLocation, const ParameterValueAssignmentSyntax& syntax) const

Gets the specialization for the class given the specified parameter value assignments. The result is cached and reused if requested more than once.

const Type& slang::GenericClassDefSymbol::getInvalidSpecialization(Compilation& compilation) const

Forces a specialization with all parameters set to invalid values. This allows determining members that aren't dependent on parameters.

void slang::GenericClassDefSymbol::checkForwardDecls() const

Checks all forward declarations for validity when considering the target type of this alias. Any inconsistencies will issue diagnostics.