public override void CaseAValueReturnStm(AValueReturnStm node)
{
/*
* return <exp>;
* ->
* methodReturnerVar = <exp>;
* hasMethodReturnedVar = true;
* break;
*/
ALocalLvalue lvalue = new ALocalLvalue(new TIdentifier(methodReturnerVar.GetName().Text));
data.LvalueTypes[lvalue] = methodReturnerVar.GetType();
data.LocalLinks[lvalue] = methodReturnerVar;
AAssignmentExp exp = new AAssignmentExp(new TAssign("="), lvalue, node.GetExp());
data.ExpTypes[exp] = methodReturnerVar.GetType();
PStm stm = new AExpStm(new TSemicolon(";"), exp);
AABlock block = new AABlock();
block.GetStatements().Add(stm);
block.GetStatements().Add(new AVoidReturnStm(node.GetToken()));
node.ReplaceBy(new ABlockStm(new TLBrace("{"), block));
block.Apply(this);
}
public override void CaseAVoidReturnStm(AVoidReturnStm node)
{
ABooleanConstExp trueBool = new ABooleanConstExp(new ATrueBool());
AValueReturnStm replacer = new AValueReturnStm(node.GetToken(), trueBool);
node.ReplaceBy(replacer);
data.ExpTypes[trueBool] = new ANamedType(new TIdentifier("bool"), null);
}
public override void CaseAValueReturnStm(AValueReturnStm node)
{
GetNode(node);
}
public override void CaseAValueReturnStm(AValueReturnStm node)
{
Write("return ");
node.GetExp().Apply(this);
Write(";\n");
}
