public override void CaseANewExp(ANewExp node)
{
InANewExp(node);
{
Object[] temp = new Object[node.GetArgs().Count];
node.GetArgs().CopyTo(temp, 0);
for (int i = temp.Length - 1; i >= 0; i--)
{
((PExp)temp[i]).Apply(this);
}
}
if (node.GetType() != null)
{
node.GetType().Apply(this);
}
if (node.GetToken() != null)
{
node.GetToken().Apply(this);
}
OutANewExp(node);
}
public override void OutANewExp(ANewExp node)
{
/*if (node.GetType() is AArrayTempType)
data.ExpTypes[node] = node.GetType();
else*/
data.ExpTypes[node] = new APointerType(new TStar("*"), Util.MakeClone(node.GetType(), data));
List<AEnrichmentDecl> enrichments = new List<AEnrichmentDecl>();
List<IList> visibleDecls = Util.GetVisibleDecls(node, true);
foreach (IList declList in visibleDecls)
{
foreach (PDecl decl in declList)
{
if (decl is AEnrichmentDecl)
{
AEnrichmentDecl enrichment = (AEnrichmentDecl) decl;
if (!Util.TypesEqual(node.GetType(), enrichment.GetType(), data))
continue;
enrichments.Add(enrichment);
}
}
}
if (enrichments.Count > 0 || node.GetType() is ANamedType)
{
List<ErrorCollection.Error> subErrors = new List<ErrorCollection.Error>();
ANamedType type = (ANamedType) node.GetType();
if (enrichments.Count > 0 || data.StructTypeLinks.ContainsKey(type))
{
//Find matching constructor
//Token token;
List<AConstructorDecl> candidates = new List<AConstructorDecl>();
if (enrichments.Count == 0)
{
AStructDecl str = data.StructTypeLinks[type];
if (data.Enums.ContainsKey(str))
{
errors.Add(new ErrorCollection.Error(node.GetToken(),
LocRM.GetString("ErrorText138"), false,
new ErrorCollection.Error(str.GetName(),
LocRM.GetString("ErrorText139"))));
}
//token = str.GetName();
subErrors.Add(new ErrorCollection.Error(str.GetName(), LocRM.GetString("ErrorText48") + Util.GetTypeName(str)));
foreach (AConstructorDecl constructorDecl in data.StructConstructors[str])
{
//Visiblity
if (constructorDecl.GetVisibilityModifier() is APrivateVisibilityModifier &&
Util.GetAncestor<AStructDecl>(constructorDecl) != Util.GetAncestor<AStructDecl>(node))
continue;
if (constructorDecl.GetVisibilityModifier() is AProtectedVisibilityModifier &&
(!Util.HasAncestor<AStructDecl>(node) ||
!Util.Extends(Util.GetAncestor<AStructDecl>(constructorDecl), Util.GetAncestor<AStructDecl>(node), data)))
continue;
if (constructorDecl.GetFormals().Count == node.GetArgs().Count)
{
//Check that parameters are assignable
bool add = true;
for (int i = 0; i < node.GetArgs().Count; i++)
{
PType argType = data.ExpTypes[(PExp)node.GetArgs()[i]];
AALocalDecl formal = (AALocalDecl)constructorDecl.GetFormals()[i];
PType formalType = formal.GetType();
if (formal.GetOut() != null && !Assignable(formalType, argType)
|| formal.GetRef() != null && !(Assignable(argType, formalType) && Assignable(formalType, argType))
|| formal.GetOut() == null && formal.GetRef() == null && !Assignable(argType, formalType))
{
add = false;
break;
}
}
if (add)
candidates.Add(constructorDecl);
}
}
}
else
{
//token = null;
foreach (AEnrichmentDecl enrich in enrichments)
{
//token = enrich.GetToken();
subErrors.Add(new ErrorCollection.Error(enrich.GetToken(), LocRM.GetString("ErrorText77")));
foreach (AConstructorDecl constructorDecl in enrich.GetDecl().OfType<AConstructorDecl>())
{
//Visiblity
if (constructorDecl.GetVisibilityModifier() is APrivateVisibilityModifier &&
Util.GetAncestor<AEnrichmentDecl>(constructorDecl) !=
Util.GetAncestor<AEnrichmentDecl>(node))
continue;
if (constructorDecl.GetFormals().Count == node.GetArgs().Count)
{
//Check that parameters are assignable
bool add = true;
for (int i = 0; i < node.GetArgs().Count; i++)
{
PType argType = data.ExpTypes[(PExp) node.GetArgs()[i]];
AALocalDecl formal = (AALocalDecl) constructorDecl.GetFormals()[i];
PType formalType = formal.GetType();
if (formal.GetOut() != null && !Assignable(formalType, argType)
||
formal.GetRef() != null &&
!(Assignable(argType, formalType) && Assignable(formalType, argType))
||
formal.GetOut() == null && formal.GetRef() == null &&
!Assignable(argType, formalType))
{
add = false;
break;
}
}
if (add)
candidates.Add(constructorDecl);
}
}
}
}
if (candidates.Count == 0)
{
if (node.GetArgs().Count == 0 && enrichments.Count > 0)
return;
string msg = LocRM.GetString("ErrorText140");
foreach (PExp arg in node.GetArgs())
{
if (msg.EndsWith("("))
msg += Util.TypeToString(data.ExpTypes[arg]);
else
msg += ", " + Util.TypeToString(data.ExpTypes[arg]);
}
msg += ")";
errors.Add(new ErrorCollection.Error(node.GetToken(), currentSourceFile, msg, false, subErrors.ToArray()), true);
return;
}
if (candidates.Count > 1)
{
subErrors = new List<ErrorCollection.Error>();
int i = 0;
foreach (AConstructorDecl candidate in candidates)
{
i++;
subErrors.Add(new ErrorCollection.Error(candidate.GetName(), LocRM.GetString("ErrorText141") + i));
}
errors.Add(
new ErrorCollection.Error(node.GetToken(), currentSourceFile,
LocRM.GetString("ErrorText142"), false,
subErrors.ToArray()), true);
return;
}
PStm pStm = Util.GetAncestor<PStm>(node);
if (pStm == null)
{
if (Util.HasAncestor<AFieldDecl>(node))
{
data.FieldsToInitInMapInit.Add(Util.GetAncestor<AFieldDecl>(node));
}
else if (Util.HasAncestor<AStructDecl>(node))
{
//Ignore - will be fixed
}
else
errors.Add(new ErrorCollection.Error(node.GetToken(), currentSourceFile,
LocRM.GetString("ErrorText143")));
}
data.ConstructorLinks.Add(node, candidates[0]);
//For each formal marked as ref or out, the argument must be a variable
for (int i = 0; i < node.GetArgs().Count; i++)
{
AALocalDecl formal = (AALocalDecl)candidates[0].GetFormals()[i];
if (formal.GetRef() != null || formal.GetOut() != null)
{
PExp exp = (PExp)node.GetArgs()[i];
while (true)
{
PLvalue lvalue;
if (exp is ALvalueExp)
{
lvalue = ((ALvalueExp)exp).GetLvalue();
}
else if (exp is AAssignmentExp)
{
lvalue = ((AAssignmentExp)exp).GetLvalue();
}
else
{
errors.Add(new ErrorCollection.Error(node.GetToken(), currentSourceFile, LocRM.GetString("ErrorText129") + (i + 1) + LocRM.GetString("ErrorText130")));
break;
}
if (lvalue is ALocalLvalue ||
lvalue is AFieldLvalue ||
lvalue is AStructFieldLvalue)
break;
if (lvalue is AStructLvalue)
{
exp = ((AStructLvalue)lvalue).GetReceiver();
continue;
}
if (lvalue is AArrayLvalue)
{
exp = ((AArrayLvalue)lvalue).GetBase();
continue;
}
throw new Exception("Unexpected lvalue");
}
}
}
return;
}
}
//else
if (node.GetArgs().Count > 0)
{
errors.Add(new ErrorCollection.Error(node.GetToken(), currentSourceFile, LocRM.GetString("ErrorText144")));
}
}
