/// <summary> /// Extracts the first innermost atomic statement inside a given statement. /// </summary> /// <param name="stmt"></param> /// <returns></returns> public static Statement GetInnermostAtomicStatement(this Statement stmt) { InnermostAtomicStatementExtractor ase = new InnermostAtomicStatementExtractor(); stmt.Accept(ase); return(ase.Result); }
/// <summary> /// Extracts the first innermost atomic statement inside a given statement. /// </summary> /// <param name="stmt"></param> /// <returns></returns> public static Statement GetInnermostAtomicStatement(this Statement stmt) { InnermostAtomicStatementExtractor ase = new InnermostAtomicStatementExtractor(); stmt.Accept(ase); return ase.Result; }