diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-27 20:54:33 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-07-27 20:54:33 +0000 |
| commit | 2564d8730f768a8305325d4b6cc08211d8a3281d (patch) | |
| tree | 56abf63023e3ffdadde2e7747dd2db7661962664 /src/expr/expr_template.cpp | |
| parent | 62ec86743289b26241d69b1701d4b3f547ee2bed (diff) | |
Adding optional 'check' parameter to getType() methods
Diffstat (limited to 'src/expr/expr_template.cpp')
| -rw-r--r-- | src/expr/expr_template.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/expr_template.cpp b/src/expr/expr_template.cpp index fc67bcba1..48acd2588 100644 --- a/src/expr/expr_template.cpp +++ b/src/expr/expr_template.cpp @@ -181,10 +181,10 @@ Expr Expr::getOperator() const { return Expr(d_exprManager, new Node(d_node->getOperator())); } -Type Expr::getType() const throw (TypeCheckingException) { +Type Expr::getType(bool check) const throw (TypeCheckingException) { ExprManagerScope ems(*this); Assert(d_node != NULL, "Unexpected NULL expression pointer!"); - return d_exprManager->getType(*this); + return d_exprManager->getType(*this, check); } std::string Expr::toString() const { |