public static void Confirm(XmlElement
		    xmlElement, MutexConfig mutexConfig, bool compulsory)
        {
            Configuration.ConfirmUint(xmlElement, "Alignment",
                mutexConfig.Alignment, compulsory);
            Configuration.ConfirmUint(xmlElement, "Increment",
                mutexConfig.Increment, compulsory);
            Configuration.ConfirmUint(xmlElement, "MaxMutexes",
                mutexConfig.MaxMutexes, compulsory);
            Configuration.ConfirmUint(xmlElement,
                "NumTestAndSetSpins",
                mutexConfig.NumTestAndSetSpins, compulsory);
        }
        public void TestConfig()
        {
            testName = "TestConfig";
            SetUpTest(false);

            /*
             * Configure the fields/properties and see if
             * they are updated successfully.
             */
            MutexConfig lockingConfig = new MutexConfig();
            XmlElement xmlElem = Configuration.TestSetUp(
                testFixtureName, testName);
            Config(xmlElem, ref lockingConfig, true);
            Confirm(xmlElem, lockingConfig, true);
        }
        public static void Config(XmlElement
		    xmlElement, ref MutexConfig mutexConfig, bool compulsory)
        {
            uint value = new uint();
            if (Configuration.ConfigUint(xmlElement, "Alignment",
                ref value, compulsory))
                mutexConfig.Alignment = value;
            if (Configuration.ConfigUint(xmlElement, "Increment",
                ref value, compulsory))
                mutexConfig.Increment = value;
            if (Configuration.ConfigUint(xmlElement, "MaxMutexes",
                ref value, compulsory))
                mutexConfig.MaxMutexes = value;
            if (Configuration.ConfigUint(xmlElement,
                "NumTestAndSetSpins", ref value, compulsory))
                mutexConfig.NumTestAndSetSpins = value;
        }