/// <summary>
/// Remove a block from the list of top blocks.
/// </summary>
/// <param name="block">Block to remove</param>
public void RemoveTopBlock(Block block)
{
TopBlocks.Remove(block);
// deal with procedure blocks
if (ProcedureDB.IsDefinition(block))
{
ProcedureDB.RemoveDefinition(block);
}
else if (ProcedureDB.IsCaller(block))
{
ProcedureDB.RemoveCaller(block);
}
}
/// <summary>
/// Add a block to the list of top blocks.
/// </summary>
/// <param name="block">Block to add.</param>
public void AddTopBlock(Block block)
{
if (!TopBlocks.Contains(block))
{
TopBlocks.Add(block);
}
// deal with procedure blocks
if (ProcedureDB.IsDefinition(block))
{
ProcedureDB.AddDefinition(block);
}
else if (ProcedureDB.IsCaller(block))
{
ProcedureDB.AddCaller(block);
}
}
