55 flush (STATE_MACH_T *this, char* reason) /* 17.19.9 */  in flush()  argument
57   register PORT_T* port = this->owner.port;  in flush()
61   if (this->debug) {  in flush()
74 setTcPropBridge (STATE_MACH_T* this, char* reason) /* 17.19.14 */  in setTcPropBridge()  argument
76   register PORT_T* port = this->owner.port;  in setTcPropBridge()
86   if (this->debug) {  in setTcPropBridge()
99 newTcWhile (STATE_MACH_T* this) /* 17.19.7 */  in newTcWhile()  argument
101   register PORT_T* port = this->owner.port;  in newTcWhile()
110 STP_topoch_enter_state (STATE_MACH_T* this)  in STP_topoch_enter_state()  argument
112   register PORT_T*      port = this->owner.port;  in STP_topoch_enter_state()
114   switch (this->State) {  in STP_topoch_enter_state()
118       flush (this, "topoch INIT");  in STP_topoch_enter_state()
133       port->tcWhile = newTcWhile (this);  in STP_topoch_enter_state()
135   if (this->debug)   in STP_topoch_enter_state()
139       setTcPropBridge (this, "DETECTED");  in STP_topoch_enter_state()
147       setTcPropBridge (this, "NOTIFIED_TC");  in STP_topoch_enter_state()
150       port->tcWhile = newTcWhile (this);  in STP_topoch_enter_state()
152   if (this->debug)   in STP_topoch_enter_state()
157       flush (this, "topoch PROPAGATING");  in STP_topoch_enter_state()
164   if (this->debug)   in STP_topoch_enter_state()
171       port->tcWhile = newTcWhile (this);  in STP_topoch_enter_state()
173   if (this->debug)   in STP_topoch_enter_state()
182 STP_topoch_check_conditions (STATE_MACH_T* this)  in STP_topoch_check_conditions()  argument
184   register PORT_T*      port = this->owner.port;  in STP_topoch_check_conditions()
186   if (BEGIN == this->State) {  in STP_topoch_check_conditions()
187     return STP_hop_2_state (this, INIT);  in STP_topoch_check_conditions()
190   switch (this->State) {  in STP_topoch_check_conditions()
192       return STP_hop_2_state (this, INACTIVE);  in STP_topoch_check_conditions()
195         return STP_hop_2_state (this, TCACTIVE);  in STP_topoch_check_conditions()
198         return STP_hop_2_state (this, INACTIVE);  in STP_topoch_check_conditions()
202         return STP_hop_2_state (this, INIT);  in STP_topoch_check_conditions()
204         return STP_hop_2_state (this, DETECTED);  in STP_topoch_check_conditions()
206         return STP_hop_2_state (this, NOTIFIED_TCN);  in STP_topoch_check_conditions()
208         return STP_hop_2_state (this, NOTIFIED_TC);  in STP_topoch_check_conditions()
210         return STP_hop_2_state (this, PROPAGATING);  in STP_topoch_check_conditions()
212         return STP_hop_2_state (this, ACKNOWLEDGED);  in STP_topoch_check_conditions()
215       return STP_hop_2_state (this, TCACTIVE);  in STP_topoch_check_conditions()
217       return STP_hop_2_state (this, TCACTIVE);  in STP_topoch_check_conditions()
219       return STP_hop_2_state (this, TCACTIVE);  in STP_topoch_check_conditions()
221       return STP_hop_2_state (this, TCACTIVE);  in STP_topoch_check_conditions()
223       return STP_hop_2_state (this, NOTIFIED_TC);  in STP_topoch_check_conditions()