set_interval


Description:

public void set_interval (Interval? interval)

Sets the interval property using interval.

The this will acquire a reference on the interval, sinking the floating flag on it if necessary.

Parameters:

this

a Transition

interval

a Interval, or null