public override Null Visit(ExternalStmt node)
{
// There is no flow to validate in external blocks
return null;
}
public override Null Visit(ExternalStmt node)
{
// Initialization isn't possible in external statements
return null;
}
public override Null Visit(ExternalStmt node)
{
// External statements don't have their own scope
node.block.scope = scope;
base.Visit(node);
return null;
}