UDocumentation UE5.7 10.02.2026 (Source)
API documentation for Unreal Engine 5.7
Public Member Functions | Friends | List of all members
uLang::CTypeBase Class Referenceabstract

Base class for all types. More...

#include <SemanticTypes.h>

+ Inheritance diagram for uLang::CTypeBase:

Public Member Functions

 CTypeBase (CSemanticProgram &Program)
 
virtual ~CTypeBase ()
 
CSemanticProgram & GetProgram () const
 
virtual const CNormalType & GetNormalType () const =0
 
virtual CNamedType * AsNamedType ()
 
virtual const CNamedType * AsNamedType () const
 
virtual CFlowType * AsFlowType ()
 
virtual const CFlowType * AsFlowType () const
 
virtual const CAliasType * AsAliasType () const
 
virtual bool CanBeCustomAccessorDataType () const =0
 
virtual bool CanBePredictsVarDataType () const
 
CUTF8String AsCode (ETypeSyntaxPrecedence OuterPrecedence=ETypeSyntaxPrecedence::Min, ETypeStringFlag Flag=ETypeStringFlag::Simple) const
 
virtual CUTF8String AsCodeRecursive (ETypeSyntaxPrecedence OuterPrecedence, TArray< const CFlowType * > &VisitedFlowTypes, bool bLinkable, ETypeStringFlag Flag) const =0
 
CUTF8String AsParamsCode (ETypeSyntaxPrecedence OuterPrecedence=ETypeSyntaxPrecedence::Min, ETypeStringFlag Flag=ETypeStringFlag::Simple) const
 
virtual CUTF8String AsParamsCode (ETypeSyntaxPrecedence OuterPrecedence, TArray< const CFlowType * > &VisitedFlowTypes, bool WithColon, ETypeStringFlag Flag=ETypeStringFlag::Simple) const
 
CUTF8String AsLinkableCode () const
 

Friends

class CSemanticProgram
 

Detailed Description

Base class for all types.

Constructor & Destructor Documentation

◆ CTypeBase()

uLang::CTypeBase::CTypeBase ( CSemanticProgram &  Program)
inline

◆ ~CTypeBase()

virtual uLang::CTypeBase::~CTypeBase ( )
inlinevirtual

Member Function Documentation

◆ AsAliasType()

virtual const CAliasType * uLang::CTypeBase::AsAliasType ( ) const
inlinevirtual

Reimplemented in uLang::CAliasType.

◆ AsCode()

CUTF8String uLang::CTypeBase::AsCode ( ETypeSyntaxPrecedence  OuterPrecedence = ETypeSyntaxPrecedence::Min,
ETypeStringFlag  Flag = ETypeStringFlag::Simple 
) const
inline

Converts this class into its source code string equivalent, for use in error messages. This is essentially a disassembly of the internal language data-structures into source code. @Notes: The code generated may not round-trip to an equivalent CTypeBase.

◆ AsCodeRecursive()

virtual CUTF8String uLang::CTypeBase::AsCodeRecursive ( ETypeSyntaxPrecedence  OuterPrecedence,
TArray< const CFlowType * > &  VisitedFlowTypes,
bool  bLinkable,
ETypeStringFlag  Flag 
) const
pure virtual

Implemented in uLang::CCastableType, uLang::CConcreteType, uLang::CScopedAccessLevelDefinition, uLang::CClass, uLang::CInterface, uLang::CGlobalType< Kind >, uLang::CGlobalType< ETypeKind::Any >, uLang::CGlobalType< ETypeKind::Char32 >, uLang::CGlobalType< ETypeKind::Char8 >, uLang::CGlobalType< ETypeKind::Comparable >, uLang::CGlobalType< ETypeKind::False >, uLang::CGlobalType< ETypeKind::Logic >, uLang::CGlobalType< ETypeKind::Path >, uLang::CGlobalType< ETypeKind::Persistable >, uLang::CGlobalType< ETypeKind::Range >, uLang::CGlobalType< ETypeKind::Rational >, uLang::CGlobalType< ETypeKind::True >, uLang::CGlobalType< ETypeKind::Void >, uLang::CTypeType, uLang::CNominalType, uLang::CPointerType, uLang::CReferenceType, uLang::COptionType, uLang::CArrayType, uLang::CGeneratorType, uLang::CMapType, uLang::CTupleType, uLang::CFunctionType, uLang::CFlowType, uLang::CNamedType, uLang::CIntType, uLang::CFloatType, uLang::CAliasType, uLang::CTypeVariable, and uLang::CUnknownType.

◆ AsFlowType() [1/2]

virtual CFlowType * uLang::CTypeBase::AsFlowType ( )
inlinevirtual

Reimplemented in uLang::CFlowType.

◆ AsFlowType() [2/2]

virtual const CFlowType * uLang::CTypeBase::AsFlowType ( ) const
inlinevirtual

Reimplemented in uLang::CFlowType.

◆ AsLinkableCode()

CUTF8String uLang::CTypeBase::AsLinkableCode ( ) const
inline

As above, but sacrifices readability to ensure that it will not collide with other CTypes.

◆ AsNamedType() [1/2]

virtual CNamedType * uLang::CTypeBase::AsNamedType ( )
inlinevirtual

Reimplemented in uLang::CNamedType.

◆ AsNamedType() [2/2]

virtual const CNamedType * uLang::CTypeBase::AsNamedType ( ) const
inlinevirtual

Reimplemented in uLang::CNamedType.

◆ AsParamsCode() [1/2]

virtual CUTF8String uLang::CTypeBase::AsParamsCode ( ETypeSyntaxPrecedence  OuterPrecedence,
TArray< const CFlowType * > &  VisitedFlowTypes,
bool  WithColon,
ETypeStringFlag  Flag = ETypeStringFlag::Simple 
) const
inlinevirtual

Reimplemented in uLang::CTupleType.

◆ AsParamsCode() [2/2]

CUTF8String uLang::CTypeBase::AsParamsCode ( ETypeSyntaxPrecedence  OuterPrecedence = ETypeSyntaxPrecedence::Min,
ETypeStringFlag  Flag = ETypeStringFlag::Simple 
) const
inline

As above, but if it's a tuple then doesn't write the enclosing parenthesis, and : before the type.

◆ CanBeCustomAccessorDataType()

virtual bool uLang::CTypeBase::CanBeCustomAccessorDataType ( ) const
pure virtual

Implemented in uLang::CClass, uLang::CInstantiatedClass, uLang::CEnumeration, uLang::CInterface, uLang::CInstantiatedInterface, uLang::CModule, uLang::CGlobalType< Kind >, uLang::CGlobalType< ETypeKind::Any >, uLang::CGlobalType< ETypeKind::Char32 >, uLang::CGlobalType< ETypeKind::Char8 >, uLang::CGlobalType< ETypeKind::Comparable >, uLang::CGlobalType< ETypeKind::False >, uLang::CGlobalType< ETypeKind::Logic >, uLang::CGlobalType< ETypeKind::Path >, uLang::CGlobalType< ETypeKind::Persistable >, uLang::CGlobalType< ETypeKind::Range >, uLang::CGlobalType< ETypeKind::Rational >, uLang::CGlobalType< ETypeKind::True >, uLang::CGlobalType< ETypeKind::Void >, uLang::CTypeType, uLang::CCastableType, uLang::CConcreteType, uLang::CPointerType, uLang::CReferenceType, uLang::COptionType, uLang::CArrayType, uLang::CGeneratorType, uLang::CMapType, uLang::CTupleType, uLang::CFunctionType, uLang::CFlowType, uLang::CNamedType, uLang::CIntType, uLang::CFloatType, uLang::CAliasType, uLang::CTypeVariable, and uLang::CUnknownType.

◆ CanBePredictsVarDataType()

virtual bool uLang::CTypeBase::CanBePredictsVarDataType ( ) const
inlinevirtual

Reimplemented in uLang::CClass, uLang::CInterface, uLang::CGlobalType< Kind >, uLang::CGlobalType< ETypeKind::Any >, uLang::CGlobalType< ETypeKind::Char32 >, uLang::CGlobalType< ETypeKind::Char8 >, uLang::CGlobalType< ETypeKind::Comparable >, uLang::CGlobalType< ETypeKind::False >, uLang::CGlobalType< ETypeKind::Logic >, uLang::CGlobalType< ETypeKind::Path >, uLang::CGlobalType< ETypeKind::Persistable >, uLang::CGlobalType< ETypeKind::Range >, uLang::CGlobalType< ETypeKind::Rational >, uLang::CGlobalType< ETypeKind::True >, uLang::CGlobalType< ETypeKind::Void >, uLang::COptionType, uLang::CIntType, uLang::CFloatType, and uLang::CAliasType.

◆ GetNormalType()

virtual const CNormalType & uLang::CTypeBase::GetNormalType ( ) const
pure virtual

Normalizes generic types to head-normal types.

Implemented in uLang::CNormalType, uLang::CFlowType, and uLang::CAliasType.

◆ GetProgram()

CSemanticProgram & uLang::CTypeBase::GetProgram ( ) const
inline

Friends And Related Symbol Documentation

◆ CSemanticProgram

friend class CSemanticProgram
friend
The documentation for this class was generated from the following file: