public override bool VisitRecordDeclaration(RecordDeclarationAST recordDeclaration)
{
recordDeclaration.CurrentScope = _scope;
//se asuma que no habra problemas
recordDeclaration.ReturnType = TigerType.GetType <NoType>();
//la clase base verifica el ID del type
if (VisitTypeDeclaration(recordDeclaration))
{
var rt = new RecordType(recordDeclaration.TypeId);
//se anade el record creado al scope para q puedan haber records recursivos en su def
_scope.AddType(recordDeclaration.TypeId, rt);
//se verifica cada una de las declaraciones de los campos del record
int savedErrorPos = _errorListener.Count;
foreach (var kvp in recordDeclaration.Fields)
{
if (!rt.Contains(kvp.Key))
{
TigerType tt;
if (_scope.HasType(kvp.Value, out tt) == ScopeLocation.NotDeclared)
{
KeyValuePair <string, string> savedKvp = kvp;
_scope.TypeAdded += (sender, args) =>
{
if (args.TypeName == savedKvp.Value)
{
rt.AddField(savedKvp.Key, args.NewType);
}
};
_scope.FinalizeScope += (sender, args) =>
{
if (sender.HasType(savedKvp.Value) ==
ScopeLocation.NotDeclared)
{
_errorListener.Insert(savedErrorPos,
new AnalysisError(
string.Format(
AnalysisError.LoadMessage("TypeUndecl"),
savedKvp.Value), recordDeclaration.Line, recordDeclaration.Columns));
recordDeclaration.ReturnType = TigerType.GetType <ErrorType>();
}
};
}
else
{
rt.AddField(kvp.Key, tt);
}
}
else
{
_errorListener.Add(new AnalysisError(string.Format(AnalysisError.LoadMessage("RecDecl"), kvp.Key, recordDeclaration.TypeId),
recordDeclaration.Line, recordDeclaration.Columns));
}
}
//TODO aqui se ve el prob con los ret Types y los return true pq no se puede decir nada en este momento
return(true);
}
return(false);
}
