アサーション活用の手引き

リスト2　PSLで記述したアサーション　アサーション言語を使って、リスト1と同じ内容を記述している。