19 #include <boost/test/unit_test.hpp>
26 BOOST_AUTO_TEST_SUITE(common)
41 BOOST_CHECK_EQUAL(deviceName1.getDeviceName(),
"xcv3200e");
42 BOOST_CHECK_EQUAL(deviceName1.getDevicePackage(),
"fg1156");
43 BOOST_CHECK_EQUAL(deviceName1.getDeviceSpeedGrade(),
"-8");
46 BOOST_CHECK_EQUAL(deviceName2.getDeviceName(),
"xc2vp30");
47 BOOST_CHECK_EQUAL(deviceName2.getDevicePackage(),
"ff896");
48 BOOST_CHECK_EQUAL(deviceName2.getDeviceSpeedGrade(),
"-7");
51 BOOST_CHECK_EQUAL(deviceName3.getDeviceName(),
"xc4vfx60");
52 BOOST_CHECK_EQUAL(deviceName3.getDevicePackage(),
"ff1152");
53 BOOST_CHECK_EQUAL(deviceName3.getDeviceSpeedGrade(),
"-12");
56 BOOST_CHECK_EQUAL(deviceName4.getDeviceName(),
"xc5vfx130t");
57 BOOST_CHECK_EQUAL(deviceName4.getDevicePackage(),
"ff1738");
58 BOOST_CHECK_EQUAL(deviceName4.getDeviceSpeedGrade(),
"-3");
61 BOOST_CHECK_EQUAL(deviceName5.getDeviceName(),
"xc6vhx380t");
62 BOOST_CHECK_EQUAL(deviceName5.getDevicePackage(),
"ff1924");
63 BOOST_CHECK_EQUAL(deviceName5.getDeviceSpeedGrade(),
"-3");
66 BOOST_CHECK_EQUAL(deviceName6.getDeviceName(),
"xc7vx485t");
67 BOOST_CHECK_EQUAL(deviceName6.getDevicePackage(),
"ffg1929");
68 BOOST_CHECK_EQUAL(deviceName6.getDeviceSpeedGrade(),
"-3");
74 BOOST_CHECK_EQUAL(ss.str(),
"xc7vx485tffg1929-3");
80 BOOST_AUTO_TEST_SUITE_END()
Encapsulation of a device designator and its constituent elements.
const EFamily & getFamily(void) const
Returns the device family.
Header for the DeviceDesignator class.
const string & getDeviceSpeedGrade(void) const
Returns the device speed grade.
BOOST_AUTO_TEST_CASE(AnnotatedUnitTest)
Unit test for the Annotated class.
const string & getDevicePackage(void) const
Returns the device package.
const string & getDeviceName(void) const
Returns the device name.