contrib/gcc/genautomata.c

134 /* The following structure describes a ticker.  */
135 struct ticker
137   /* The following member value is time of the ticker creation with
138      taking into account time when the ticker is off.  Active time of
139      the ticker is current time minus the value.  */
142      ticker was off.  Zero value means that now the ticker is on.  */
146 /* The ticker is represented by the following type.  */
147 typedef struct ticker ticker_t;
3008 /* The page contains abstract data `ticker'.  This data is used to
3013 /* The following function creates ticker and makes it active.  */
3017   ticker_t ticker;
3019   ticker.modified_creation_time = get_run_time ();
3020   ticker.incremented_off_time = 0;
3021   return ticker;
3024 /* The following function switches off given ticker.  */
3026 ticker_off (ticker_t *ticker)
3028   if (ticker->incremented_off_time == 0)
3029     ticker->incremented_off_time = get_run_time () + 1;
3032 /* The following function switches on given ticker.  */
3034 ticker_on (ticker_t *ticker)
3036   if (ticker->incremented_off_time != 0)
3038       ticker->modified_creation_time
3039         += get_run_time () - ticker->incremented_off_time + 1;
3040       ticker->incremented_off_time = 0;
3045    the moment when given ticker was created.  */
3047 active_time (ticker_t ticker)
3049   if (ticker.incremented_off_time != 0)
3050     return ticker.incremented_off_time - 1 - ticker.modified_creation_time;
3052     return get_run_time () - ticker.modified_creation_time;
3056    of given ticker.  The result is string representation of seconds
3072 print_active_time (FILE *f, ticker_t ticker)
3076   msecs = active_time (ticker);