public static void AddCaptureState(this BoogieStmtListBuilder builder, Statement statement)
{
if (DafnyOptions.O.ModelViewFile != null || DafnyOptions.O.TestGenOptions.WarnDeadCode)
{
builder.Add(CaptureState(statement));
}
}
public static void AddCaptureState(this BoogieStmtListBuilder builder, Bpl.IToken tok, bool isEndToken, string /*?*/ additionalInfo)
{
if (DafnyOptions.O.ModelViewFile != null || DafnyOptions.O.TestGenOptions.WarnDeadCode)
{
builder.Add(CaptureState(tok, isEndToken, additionalInfo));
}
}
private static void BplIfIf(Bpl.IToken tk, bool yes, Bpl.Expr guard, BoogieStmtListBuilder builder, Action <BoogieStmtListBuilder> k)
{
if (yes)
{
var newBuilder = new BoogieStmtListBuilder(builder.tran);
k(newBuilder);
builder.Add(new Bpl.IfCmd(tk, guard, newBuilder.Collect(tk), null, null));
}
else
{
k(builder);
}
}