diff options
Diffstat (limited to 'src/expr/expr_template.h')
-rw-r--r-- | src/expr/expr_template.h | 15 |
1 files changed, 11 insertions, 4 deletions
diff --git a/src/expr/expr_template.h b/src/expr/expr_template.h index 2eac4ab62..be089bca8 100644 --- a/src/expr/expr_template.h +++ b/src/expr/expr_template.h @@ -309,10 +309,17 @@ public: /** * Outputs the string representation of the expression to the stream. - * @param out the output stream - */ - void toStream(std::ostream& out, int depth = -1, bool types = false, - OutputLanguage lang = language::output::LANG_AST) const; + * + * @param out the stream to serialize this expression to + * @param toDepth the depth to which to print this expression, or -1 + * to print it fully + * @param types set to true to ascribe types to the output + * expressions (might break language compliance, but good for + * debugging expressions) + * @param language the language in which to output + */ + void toStream(std::ostream& out, int toDepth = -1, bool types = false, + OutputLanguage language = language::output::LANG_AST) const; /** * Check if this is a null expression. |