Lines Matching refs:Non_Static

112     subtype Non_Static is Medium range Lower_Bound..Upper_Bound;
116     TCTouch.Assert( Non_Static'First = Medium(The_Toe), "Non_Static'First" );
117     TCTouch.Assert( Non_Static'Last = Non_Static(The_Cap),
118                     "Non_Static'Last" );
119     TCTouch.Assert( Non_Static(The_Cap/2) in Non_Static'Range,
120                     "Non_Static'Range" );
121     TCTouch.Assert( Non_Static'Min(Medium(Report.Ident_Int(100)),
123                     "Non_Static'Min" );
124     TCTouch.Assert( Non_Static'Max(Medium(Report.Ident_Int(100)),
126                     "Non_Static'Max" );
127     TCTouch.Assert( Non_Static'Succ(Non_Static(The_Cap))
129                     "Non_Static'Succ" );
130     TCTouch.Assert( Non_Static'Pred(Medium(Report.Ident_Int(The_Cap)))
131                     = Non_Static(Report.Ident_Int(The_Cap-1)),
132                     "Non_Static'Pred" );
133     TCTouch.Assert( Non_Static'Pos(Upper_Bound) = Non_Static(The_Cap),
134                     "Non_Static'Pos" );
135     TCTouch.Assert( Non_Static'Val(Non_Static(The_Cap)) = Upper_Bound,
136                     "Non_Static'Val" );