\begin{vdm_al}
--
-- THIS FILE IS AUTOMATICALLY GENERATED!!
--
-- Generated at 10-Nov-08 by the UML-VDM++ Link
--
class 「光センサー」

types
  public 「黒線レベル値」 = <最小値> | <最大値> | <黒閾値以下> | <白閾値以上>;

instance variables
  private i黒線レベル値 : [「黒線レベル値」] := nil;

operations
  -- ライン監視制御クラスと重複している操作のため削除
  -- VDM記述時に修正
  /*
  public ライン状態を判定する : () ==> ライン状態
  ライン状態を判定する() ==
    is not yet specified;
  */

  public 黒線レベル値を読み取る : () ==> [「黒線レベル値」]
  黒線レベル値を読み取る() ==
    return i黒線レベル値;

  -- テスト用操作
  public 黒線レベルを値をセットする : 「黒線レベル値」 ==> ()
  黒線レベルを値をセットする(a黒線レベル値) == i黒線レベル値 := a黒線レベル値;

end 「光センサー」
\end{vdm_al}

\begin{rtinfo}
  [「光センサー」]{vdm.tc}[「光センサー」]
\end{rtinfo}