diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-08-07 22:47:22 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-08-07 22:47:22 +0000 |
| commit | 843693ecaa8190221e78d29ba0338e800b663f89 (patch) | |
| tree | 12c8a62c5add13fcf64eafae7e9bc97822956450 /src/util/sexpr.h | |
| parent | dba5212c55bcd2b513f197ddd06cd7de6964ff0b (diff) | |
small fixes
Diffstat (limited to 'src/util/sexpr.h')
| -rw-r--r-- | src/util/sexpr.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/util/sexpr.h b/src/util/sexpr.h index 9db9a34ce..b99eda5ca 100644 --- a/src/util/sexpr.h +++ b/src/util/sexpr.h @@ -104,7 +104,7 @@ public: d_children() { } - SExpr(const std::vector<SExpr> children) : + SExpr(const std::vector<SExpr>& children) : d_sexprType(SEXPR_NOT_ATOM), d_integerValue(0), d_rationalValue(0), @@ -124,14 +124,14 @@ public: /** Is this S-expression a string? */ bool isString() const; - /** Is this S-expression a string? */ + /** Is this S-expression a keyword? */ bool isKeyword() const; /** * Get the string value of this S-expression. This will cause an * error if this S-expression is not an atom. */ - const std::string getValue() const; + std::string getValue() const; /** * Get the integer value of this S-expression. This will cause an @@ -173,7 +173,7 @@ inline bool SExpr::isKeyword() const { return d_sexprType == SEXPR_KEYWORD; } -inline const std::string SExpr::getValue() const { +inline std::string SExpr::getValue() const { AlwaysAssert( isAtom() ); switch(d_sexprType) { case SEXPR_INTEGER: |