public OuterDeclPrettyPrinter(StringBuilder sb, TermPrettyPrinter termPrinter,
TypeIsaPrettyPrinter typeIsaPrinter)
{
_sb = sb;
_termPrinter = termPrinter;
_typeIsaPrinter = typeIsaPrinter;
}
public static string PrintTheory(Theory thy)
{
var sb = new StringBuilder();
sb.Append("theory ").Append(thy.TheoryName);
sb.AppendLine().Append("imports ").Append(thy.ImportTheories.SpaceAggregate());
sb.AppendLine().Append("begin");
sb.AppendLine();
var termPrinter = new TermPrettyPrinter();
var typeIsaPrinter = new TypeIsaPrettyPrinter();
var outerDeclPrinter = new OuterDeclPrettyPrinter(sb, termPrinter, typeIsaPrinter);
foreach (var outerDecl in thy.Decls)
{
outerDeclPrinter.Visit(outerDecl);
sb.AppendLine();
}
sb.AppendLine().Append("end");
return(sb.ToString());
}
