Hello all,

Pardon the confusion, it turns out that in TTCN-2,
defaults may not start with a sending operation, so
there is no problem, really.

Sorry about that.

/Johan

---

Original Message

---

From: Jacob 'Ugh' Wieland [This email address is being protected from spambots. You need JavaScript enabled to view it.]
Sent: den 26 februari 2002 10:15
To: This email address is being protected from spambots. You need JavaScript enabled to view it.
Subject: Re: Teststeps...


On Mon, 25 Feb 2002, Johan Nordin wrote:

> Hello Jens,
>
> OK, but is it really allowed to start with an else statement?
> Consider the BNF:
>
>
>
> AltConstruct ::= AltKeyword BeginChar AltGuardList EndChar
>
> AltKeyword ::= alt
>
> AltGuardList ::= { GuardStatement [SemiColon]}+ [ElseStatement
[SemiColon]]
>
> GuardStatement ::= AltGuardChar (AltFunctionCall | GuardOp
StatementBlock)
>
>
> AltFunctionCall ::= AltKeyword Dot FunctionInstance
> /* STATIC SEMANTICS the Function instance shall have either have no return
> type or a return type
> of altcontroltype */
>
> ElseStatement ::= "["ElseKeyword "]" StatementBlock
>
> AltGuardChar ::= "[" [BooleanExpression] "]"
>
>
>
> To me it looks like thw else statement cannot appear first in an alt or am
I
> wrong?

Then, I guess you'd have to use a little hack:

... {
[false] any port.receive {}
[else] { ... }
}

Greetings, Jacob