diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-11-08 21:53:14 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-11-08 21:53:14 +0000 |
commit | 72d6f5d9eb6c28a417b00524eff51ea38e37d985 (patch) | |
tree | 2a7633872b9dc78fba3bbdd510a360435c4def39 /test/unit | |
parent | b3470b5e0b7a664443b9f835db5dd86fb1487866 (diff) |
Review of trunk r4525 (TypeNode::getBaseType()):
* fixed TypeNode::getBaseType() for predicate subtypes
* added Type::getBaseType() for public interface
* added unit testing
To avoid confusion, also:
* renamed PredicateType::getBaseType() to "getParentType()"
* renamed TypeNode::getSubtypeBaseType() to "getSubtypeParentType()"
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/expr/type_node_white.h | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/test/unit/expr/type_node_white.h b/test/unit/expr/type_node_white.h index 7d5ac3f51..86f0b192d 100644 --- a/test/unit/expr/type_node_white.h +++ b/test/unit/expr/type_node_white.h @@ -53,7 +53,7 @@ public: delete d_em; } - void testIsComparableTo() { + void testSubtypes() { TypeNode realType = d_nm->realType(); TypeNode integerType = d_nm->realType(); TypeNode booleanType = d_nm->booleanType(); @@ -125,6 +125,16 @@ public: TS_ASSERT( not predicateSubtype.isComparableTo(bvType) ); TS_ASSERT( predicateSubtype.isComparableTo(subrangeType) ); TS_ASSERT( predicateSubtype.isComparableTo(predicateSubtype) ); + + TS_ASSERT(realType.getBaseType() == realType); + TS_ASSERT(integerType.getBaseType() == realType); + TS_ASSERT(booleanType.getBaseType() == booleanType); + TS_ASSERT(arrayType.getBaseType() == arrayType); + TS_ASSERT(bvType.getBaseType() == bvType); + TS_ASSERT(subrangeType.getBaseType() == realType); + TS_ASSERT(predicateSubtype.getBaseType() == realType); + + TS_ASSERT(predicateSubtype.getSubtypeParentType() == integerType); } };/* TypeNodeWhite */ |