Navigation
API > API/Runtime > API/Runtime/VerseCompiler
| Name | CTypeVariable |
| Type | class |
| Header File | /Engine/Source/Runtime/VerseCompiler/Public/uLang/Semantics/TypeVariable.h |
| Include Path | #include "uLang/Semantics/TypeVariable.h" |
Syntax
class CTypeVariable :
public uLang::CDefinition ,
public uLang::CNominalType
Inheritance Hierarchy
- CAttributable → CDefinition → CTypeVariable
- CNamed → CDefinition → CTypeVariable
- TAstNodeRef → CDefinition → CTypeVariable
- CSharedMix → CDefinition → CTypeVariable
- CTypeBase → CNormalType → CNominalType → CTypeVariable
Constructors
| Name | Remarks | Include Path | Unreal Specifiers |
|---|---|---|---|
| uLang/Semantics/TypeVariable.h |
Constants
| Name | Type | Remarks | Include Path |
|---|---|---|---|
| StaticDefinitionKind | const CDefinition::EKind | uLang/Semantics/TypeVariable.h | |
| StaticTypeKind | const ETypeKind | uLang/Semantics/TypeVariable.h |
Variables
Public
| Name | Type | Remarks | Include Path | Unreal Specifiers |
|---|---|---|---|---|
| _ExplicitParam | const CDataDefinition * | A parameter X_ of type type(A, B) is encoded as :type(Y,Y)whereY:type(A,Z),Z:type(Y,B) with all uses resolving to `Z. |
uLang/Semantics/TypeVariable.h | |
| _NegativeTypeVariable | const CTypeVariable * | _NegativeTypeVariable_ points to Y_ in the original encoding. |
uLang/Semantics/TypeVariable.h |
Protected
| Name | Type | Remarks | Include Path | Unreal Specifiers |
|---|---|---|---|---|
| _NegativeType | const CTypeBase * | uLang/Semantics/TypeVariable.h | ||
| _PositiveType | const CTypeBase * | uLang/Semantics/TypeVariable.h |
Functions
Public
| Name | Remarks | Include Path | Unreal Specifiers |
|---|---|---|---|
CExprDefinition * GetAstNode() |
uLang/Semantics/TypeVariable.h | ||
CExprDefinition * GetIrNode
(
bool bForce |
uLang/Semantics/TypeVariable.h | ||
const CTypeBase * GetNegativeType() |
uLang/Semantics/TypeVariable.h | ||
const CTypeBase * GetPositiveType() |
uLang/Semantics/TypeVariable.h | ||
void SetAstNode
(
CExprDefinition* AstNode |
uLang/Semantics/TypeVariable.h | ||
void SetIrNode
(
CExprDefinition* AstNode |
uLang/Semantics/TypeVariable.h | ||
void SetNegativeType
(
const CTypeBase* NegativeType |
uLang/Semantics/TypeVariable.h | ||
void SetPositiveType
(
const CTypeBase* PositiveType |
uLang/Semantics/TypeVariable.h |
Overridden from CDefinition
| Name | Remarks | Include Path | Unreal Specifiers |
|---|---|---|---|
virtual bool IsPersistenceCompatConstraint() |
uLang/Semantics/TypeVariable.h |
Overridden from CNominalType
| Name | Remarks | Include Path | Unreal Specifiers |
|---|---|---|---|
virtual const CDefinition * Definition() |
uLang/Semantics/TypeVariable.h |
Overridden from CNormalType
| Name | Remarks | Include Path | Unreal Specifiers |
|---|---|---|---|
virtual EComparability GetComparability() |
Returns whether this type is comparable for equality | uLang/Semantics/TypeVariable.h | |
virtual bool IsExplicitlyCastable() |
uLang/Semantics/TypeVariable.h | ||
virtual bool IsExplicitlyConcrete() |
uLang/Semantics/TypeVariable.h | ||
virtual bool IsPersistable() |
Returns whether this type is `persistable_ | uLang/Semantics/TypeVariable.h |
Overridden from CTypeBase
| Name | Remarks | Include Path | Unreal Specifiers |
|---|---|---|---|
virtual CUTF8String AsCodeRecursive
(
ETypeSyntaxPrecedence OuterPrecedence, |
uLang/Semantics/TypeVariable.h | ||
virtual bool CanBeCustomAccessorDataType() |
uLang/Semantics/TypeVariable.h |