diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-29 12:36:08 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-29 12:36:08 -0600 |
commit | 1117b3e69b16c992c5f41ff3f2873ac40fce2cff (patch) | |
tree | 2a188a284b3ae06124a28296ecc79307284c507c /src/expr | |
parent | ee75ebf00e1aa463656cd192e52d3aec224345c0 (diff) |
Convert more uses of string to word (#3834)
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/type_node.cpp | 2 | ||||
-rw-r--r-- | src/expr/type_node.h | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp index abca1e3ed..b003a7861 100644 --- a/src/expr/type_node.cpp +++ b/src/expr/type_node.cpp @@ -298,6 +298,8 @@ Node TypeNode::mkGroundValue() const return *te; } +bool TypeNode::isStringLike() const { return isString(); } + bool TypeNode::isSubtypeOf(TypeNode t) const { if(*this == t) { return true; diff --git a/src/expr/type_node.h b/src/expr/type_node.h index dcafef9c0..6de4a0271 100644 --- a/src/expr/type_node.h +++ b/src/expr/type_node.h @@ -506,6 +506,9 @@ public: /** Is this the String type? */ bool isString() const; + /** Is this a string-like type? (string or sequence) */ + bool isStringLike() const; + /** Is this the Rounding Mode type? */ bool isRoundingMode() const; |