#include <SemanticProgram.h>

Inheritance diagram for uLang::CModulePart:

Public Member Functions
	CModulePart (CModule &Module, CScope *ParentScope, bool bExplicitDefinition, CSemanticProgram &Program)

const CModule *	GetModule () const

CModule *	GetModule ()

bool	IsExplicitDefinition () const

void	SetAvailableVersion (TOptional< uint64_t > InAvailableVersion)

const TOptional< uint64_t > &	GetAvailableVersion () const

virtual CSymbol	GetScopeName () const override

virtual const CTypeBase *	ScopeAsType () const override

virtual const CDefinition *	ScopeAsDefinition () const override

virtual const CLogicalScope *	AsLogicalScopeNullable () const override
	Iff this scope is a logical scope, return it a pointer to it. Otherwise, return null.

virtual CLogicalScope *	AsLogicalScopeNullable () override

Public Member Functions inherited from uLang::CScope
	CScope (EKind Kind, CScope *Parent, CSemanticProgram &Program)

virtual UE_API	~CScope ()

	CScope (const CScope &)=delete

	CScope (CScope &&)=delete

virtual SAccessLevel	GetDefaultDefinitionAccessLevel () const

ULANG_FORCEINLINE EKind	GetKind () const

ULANG_FORCEINLINE CScope *	GetParentScope () const

UE_API CScope *	GetScopeOfKind (EKind)

UE_API const CScope *	GetScopeOfKind (EKind) const

UE_API CUTF8String	GetScopePath (uLang::UTF8Char SeparatorChar='.', EPathMode Mode=EPathMode::Default) const

UE_API const CModule *	GetModule () const

UE_API CModule *	GetModule ()

UE_API const CModulePart *	GetModulePart () const

UE_API CModulePart *	GetModulePart ()

UE_API CAstPackage *	GetPackage () const

UE_API CAstCompilationUnit *	GetCompilationUnit () const

UE_API const CSnippet *	GetSnippet () const

UE_API CCaptureScope *	GetCaptureScope ()

UE_API const CCaptureScope *	GetCaptureScope () const

UE_API const TSPtr< CSymbolTable > &	GetSymbols () const

ULANG_FORCEINLINE CSemanticProgram &	GetProgram () const

UE_API const CScope &	GetParametricTypeScope () const
	If this is a parametric type, get the scope of those parameters; otherwise returns this scope.

UE_API const CLogicalScope &	GetLogicalScope () const
	Get the innermost logical scope that is or contains this scope.

ULANG_FORCEINLINE CLogicalScope &	GetLogicalScope ()

ULANG_FORCEINLINE bool	IsLogicalScope () const

const CLogicalScope *	GetEnclosingClassOrInterface () const

UE_API CLogicalScope *	GetEnclosingClassOrInterface ()

UE_API bool	IsSameOrChildOf (const CScope *Other) const

bool	IsControlScope () const

UE_API bool	IsInsideTypeScope () const

bool	IsModuleOrSnippet () const

UE_API bool	IsBuiltInScope () const

UE_API CModule &	CreateModule (const CSymbol &ModuleName)

UE_API CClassDefinition &	CreateClass (const CSymbol &ClassName, CClass Superclass=nullptr, TArray< CInterface > &&SuperInterfaces={}, EStructOrClass StructOrClass=EStructOrClass::Class)

UE_API CEnumeration &	CreateEnumeration (const CSymbol &EnumerationName)

UE_API CInterface &	CreateInterface (const CSymbol &InterfaceName, const TArray< CInterface * > &SuperInterfaces={})

UE_API TSRef< CFunction >	CreateFunction (const CSymbol FunctionName)

virtual void	CreateNegativeFunction (const CFunction &PositiveFunction) const

UE_API TSRef< CDataDefinition >	CreateDataDefinition (const CSymbol VarName)

UE_API TSRef< CDataDefinition >	CreateDataDefinition (const CSymbol VarName, const CTypeBase *Type)

virtual void	CreateNegativeDataDefinition (const CDataDefinition &PositiveDataDefinition) const

UE_API TSRef< CTypeAlias >	CreateTypeAlias (const CSymbol Name)

UE_API TSRef< CTypeVariable >	CreateTypeVariable (const CSymbol Name, const CTypeBase NegativeType, const CTypeBase PositiveType)

UE_API TSRef< CModuleAlias >	CreateModuleAlias (const CSymbol Name)

UE_API TSRef< CScopedAccessLevelDefinition >	CreateScopedAccessLevelDefinition (TOptional< CSymbol > ClassName)

void	AddUsingScope (const CLogicalScope *UsingScope)

const TArray< const CLogicalScope * > &	GetUsingScopes () const

UE_API const CDataDefinition *	AddUsingInstance (const CDataDefinition *UsingContext)

const TArray< const CDataDefinition * > &	GetUsingInstances () const

UE_API SResolvedDefinitionArray	ResolveDefinition (const CSymbol &Name, const SQualifier &Qualifier=SQualifier::Unknown(), const CAstPackage *ContextPackage=nullptr) const
	Look for a definition in this scope and all parent scopes and aliases.

UE_API TSRef< CControlScope >	CreateNestedControlScope ()

TSRef< CCaptureControlScope >	CreateNestedCaptureControlScope ()

const TSRefArray< CControlScope > &	GetNestedControlScopes () const

UE_API TSRef< CTypeScope >	CreateNestedTypeScope ()

UE_API bool	IsAuthoredByEpic () const

UE_API bool	CanAccessEpicInternal () const

Public Member Functions inherited from uLang::TAstNodeRef< CExprModuleDefinition >
CExprModuleDefinition *	GetAstNode () const

CExprModuleDefinition *	GetIrNode (bool bForce=false) const

void	SetAstNode (CExprModuleDefinition *AstNode)

void	SetIrNode (CExprModuleDefinition *IrNode)

Public Member Functions inherited from uLang::CAstPackageRef
void	SetAstPackage (CAstPackage *AstPackage)

CAstPackage *	GetAstPackage () const

void	SetIrPackage (CAstPackage *IrPackage)

CAstPackage *	GetIrPackage () const

Additional Inherited Members
Public Types inherited from uLang::CScope
enum class	EKind : uint8_t { Program , CompatConstraintRoot , Module , ModulePart , Snippet , Class , Function , ControlScope , Interface , Type , Enumeration }

using	EPathMode = uLang::EPathMode

Static Public Member Functions inherited from uLang::CScope
static UE_API const char *	KindToCString (EKind Kind)

static UE_API void	ResolvedDefnsAppend (SResolvedDefinitionArray *ResolvedDefns, const SmallDefinitionArray &Definitions)

static UE_API void	ResolvedDefnsAppendWithContext (SResolvedDefinitionArray ResolvedDefns, const SmallDefinitionArray &Definitions, const CDataDefinition Context)

static UE_API VisitStampType	GenerateNewVisitStamp ()
	Generates a new stamp id.

Protected Member Functions inherited from uLang::CScope
UE_API bool	CanAccess (const CDefinition &Definition, const SAccessLevel &DefinitionAccessLevel) const

Protected Attributes inherited from uLang::CScope
EKind	_Kind

CScope *	_Parent

CSemanticProgram &	_Program

TArray< const CLogicalScope * >	_UsingScopes

TArray< const CDataDefinition * >	_UsingInstances

TSRefArray< CControlScope >	_NestedControlScopes

TSRefArray< CTypeScope >	_NestedTypeScopes

Detailed Description

Semantically represents a partial module aka a module definition either via vmodule file or module macro Always is directly parented to a CModule

Constructor & Destructor Documentation

◆ CModulePart()

uLang::CModulePart::CModulePart	(	CModule &	Module,
		CScope *	ParentScope,
		bool	bExplicitDefinition,
		CSemanticProgram &	Program
	)

inline

Member Function Documentation

◆ AsLogicalScopeNullable() [1/2]

virtual const CLogicalScope * uLang::CModulePart::AsLogicalScopeNullable ( ) const

inlineoverridevirtual

Iff this scope is a logical scope, return it a pointer to it. Otherwise, return null.

Reimplemented from uLang::CScope.

◆ AsLogicalScopeNullable() [2/2]

virtual CLogicalScope * uLang::CModulePart::AsLogicalScopeNullable ( )

inlineoverridevirtual

Reimplemented from uLang::CScope.

◆ GetAvailableVersion()

const TOptional< uint64_t > & uLang::CModulePart::GetAvailableVersion ( ) const

inline

◆ GetModule() [1/2]

CModule * uLang::CModulePart::GetModule ( )

inline

◆ GetModule() [2/2]

const CModule * uLang::CModulePart::GetModule ( ) const

inline

◆ GetScopeName()

virtual CSymbol uLang::CModulePart::GetScopeName ( ) const

inlineoverridevirtual

Implements uLang::CScope.

◆ IsExplicitDefinition()

bool uLang::CModulePart::IsExplicitDefinition ( ) const

inline

◆ ScopeAsDefinition()

virtual const CDefinition * uLang::CModulePart::ScopeAsDefinition ( ) const

inlineoverridevirtual

Reimplemented from uLang::CScope.

◆ ScopeAsType()

virtual const CTypeBase * uLang::CModulePart::ScopeAsType ( ) const

inlineoverridevirtual

Reimplemented from uLang::CScope.

◆ SetAvailableVersion()

void uLang::CModulePart::SetAvailableVersion ( TOptional< uint64_t > InAvailableVersion )

inline

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

Engine/Source/Runtime/VerseCompiler/Public/uLang/Semantics/SemanticProgram.h

Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ CModulePart()

Member Function Documentation

◆ AsLogicalScopeNullable() [1/2]

◆ AsLogicalScopeNullable() [2/2]

◆ GetAvailableVersion()

◆ GetModule() [1/2]

◆ GetModule() [2/2]

◆ GetScopeName()

◆ IsExplicitDefinition()

◆ ScopeAsDefinition()

◆ ScopeAsType()

◆ SetAvailableVersion()