$Id: readme.txt,v 1.1 2005/10/31 02:15:42 vdmtools Exp $
SSLib -- VDM++CũeXgvO written by Shin Sahara

t@C̐
	*.vpp		--VDM++̃\[XieLXgt@CŁj

	AllT.vpp		--P̃eXgpvOieLXgt@CŁj
	CalendarT.vpp	--NX
	DateT.vpp		--tNX
	DoubleListQueueT.vpp	--QdXgŎꂽ҂sNX
	HashtableT.vpp	--nbV\
	IntegerT.vpp	--NX
	MapT.vpp		--ʑNX
	ObjectT.vpp	--IuWFNgNX
	RealT.vpp		--\NX
	SequenceT.vpp	--NX
	SetT.vpp		--WNX
	StringT.vpp		--NX
	TestCase.vpp	--AeXgpeXgP[X̃X[p[NX
	TestDriver.vpp	--AeXgpeXghCo[
	TestLogger.vpp	--AeXgpeXgʏo
	UniqueSequenceT.vpp	-- B̔ԍ𔭔ԂNX
	vdm.tc		--eXgJo[W̌ʂĂf[^
	VDMTESTLOG.TXT	--eXgʂ̃O

P̃eXg̎s@
	O
		VDMTools̃CXg[IĂ邱
		C^[v^Pretty PrinterIvVݒŁAOutput index of definitions and uses  Test coverage coloring `FbNĂ
		R[hJo[W𓾂Ƃ́AVDM++̃\[XiRTFŁjgpB
			iVDM++̃\[XieLXgt@CŁjgpTeXt@C邪ÂƂ낤܂\ۏ؂͂ȂBj
	菇
		test.prjt@C_uNbN
		ÓI^`FbNsȂĂC^[v^ɂs͂ł邪AÓI^`FbN肽΂ Type Checkij[{^j
		C^[v^EBhEŃCjVCY
		C^[v^EBhEňȉ̃R}hsi--ȉ͒߂Ȃ̂ŁAۂɂ̓^CvȂj
			cr a := new AllT()	--eXgpNX̃CX^X쐬w a ɑ
			d a.run()			--IuWFNg a  run fobOs(fobOKvȂ p a.run() Ŏs邱Ƃłj
			tcov write vdm.tc	--R[hJo[W̌ʂt@C vdm.tcɏo
			rtinfo vdm.tc		--R[hJo[WC^[v^ŕ\
		R[hJo[W܂񂾐t@C𓾂Ƃ́AManagerEBhE Pretty Printij[{^j .rtf.rtf ŏIt@CB
			
			