private JoinStatement VisitJoinStatement(JoinStatement joinstmt)
{
this.VisitAttributeList(joinstmt.Attributes);
WriteStart(string.Empty);
for (int i = 0, n = joinstmt.joinPatternList.Length; i < n; i++)
{
this.Visit(joinstmt.joinPatternList[i]);
if ((i + 1) < n)
Write(" && ");
}
Write(" -> ");
bool indentStmt = !(joinstmt.statement is Block);
if (indentStmt)
In();
this.Visit(joinstmt.statement);
if (indentStmt)
Out();
return joinstmt;
}