private void BuildClassSymbol(IClassDeclarationSyntax @class)
{
if ([email protected](AddCircularDefinitionError))
{
return;
}
bool mutable = !(@class.MutableModifier is null);
var classType = new ObjectType(@class.ContainingNamespaceName, @class.Name, mutable,
ReferenceCapability.Shared);
var symbol = new ObjectTypeSymbol(@class.ContainingNamespaceSymbol !, classType);
@class.Symbol.Fulfill(symbol);
symbolTree.Add(symbol);
@class.CreateDefaultConstructor(symbolTree);
void AddCircularDefinitionError()
{
// TODO use something better than Name here which is an old name
diagnostics.Add(TypeError.CircularDefinition(@class.File, @class.NameSpan, @class));
}
}
/// <summary>
/// If the type has not been resolved, this resolves it. This function
/// also watches for type cycles and reports an error.
/// </summary>
private void ResolveSignatureTypesInTypeDeclaration(TypeDeclarationSyntax declaration)
{
switch (declaration.Type.State)
{
case PromiseState.InProgress:
diagnostics.Add(TypeError.CircularDefinition(declaration.File, declaration.NameSpan, declaration.Name));
return;
case PromiseState.Fulfilled:
return; // We have already resolved it
case PromiseState.Pending:
// we need to compute it
break;
}
declaration.Type.BeginFulfilling();
var expressionChecker = new ExpressionTypeResolver(declaration.File, diagnostics);
FixedList<DataType> genericParameterTypes = null;
if (declaration.GenericParameters != null)
{
var genericParameters = declaration.GenericParameters;
ResolveTypesInGenericParameters(genericParameters, expressionChecker);
genericParameterTypes = genericParameters.Select(p => p.Type.Fulfilled()).ToFixedList();
}
switch (declaration)
{
case ClassDeclarationSyntax classDeclaration:
var classType = new ObjectType(declaration,
classDeclaration.Modifiers.Any(m => m is IMutableKeywordToken),
genericParameterTypes,
Lifetime.None);
declaration.Type.Fulfill(new Metatype(classType));
classDeclaration.CreateDefaultConstructor();
break;
case StructDeclarationSyntax structDeclaration:
var structType = new ObjectType(declaration,
structDeclaration.Modifiers.Any(m => m is IMutableKeywordToken),
genericParameterTypes,
Lifetime.None);
declaration.Type.Fulfill(new Metatype(structType));
break;
case EnumStructDeclarationSyntax enumStructDeclaration:
var enumStructType = new ObjectType(declaration,
enumStructDeclaration.Modifiers.Any(m => m is IMutableKeywordToken),
genericParameterTypes,
Lifetime.None);
declaration.Type.Fulfill(new Metatype(enumStructType));
break;
case EnumClassDeclarationSyntax enumStructDeclaration:
var enumClassType = new ObjectType(declaration,
enumStructDeclaration.Modifiers.Any(m => m is IMutableKeywordToken),
genericParameterTypes,
Lifetime.None);
declaration.Type.Fulfill(new Metatype(enumClassType));
break;
case TraitDeclarationSyntax declarationSyntax:
var type = new ObjectType(declaration,
declarationSyntax.Modifiers.Any(m => m is IMutableKeywordToken),
genericParameterTypes,
Lifetime.None);
declaration.Type.Fulfill(new Metatype(type));
break;
default:
throw NonExhaustiveMatchException.For(declaration);
}
}
