From 24ad9f014107b792fae8239174dc476971a6e334 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 9 Dec 2020 11:14:01 -0800 Subject: google test: expr: Migrate attribute_white. (#5632) --- test/unit/expr/attribute_white.h | 478 --------------------------------------- 1 file changed, 478 deletions(-) delete mode 100644 test/unit/expr/attribute_white.h (limited to 'test/unit/expr/attribute_white.h') diff --git a/test/unit/expr/attribute_white.h b/test/unit/expr/attribute_white.h deleted file mode 100644 index de1795264..000000000 --- a/test/unit/expr/attribute_white.h +++ /dev/null @@ -1,478 +0,0 @@ -/********************* */ -/*! \file attribute_white.h - ** \verbatim - ** Top contributors (to current version): - ** Morgan Deters, Christopher L. Conway, Dejan Jovanovic - ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory and their institutional affiliations. - ** All rights reserved. See the file COPYING in the top-level source - ** directory for licensing information.\endverbatim - ** - ** \brief White box testing of Node attributes. - ** - ** White box testing of Node attributes. - **/ - -#include - -#include - -#include "base/check.h" -#include "expr/attribute.h" -#include "expr/node.h" -#include "expr/node_builder.h" -#include "expr/node_manager.h" -#include "expr/node_manager_attributes.h" -#include "expr/node_value.h" -#include "smt/smt_engine.h" -#include "smt/smt_engine_scope.h" -#include "theory/theory.h" -#include "theory/theory_engine.h" -#include "theory/uf/theory_uf.h" - -using namespace CVC4; -using namespace CVC4::kind; -using namespace CVC4::smt; -using namespace CVC4::expr; -using namespace CVC4::expr::attr; -using namespace std; - -struct Test1; -struct Test2; -struct Test3; -struct Test4; -struct Test5; - -typedef Attribute TestStringAttr1; -typedef Attribute TestStringAttr2; - -typedef Attribute TestFlag1; -typedef Attribute TestFlag2; -typedef Attribute TestFlag3; -typedef Attribute TestFlag4; -typedef Attribute TestFlag5; - -class AttributeWhite : public CxxTest::TestSuite { - - ExprManager* d_em; - NodeManager* d_nm; - SmtScope* d_scope; - TypeNode* d_booleanType; - SmtEngine* d_smtEngine; - - public: - void setUp() override - { - d_em = new ExprManager(); - d_nm = NodeManager::fromExprManager(d_em); - d_smtEngine = new SmtEngine(d_nm); - d_scope = new SmtScope(d_smtEngine); - d_booleanType = new TypeNode(d_nm->booleanType()); - } - - void tearDown() override - { - delete d_booleanType; - delete d_scope; - delete d_smtEngine; - delete d_em; - } - - void testAttributeIds() { - // Test that IDs for (a subset of) attributes in the system are - // unique and that the LastAttributeId (which would be the next ID - // to assign) is greater than all attribute IDs. - - // We used to check ID assignments explicitly. However, between - // compilation modules, you don't get a strong guarantee - // (initialization order is somewhat implementation-specific, and - // anyway you'd have to change the tests anytime you add an - // attribute). So we back off, and just test that they're unique - // and that the next ID to be assigned is strictly greater than - // those that have already been assigned. - - unsigned lastId = attr::LastAttributeId::getId(); - TS_ASSERT_LESS_THAN(VarNameAttr::s_id, lastId); - TS_ASSERT_LESS_THAN(TestStringAttr1::s_id, lastId); - TS_ASSERT_LESS_THAN(TestStringAttr2::s_id, lastId); - - TS_ASSERT_DIFFERS(VarNameAttr::s_id, TestStringAttr1::s_id); - TS_ASSERT_DIFFERS(VarNameAttr::s_id, TestStringAttr2::s_id); - TS_ASSERT_DIFFERS(TestStringAttr1::s_id, TestStringAttr2::s_id); - - //lastId = attr::LastAttributeId::getId(); - //TS_ASSERT_LESS_THAN(theory::uf::ECAttr::s_id, lastId); - - lastId = attr::LastAttributeId::getId(); - TS_ASSERT_LESS_THAN(TestFlag1::s_id, lastId); - TS_ASSERT_LESS_THAN(TestFlag2::s_id, lastId); - TS_ASSERT_LESS_THAN(TestFlag3::s_id, lastId); - TS_ASSERT_LESS_THAN(TestFlag4::s_id, lastId); - TS_ASSERT_LESS_THAN(TestFlag5::s_id, lastId); - TS_ASSERT_DIFFERS(TestFlag1::s_id, TestFlag2::s_id); - TS_ASSERT_DIFFERS(TestFlag1::s_id, TestFlag3::s_id); - TS_ASSERT_DIFFERS(TestFlag1::s_id, TestFlag4::s_id); - TS_ASSERT_DIFFERS(TestFlag1::s_id, TestFlag5::s_id); - TS_ASSERT_DIFFERS(TestFlag2::s_id, TestFlag3::s_id); - TS_ASSERT_DIFFERS(TestFlag2::s_id, TestFlag4::s_id); - TS_ASSERT_DIFFERS(TestFlag2::s_id, TestFlag5::s_id); - TS_ASSERT_DIFFERS(TestFlag3::s_id, TestFlag4::s_id); - TS_ASSERT_DIFFERS(TestFlag3::s_id, TestFlag5::s_id); - TS_ASSERT_DIFFERS(TestFlag4::s_id, TestFlag5::s_id); - - lastId = attr::LastAttributeId::getId(); - - lastId = attr::LastAttributeId::getId(); -// TS_ASSERT_LESS_THAN(theory::PreRewriteCache::s_id, lastId); -// TS_ASSERT_LESS_THAN(theory::PostRewriteCache::s_id, lastId); -// TS_ASSERT_LESS_THAN(theory::PreRewriteCacheTop::s_id, lastId); -// TS_ASSERT_LESS_THAN(theory::PostRewriteCacheTop::s_id, lastId); -// TS_ASSERT_DIFFERS(theory::PreRewriteCache::s_id, theory::PostRewriteCache::s_id); -// TS_ASSERT_DIFFERS(theory::PreRewriteCache::s_id, theory::PreRewriteCacheTop::s_id); -// TS_ASSERT_DIFFERS(theory::PreRewriteCache::s_id, theory::PostRewriteCacheTop::s_id); -// TS_ASSERT_DIFFERS(theory::PostRewriteCache::s_id, theory::PreRewriteCacheTop::s_id); -// TS_ASSERT_DIFFERS(theory::PostRewriteCache::s_id, theory::PostRewriteCacheTop::s_id); -// TS_ASSERT_DIFFERS(theory::PreRewriteCacheTop::s_id, theory::PostRewriteCacheTop::s_id); - - lastId = attr::LastAttributeId::getId(); - TS_ASSERT_LESS_THAN(TypeAttr::s_id, lastId); - } - - void testAttributes() { - //Debug.on("boolattr"); - - Node a = d_nm->mkVar(*d_booleanType); - Node b = d_nm->mkVar(*d_booleanType); - Node c = d_nm->mkVar(*d_booleanType); - Node unnamed = d_nm->mkVar(*d_booleanType); - - a.setAttribute(VarNameAttr(), "a"); - b.setAttribute(VarNameAttr(), "b"); - c.setAttribute(VarNameAttr(), "c"); - - // test that all boolean flags are FALSE to start - Debug("boolattr") << "get flag 1 on a (should be F)\n"; - TS_ASSERT(! a.getAttribute(TestFlag1())); - Debug("boolattr") << "get flag 1 on b (should be F)\n"; - TS_ASSERT(! b.getAttribute(TestFlag1())); - Debug("boolattr") << "get flag 1 on c (should be F)\n"; - TS_ASSERT(! c.getAttribute(TestFlag1())); - Debug("boolattr") << "get flag 1 on unnamed (should be F)\n"; - TS_ASSERT(! unnamed.getAttribute(TestFlag1())); - - Debug("boolattr") << "get flag 2 on a (should be F)\n"; - TS_ASSERT(! a.getAttribute(TestFlag2())); - Debug("boolattr") << "get flag 2 on b (should be F)\n"; - TS_ASSERT(! b.getAttribute(TestFlag2())); - Debug("boolattr") << "get flag 2 on c (should be F)\n"; - TS_ASSERT(! c.getAttribute(TestFlag2())); - Debug("boolattr") << "get flag 2 on unnamed (should be F)\n"; - TS_ASSERT(! unnamed.getAttribute(TestFlag2())); - - Debug("boolattr") << "get flag 3 on a (should be F)\n"; - TS_ASSERT(! a.getAttribute(TestFlag3())); - Debug("boolattr") << "get flag 3 on b (should be F)\n"; - TS_ASSERT(! b.getAttribute(TestFlag3())); - Debug("boolattr") << "get flag 3 on c (should be F)\n"; - TS_ASSERT(! c.getAttribute(TestFlag3())); - Debug("boolattr") << "get flag 3 on unnamed (should be F)\n"; - TS_ASSERT(! unnamed.getAttribute(TestFlag3())); - - Debug("boolattr") << "get flag 4 on a (should be F)\n"; - TS_ASSERT(! a.getAttribute(TestFlag4())); - Debug("boolattr") << "get flag 4 on b (should be F)\n"; - TS_ASSERT(! b.getAttribute(TestFlag4())); - Debug("boolattr") << "get flag 4 on c (should be F)\n"; - TS_ASSERT(! c.getAttribute(TestFlag4())); - Debug("boolattr") << "get flag 4 on unnamed (should be F)\n"; - TS_ASSERT(! unnamed.getAttribute(TestFlag4())); - - Debug("boolattr") << "get flag 5 on a (should be F)\n"; - TS_ASSERT(! a.getAttribute(TestFlag5())); - Debug("boolattr") << "get flag 5 on b (should be F)\n"; - TS_ASSERT(! b.getAttribute(TestFlag5())); - Debug("boolattr") << "get flag 5 on c (should be F)\n"; - TS_ASSERT(! c.getAttribute(TestFlag5())); - Debug("boolattr") << "get flag 5 on unnamed (should be F)\n"; - TS_ASSERT(! unnamed.getAttribute(TestFlag5())); - - // test that they all HAVE the boolean attributes - TS_ASSERT(a.hasAttribute(TestFlag1())); - TS_ASSERT(b.hasAttribute(TestFlag1())); - TS_ASSERT(c.hasAttribute(TestFlag1())); - TS_ASSERT(unnamed.hasAttribute(TestFlag1())); - - TS_ASSERT(a.hasAttribute(TestFlag2())); - TS_ASSERT(b.hasAttribute(TestFlag2())); - TS_ASSERT(c.hasAttribute(TestFlag2())); - TS_ASSERT(unnamed.hasAttribute(TestFlag2())); - - TS_ASSERT(a.hasAttribute(TestFlag3())); - TS_ASSERT(b.hasAttribute(TestFlag3())); - TS_ASSERT(c.hasAttribute(TestFlag3())); - TS_ASSERT(unnamed.hasAttribute(TestFlag3())); - - TS_ASSERT(a.hasAttribute(TestFlag4())); - TS_ASSERT(b.hasAttribute(TestFlag4())); - TS_ASSERT(c.hasAttribute(TestFlag4())); - TS_ASSERT(unnamed.hasAttribute(TestFlag4())); - - TS_ASSERT(a.hasAttribute(TestFlag5())); - TS_ASSERT(b.hasAttribute(TestFlag5())); - TS_ASSERT(c.hasAttribute(TestFlag5())); - TS_ASSERT(unnamed.hasAttribute(TestFlag5())); - - // test two-arg version of hasAttribute() - bool bb = false; - Debug("boolattr") << "get flag 1 on a (should be F)\n"; - TS_ASSERT(a.getAttribute(TestFlag1(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 1 on b (should be F)\n"; - TS_ASSERT(b.getAttribute(TestFlag1(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 1 on c (should be F)\n"; - TS_ASSERT(c.getAttribute(TestFlag1(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 1 on unnamed (should be F)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag1(), bb)); - TS_ASSERT(! bb); - - Debug("boolattr") << "get flag 2 on a (should be F)\n"; - TS_ASSERT(a.getAttribute(TestFlag2(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 2 on b (should be F)\n"; - TS_ASSERT(b.getAttribute(TestFlag2(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 2 on c (should be F)\n"; - TS_ASSERT(c.getAttribute(TestFlag2(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 2 on unnamed (should be F)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag2(), bb)); - TS_ASSERT(! bb); - - Debug("boolattr") << "get flag 3 on a (should be F)\n"; - TS_ASSERT(a.getAttribute(TestFlag3(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 3 on b (should be F)\n"; - TS_ASSERT(b.getAttribute(TestFlag3(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 3 on c (should be F)\n"; - TS_ASSERT(c.getAttribute(TestFlag3(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 3 on unnamed (should be F)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag3(), bb)); - TS_ASSERT(! bb); - - Debug("boolattr") << "get flag 4 on a (should be F)\n"; - TS_ASSERT(a.getAttribute(TestFlag4(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 4 on b (should be F)\n"; - TS_ASSERT(b.getAttribute(TestFlag4(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 4 on c (should be F)\n"; - TS_ASSERT(c.getAttribute(TestFlag4(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 4 on unnamed (should be F)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag4(), bb)); - TS_ASSERT(! bb); - - Debug("boolattr") << "get flag 5 on a (should be F)\n"; - TS_ASSERT(a.getAttribute(TestFlag5(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 5 on b (should be F)\n"; - TS_ASSERT(b.getAttribute(TestFlag5(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 5 on c (should be F)\n"; - TS_ASSERT(c.getAttribute(TestFlag5(), bb)); - TS_ASSERT(! bb); - Debug("boolattr") << "get flag 5 on unnamed (should be F)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag5(), bb)); - TS_ASSERT(! bb); - - // setting boolean flags - Debug("boolattr") << "set flag 1 on a to T\n"; - a.setAttribute(TestFlag1(), true); - Debug("boolattr") << "set flag 1 on b to F\n"; - b.setAttribute(TestFlag1(), false); - Debug("boolattr") << "set flag 1 on c to F\n"; - c.setAttribute(TestFlag1(), false); - Debug("boolattr") << "set flag 1 on unnamed to T\n"; - unnamed.setAttribute(TestFlag1(), true); - - Debug("boolattr") << "set flag 2 on a to F\n"; - a.setAttribute(TestFlag2(), false); - Debug("boolattr") << "set flag 2 on b to T\n"; - b.setAttribute(TestFlag2(), true); - Debug("boolattr") << "set flag 2 on c to T\n"; - c.setAttribute(TestFlag2(), true); - Debug("boolattr") << "set flag 2 on unnamed to F\n"; - unnamed.setAttribute(TestFlag2(), false); - - Debug("boolattr") << "set flag 3 on a to T\n"; - a.setAttribute(TestFlag3(), true); - Debug("boolattr") << "set flag 3 on b to T\n"; - b.setAttribute(TestFlag3(), true); - Debug("boolattr") << "set flag 3 on c to T\n"; - c.setAttribute(TestFlag3(), true); - Debug("boolattr") << "set flag 3 on unnamed to T\n"; - unnamed.setAttribute(TestFlag3(), true); - - Debug("boolattr") << "set flag 4 on a to T\n"; - a.setAttribute(TestFlag4(), true); - Debug("boolattr") << "set flag 4 on b to T\n"; - b.setAttribute(TestFlag4(), true); - Debug("boolattr") << "set flag 4 on c to T\n"; - c.setAttribute(TestFlag4(), true); - Debug("boolattr") << "set flag 4 on unnamed to T\n"; - unnamed.setAttribute(TestFlag4(), true); - - Debug("boolattr") << "set flag 5 on a to T\n"; - a.setAttribute(TestFlag5(), true); - Debug("boolattr") << "set flag 5 on b to T\n"; - b.setAttribute(TestFlag5(), true); - Debug("boolattr") << "set flag 5 on c to F\n"; - c.setAttribute(TestFlag5(), false); - Debug("boolattr") << "set flag 5 on unnamed to T\n"; - unnamed.setAttribute(TestFlag5(), true); - - TS_ASSERT(a.getAttribute(VarNameAttr()) == "a"); - TS_ASSERT(a.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(a.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(a.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(b.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(b.getAttribute(VarNameAttr()) == "b"); - TS_ASSERT(b.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(b.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(c.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(c.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(c.getAttribute(VarNameAttr()) == "c"); - TS_ASSERT(c.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) == ""); - - TS_ASSERT(! unnamed.hasAttribute(VarNameAttr())); - - TS_ASSERT(! a.hasAttribute(TestStringAttr1())); - TS_ASSERT(! b.hasAttribute(TestStringAttr1())); - TS_ASSERT(! c.hasAttribute(TestStringAttr1())); - TS_ASSERT(! unnamed.hasAttribute(TestStringAttr1())); - - TS_ASSERT(! a.hasAttribute(TestStringAttr2())); - TS_ASSERT(! b.hasAttribute(TestStringAttr2())); - TS_ASSERT(! c.hasAttribute(TestStringAttr2())); - TS_ASSERT(! unnamed.hasAttribute(TestStringAttr2())); - - Debug("boolattr") << "get flag 1 on a (should be T)\n"; - TS_ASSERT(a.getAttribute(TestFlag1())); - Debug("boolattr") << "get flag 1 on b (should be F)\n"; - TS_ASSERT(! b.getAttribute(TestFlag1())); - Debug("boolattr") << "get flag 1 on c (should be F)\n"; - TS_ASSERT(! c.getAttribute(TestFlag1())); - Debug("boolattr") << "get flag 1 on unnamed (should be T)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag1())); - - Debug("boolattr") << "get flag 2 on a (should be F)\n"; - TS_ASSERT(! a.getAttribute(TestFlag2())); - Debug("boolattr") << "get flag 2 on b (should be T)\n"; - TS_ASSERT(b.getAttribute(TestFlag2())); - Debug("boolattr") << "get flag 2 on c (should be T)\n"; - TS_ASSERT(c.getAttribute(TestFlag2())); - Debug("boolattr") << "get flag 2 on unnamed (should be F)\n"; - TS_ASSERT(! unnamed.getAttribute(TestFlag2())); - - Debug("boolattr") << "get flag 3 on a (should be T)\n"; - TS_ASSERT(a.getAttribute(TestFlag3())); - Debug("boolattr") << "get flag 3 on b (should be T)\n"; - TS_ASSERT(b.getAttribute(TestFlag3())); - Debug("boolattr") << "get flag 3 on c (should be T)\n"; - TS_ASSERT(c.getAttribute(TestFlag3())); - Debug("boolattr") << "get flag 3 on unnamed (should be T)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag3())); - - Debug("boolattr") << "get flag 4 on a (should be T)\n"; - TS_ASSERT(a.getAttribute(TestFlag4())); - Debug("boolattr") << "get flag 4 on b (should be T)\n"; - TS_ASSERT(b.getAttribute(TestFlag4())); - Debug("boolattr") << "get flag 4 on c (should be T)\n"; - TS_ASSERT(c.getAttribute(TestFlag4())); - Debug("boolattr") << "get flag 4 on unnamed (should be T)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag4())); - - Debug("boolattr") << "get flag 5 on a (should be T)\n"; - TS_ASSERT(a.getAttribute(TestFlag5())); - Debug("boolattr") << "get flag 5 on b (should be T)\n"; - TS_ASSERT(b.getAttribute(TestFlag5())); - Debug("boolattr") << "get flag 5 on c (should be F)\n"; - TS_ASSERT(! c.getAttribute(TestFlag5())); - Debug("boolattr") << "get flag 5 on unnamed (should be T)\n"; - TS_ASSERT(unnamed.getAttribute(TestFlag5())); - - a.setAttribute(TestStringAttr1(), "foo"); - b.setAttribute(TestStringAttr1(), "bar"); - c.setAttribute(TestStringAttr1(), "baz"); - - TS_ASSERT(a.getAttribute(VarNameAttr()) == "a"); - TS_ASSERT(a.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(a.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(a.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(b.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(b.getAttribute(VarNameAttr()) == "b"); - TS_ASSERT(b.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(b.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(c.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(c.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(c.getAttribute(VarNameAttr()) == "c"); - TS_ASSERT(c.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) == ""); - - TS_ASSERT(! unnamed.hasAttribute(VarNameAttr())); - - TS_ASSERT(a.hasAttribute(TestStringAttr1())); - TS_ASSERT(b.hasAttribute(TestStringAttr1())); - TS_ASSERT(c.hasAttribute(TestStringAttr1())); - TS_ASSERT(! unnamed.hasAttribute(TestStringAttr1())); - - TS_ASSERT(! a.hasAttribute(TestStringAttr2())); - TS_ASSERT(! b.hasAttribute(TestStringAttr2())); - TS_ASSERT(! c.hasAttribute(TestStringAttr2())); - TS_ASSERT(! unnamed.hasAttribute(TestStringAttr2())); - - a.setAttribute(VarNameAttr(), "b"); - b.setAttribute(VarNameAttr(), "c"); - c.setAttribute(VarNameAttr(), "a"); - - TS_ASSERT(c.getAttribute(VarNameAttr()) == "a"); - TS_ASSERT(c.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(c.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(c.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(a.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(a.getAttribute(VarNameAttr()) == "b"); - TS_ASSERT(a.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(a.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(b.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(b.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(b.getAttribute(VarNameAttr()) == "c"); - TS_ASSERT(b.getAttribute(VarNameAttr()) != ""); - - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "a"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "b"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) != "c"); - TS_ASSERT(unnamed.getAttribute(VarNameAttr()) == ""); - - TS_ASSERT(! unnamed.hasAttribute(VarNameAttr())); - } -}; -- cgit v1.2.3