public override void Print(StreamWriter stream, int indent)
{
int base_indent = stream.GetCharPos();
base.Print(stream, indent);
stream.Write(" record");
stream.Write(stream.NewLine);
this.table.Print(stream, base_indent + indent + 3);
stream.Write(new String(' ', base_indent + indent) + " endrecord");
}
public override void Print(StreamWriter stream, int indent)
{
int base_indent = stream.GetCharPos();
stream.Write("function " + this.name + "(");
foreach (Var param in this.args)
{
param.Print(stream, 0);
stream.Write(", ");
}
stream.Write("){");
if (this.body != null)
{
stream.Write(stream.NewLine);
this.table.Print(stream, base_indent + indent + 3);
this.body.Print(stream, base_indent + indent + 3);
}
stream.Write(stream.NewLine);
stream.Write("} returned ");
this.GetRefType().Print(stream, 0);
}
public override void Print(StreamWriter stream, int indent)
{
int base_indent = stream.GetCharPos();
stream.Write("function " + this.name + "(");
foreach (Var param in this.args)
{
param.Print(stream, 0);
stream.Write(", ");
}
stream.Write("){");
if (this.body != null)
{
stream.Write(stream.NewLine);
this.table.Print(stream, base_indent + indent + 3);
this.body.Print(stream, base_indent + indent + 3);
}
stream.Write(stream.NewLine);
stream.Write("} returned ");
this.GetRefType().Print(stream, 0);
}
public override void Print(StreamWriter stream, int indent)
{
int base_indent = stream.GetCharPos();
base.Print(stream, indent);
stream.Write(" record");
stream.Write(stream.NewLine);
this.table.Print(stream, base_indent + indent + 3);
stream.Write(new String(' ', base_indent + indent) + " endrecord");
}