/// <summary>
/// Extracts all atomic statements inside a given statement.
/// </summary>
/// <param name="stmt"></param>
/// <returns>The list of atomic statements, the first entry being the entry.</returns>
public static List <Statement> GetAtomicStatements(this Statement stmt)
{
AtomicStatementExtractor ase = new AtomicStatementExtractor();
stmt.Accept(ase);
return(ase.Result);
}
/// <summary>
/// Extracts all atomic statements inside a given statement.
/// </summary>
/// <param name="stmt"></param>
/// <returns>The list of atomic statements, the first entry being the entry.</returns>
public static List<Statement> GetAtomicStatements(this Statement stmt)
{
AtomicStatementExtractor ase = new AtomicStatementExtractor();
stmt.Accept(ase);
return ase.Result;
}
