/**
  豁」蠖捺€ァ遒コ隱阪ユ繧ケ繝医こ繝シ繧ケ
*/
class testVerification01 is subclass of TestCase

  instance variables
    public iLineCtrl : 縲後Λ繧、繝ウ逶」隕門宛蠕。縲�;
  
  operations
    public setUp : () ==> ()
    setUp() ==
    (
      iLineCtrl := new 縲後Λ繧、繝ウ逶」隕門宛蠕。縲�();
      iLineCtrl.鮟堤キ壹Ξ繝吶Ν繧貞€、繧偵そ繝�ヨ縺吶k(<鮟帝明蛟、莉・荳�>);
    );
    
    public runTest : () ==> ()
    runTest() ==
    (
      dcl t繝ゥ繧、繝ウ迥カ諷� : 縲後Λ繧、繝ウ逶」隕門宛蠕。縲港縲後Λ繧、繝ウ迥カ諷九€�;
      t繝ゥ繧、繝ウ迥カ諷� := iLineCtrl.繝ゥ繧、繝ウ迥カ諷九r蛻、螳壹☆繧�();
      assertTrue("test01 failed.",
                 t繝ゥ繧、繝ウ迥カ諷� = <鮟�>);
    );

end testVerification01

/**
  螯・蠖捺€ァ遒コ隱阪ユ繧ケ繝医こ繝シ繧ケ
*/
class testValidation01 is subclass of TestCase

  instance variables
    public iNXT : 縲悟宛蠕。繝槭す繝ウ縲�;
  
  operations
    public setUp : () ==> ()
    setUp() ==
    (
      iNXT := new 縲悟宛蠕。繝槭す繝ウ縲�();
      iNXT.鮟堤キ壹Ξ繝吶Ν繧貞€、繧偵そ繝�ヨ縺吶k(<鮟帝明蛟、莉・荳�>);
    );
    
    public runTest : () ==> ()
    runTest() ==
    (
      iNXT.髮サ貅舌�繧ソ繝ウ繧呈款縺�();
      iNXT.襍ー陦後☆繧�();
       assertTrue("test01 failed.",
                  iNXT.襍ー陦檎憾諷九r蠕励k() = <襍ー陦御クュ> and
                  iNXT.騾イ陦梧婿蜷代r蠕励k() = <蜿ウ繧ソ繝シ繝ウ荳ュ>);
    );

end testValidation01

class testValidation02 is subclass of TestCase

  instance variables
    public iNXT : 縲悟宛蠕。繝槭す繝ウ縲�;
  
  operations
    public setUp : () ==> ()
    setUp() ==
    (
      iNXT := new 縲悟宛蠕。繝槭す繝ウ縲�();
      iNXT.鮟堤キ壹Ξ繝吶Ν繧貞€、繧偵そ繝�ヨ縺吶k(<逋ス髢セ蛟、莉・荳�>);
    );
    
    public runTest : () ==> ()
    runTest() ==
    (
      iNXT.髮サ貅舌�繧ソ繝ウ繧呈款縺�();
      iNXT.襍ー陦後☆繧�();
       assertTrue("test02 failed.",
                  iNXT.襍ー陦檎憾諷九r蠕励k() = <襍ー陦御クュ> and
                  iNXT.騾イ陦梧婿蜷代r蠕励k() = <蟾ヲ繧ソ繝シ繝ウ荳ュ>);
    );

end testValidation02