public DataStructures.FList <DataStructures.Pair <string, Subroutine> > GetOrdinaryEdgeSubroutinesInternal(CFGBlock from, CFGBlock to, DataStructures.FList <DataStructures.STuple <CFGBlock, CFGBlock, string> > context)
{
var result = CallAdaption.Inner <IEdgeSubroutineAdaptor>(this).GetOrdinaryEdgeSubroutinesInternal(from, to, context);
return(result.Filter(pair => !(pair.Two.IsContract || pair.Two.IsOldValue)));
}
public void Print(System.IO.TextWriter tw, ILPrinter <APC> ilPrinter, BlockInfoPrinter <APC> edgePrinter, Func <CFGBlock, IEnumerable <DataStructures.FList <DataStructures.STuple <CFGBlock, CFGBlock, string> > > > contextLookup, DataStructures.FList <DataStructures.STuple <CFGBlock, CFGBlock, string> > context)
{
CallAdaption.Push <IEdgeSubroutineAdaptor>(this);
try
{
underlying.Print(tw, ilPrinter, edgePrinter, contextLookup, context);
}
finally
{
CallAdaption.Pop(this);
}
}
