SemanticInterface.cpp File Reference

#include "uLang/Semantics/SemanticInterface.h"
#include "uLang/Common/Algo/FindIf.h"
#include "uLang/Semantics/MemberOrigin.h"
#include "uLang/Semantics/SemanticProgram.h"
#include "uLang/Semantics/SmallDefinitionArray.h"
#include "uLang/Semantics/TypeVariable.h"
#include "uLang/Semantics/VisitStamp.h"

Namespaces
namespace	uLang

Functions
CInterface *	uLang::InstantiatePositiveInterface (const CInterface &Interface, const TArray< STypeVariableSubstitution > &Substitutions)
TArray< STypeVariableSubstitution >	uLang::InstantiateTypeVariableSubstitutions (const TArray< STypeVariableSubstitution > &TypeVariables, const TArray< STypeVariableSubstitution > &Substitutions)
CInterface *	uLang::InstantiateInterface (const CInterface &Interface, ETypePolarity Polarity, const TArray< STypeVariableSubstitution > &Substitutions)
TArray< CInterface * >	uLang::InstantiatePositiveInterfaces (const TArray< CInterface * > &Interfaces, const TArray< STypeVariableSubstitution > &Substitutions)
TArray< CInterface * >	uLang::GetNegativeInterfaces (const TArray< CInterface * > &Interfaces)
void	uLang::SetInstantiatedOverriddenDefinition (CDefinition &InstDefinition, const CNormalType &InstType, const CDefinition &Definition)
void	uLang::InstantiatePositiveFunction (CLogicalScope &InstScope, const CNormalType &InstType, const CFunction &Function, const TArray< STypeVariableSubstitution > &Substitutions)
TSRef< CFunction >	uLang::CreateNegativeMemberFunction (CLogicalScope &NegativeScope, const CFunction &PositiveFunction)
void	uLang::SetNegativeInterfaceMemberDefinitionTypes (const CInterface &PositiveInterface)
void	uLang::SetNegativeMemberDefinitionType (CFunction &NegativeFunction, const CFunction &PositiveFunction)