Commit 44a54e1d authored by Kristof Szabados's avatar Kristof Szabados
Browse files

add support for any timeout

Signed-off-by: Kristof Szabados's avatarkristof <>
parent 7525798d
......@@ -252,4 +252,36 @@ public class TitanTimer {
return false;
* Return the alt status.
* @return ALT_NO if no timer is running.
* @return ALT_MAYBE if there is at least one timer that is started
* and the snapshot was taken before it's expiration time
* @return ALT_YES if there is at least one time that is started
* and the snapshot is past it's expiration time
* originally timeout(Index_Redirect*)
* */
public static TitanAlt_Status anyTimeout() {
TitanAlt_Status returnValue = TitanAlt_Status.ALT_NO;
for (TitanTimer timer : TIMERS) {
switch(timer.timeout()) {
case ALT_YES:
//TODO log
return TitanAlt_Status.ALT_YES;
returnValue = TitanAlt_Status.ALT_MAYBE;
throw new TtcnError(MessageFormat.format("Internal error: Timer {0} returned unexpected status code while evaluating `any timer.timeout'.",
//TODO log
return returnValue;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment