View source code
Display the source code in dmd/mtype.d from which this
page was generated on github.
Report a bug
If you spot a problem with this page, click here to create a
Bugzilla issue.
Improve this page
Quickly fork, edit online, and submit a pull request for this page.
Requires a signed-in GitHub account. This works well for small changes.
If you'd like to make larger changes you may want to consider using
local clone.
Module dmd.mtype
Defines a D type.
Documentation
https://dlang.org/phobos/dmd_mtype.html
Coverage
https://codecov.io/gh/dlang/dmd/src/master/src/dmd/mtype.d
Functions
Name | Description |
---|---|
attributesApply(tf, dg, trustFormat)
|
For each active attribute (ref/const/nogc/etc) call fp with a void* for the
work param and a string representation of the attribute.
|
buildScopeRef(stc)
|
Computes how a parameter may be returned. Shrinking the representation is necessary because StorageClass is so wide |
getException()
|
|
getThrowable()
|
|
isAggregate(t)
|
If the type is a class or struct, returns the symbol for it, else null. |
isCopyable(t)
|
Determine if type t is copyable. |
isIndexableNonAggregate(t)
|
Determine if type t can be indexed or sliced given that it is not an aggregate with operator overloads. |
isSomeChar(ty)
|
Returns true if ty is char, wchar, or dchar |
modifiersApply(tf, dg)
|
For each active modifier (MODFlags.const_, MODFlags.immutable_, etc) call fp with a
void* for the work param and a string representation of the attribute.
|
MODimplicitConv(modfrom, modto)
|
Return !=0 if modfrom can be implicitly converted to modto |
MODmerge(mod1, mod2)
|
Merge mod bits to form common mod. |
MODmethodConv(modfrom, modto)
|
Return MATCH.exact or MATCH.constant if a method of type '() modfrom' can call a method of type '() modto'. |
MODtoBuffer(buf, mod)
|
Store modifier name into buf. |
MODtoChars(mod)
|
|
ModToStc(mod)
|
Convert MODxxxx to STCxxx |
MODtoString(mod)
|
|
mutabilityOfType(isref, t)
|
Determine mutability of indirections in (ref) t. |
toAutoQualChars(t1, t2)
|
For printing two types with qualification when necessary. |
toBooleanVector(tv)
|
Creates an appropriate vector type for tv that will hold one boolean
result for each element of the vector type. The result of vector comparisons
is a single or doubleword mask of all 1s (comparison true) or all 0s
(comparison false). This SIMD mask type does not have an equivalent D type,
however its closest equivalent would be an integer vector of the same unit
size and length.
|
toChars(sr)
|
Give us a nice string for debugging purposes. |
trustToString(trust)
|
Pick off one of the trust flags from trust, and return a string representation of it. |
visitTYCase(handler)
|
CTFE-only helper function for VisitInitializer. |
VisitType(t)
|
Dispatch to function based on static type of Type. |
Classes
Name | Description |
---|---|
Parameter
|
|
Type
|
|
TypeAArray
|
|
TypeArray
|
|
TypeBasic
|
|
TypeClass
|
|
TypeDArray
|
Dynamic array, no dimension |
TypeDelegate
|
|
TypeEnum
|
|
TypeError
|
|
TypeFunction
|
|
TypeIdentifier
|
|
TypeInstance
|
Similar to TypeIdentifier, but with a TemplateInstance as the root |
TypeMixin
|
Implements mixin types. |
TypeNext
|
|
TypeNoreturn
|
|
TypeNull
|
|
TypePointer
|
|
TypeQualified
|
|
TypeReference
|
|
TypeReturn
|
|
TypeSArray
|
Static array, one with a fixed dimension |
TypeSlice
|
This is so we can slice a TypeTuple |
TypeStruct
|
|
TypeTag
|
Unlike D, C can declare/define struct/union/enum tag names inside Declarators, instead of separately as in D. The order these appear in the symbol table must be in lexical order. There isn't enough info at the parsing stage to determine if it's a declaration or a reference to an existing name, so this Type collects the necessary info and defers it to semantic(). |
TypeTraits
|
This is a shell containing a TraitsExp that can be either resolved to a type or to a symbol. |
TypeTuple
|
|
TypeTypeof
|
|
TypeVector
|
The basetype must be one of: byte[16],ubyte[16],short[8],ushort[8],int[4],uint[4],long[2],ulong[2],float[4],double[2] For AVX: byte[32],ubyte[32],short[16],ushort[16],int[8],uint[8],long[4],ulong[4],float[8],double[4] |
Structs
Name | Description |
---|---|
ParameterList
|
Represents a function's formal parameters + variadics info. Length, indexing and iteration are based on a depth-first tuple expansion. |
Enums
Name | Description |
---|---|
Covariant
|
Result of a check whether two types are covariant |
DotExpFlag
|
dotExp() bit flags |
ScopeRef
|
Classification of 'scope-return-ref' possibilities |
Authors
License
Copyright © 1999-2024 by the D Language Foundation | Page generated by ddox.