public override object VisitCFGCaseBlock(CaseBlock x)
{
return(x.Update(
x.CaseValue, // TODO: Visit also the expressions
VisitList(x.Statements),
AcceptEdge(x, x.NextEdge)));
}
public sealed override object VisitCFGCaseBlock(CaseBlock x)
{
if (IsExplored(x))
{
return(x);
}
else
{
x.Tag = ExploredColor;
return(MapIfUpdated(x, OnVisitCFGCaseBlock(x)));
}
}
public virtual void VisitCFGCaseBlock(CaseBlock x)
{
if (!x.CaseValue.IsOnlyBoundElement)
{
x.CaseValue.PreBoundStatements.ForEach(Accept);
}
if (!x.CaseValue.IsEmpty)
{
Accept(x.CaseValue.BoundElement);
}
VisitCFGBlockInternal(x);
}
public virtual void VisitCFGCaseBlock(CaseBlock x)
{
if (!x.CaseValue.IsOnlyBoundElement)
{
VisitCFGBlock(x.CaseValue.PreBoundBlockFirst);
}
if (!x.CaseValue.IsEmpty)
{
Accept(x.CaseValue.BoundElement);
}
VisitCFGBlockInternal(x);
}
public virtual void VisitCFGCaseBlock(CaseBlock x)
{
Accept(x.CaseValue);
VisitCFGBlockInternal(x);
}
public sealed override object VisitCFGCaseBlock(CaseBlock x) => Repair(x);
public virtual CaseBlock OnVisitCFGCaseBlock(CaseBlock x) => (CaseBlock)base.VisitCFGCaseBlock(x);
public virtual TResult VisitCFGCaseBlock(CaseBlock x) => DefaultVisitBlock(x);
