TOPIC:

Hello,

I have a question: Can a module parameter be used as array size?


Br,
Tania

Hello,



For a module parameter the standard says: “the language element module
allows static value parameterization to support test suite parameters, i.e.
this parameterization may or may not be resolvable at compile-time but shall
be resolved by the commencement of run-time (i.e. static at run-time). This
means that, at run-time, module parameter values are globally visible but
not changeable (see more details in clause 8.2);” (page 22) and at clause
8.2, it says in the semantic description: “Module parameters behave as
global constants at run-time.” (page54).



This means that a module parameter has a constant value once is assign.



For the definition of the dimensions of an array it says: “Array dimensions
shall be specified using constant expressions, which shall evaluate to a
positive integer values” (page 40), so if a module parameter is constant
once is define then it could be used.



Regards

Iván







Iván Navarro Azurmendi



cid:part2.03090808.07000509@mtp.es



Pº de la Castellana, 182 - 10ª planta

28046 - Madrid

Tel.: +34 913531564

Fax: +34 913596179

<www.mtp.es> www.mtp.es



De: active_ttcn3 : mts stf133 ttcn version 3 - active members only
[This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de Garcia Alvarez, Tania (EXT-Other -
DE/Ulm)
Enviado el: jueves, 30 de octubre de 2008 7:38
Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
Asunto: Module parameters



Hello,

I have a question: Can a module parameter be used as array size?



Br,
Tania

Dear all,

in 6.2.7 Arrays, part 1 says:

Constants used in the constant expressions shall meet with the restrictions in clause 10, see in particular restriction c).

And clause 10, restr. c) says:

c) Constant expressions initializing constants, which are used in type and array definitions, shall only contain literals, predefined functions except of rnd (see clause 16.1.2), operators specified in clause 7.1, and other constants obeying the limitations of this paragraph.

--> module parameters are not allowed - they are not known at compile time.

With best regards,

Ina

---

Prof. Dr.-Ing. Ina Schieferdecker, Head of Competence Center
Modeling and Testing url: www.fokus.fraunhofer.de/go/motion
Fraunhofer FOKUS email: This email address is being protected from spambots. You need JavaScript enabled to view it.
Kaiserin-Augusta-Allee 31 tel: ++49-30-3463-7241
D-10589 Berlin fax: ++49-30-3463-8241

---

________________________________

From: active_ttcn3 : mts stf133 ttcn version 3 - active members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Iván Navarro Azurmendi
Sent: Thursday, October 30, 2008 6:25 PM
To: This email address is being protected from spambots. You need JavaScript enabled to view it.
Subject: Re: Module parameters





Hello,



For a module parameter the standard says: "the language element module allows static value parameterization to support test suite parameters, i.e. this parameterization may or may not be resolvable at compile-time but shall be resolved by the commencement of run-time (i.e. static at run-time). This means that, at run-time, module parameter values are globally visible but not changeable (see more details in clause 8.2);" (page 22) and at clause 8.2, it says in the semantic description: "Module parameters behave as global constants at run-time." (page54).



This means that a module parameter has a constant value once is assign.



For the definition of the dimensions of an array it says: "Array dimensions shall be specified using constant expressions, which shall evaluate to a positive integer values" (page 40), so if a module parameter is constant once is define then it could be used.



Regards

Iván







Iván Navarro Azurmendi



cid:part2.03090808.07000509@mtp.es



Pº de la Castellana, 182 - 10ª planta

28046 - Madrid

Tel.: +34 913531564

Fax: +34 913596179

www.mtp.es <www.mtp.es>



De: active_ttcn3 : mts stf133 ttcn version 3 - active members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de Garcia Alvarez, Tania (EXT-Other - DE/Ulm)
Enviado el: jueves, 30 de octubre de 2008 7:38
Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
Asunto: Module parameters



Hello,

I have a question: Can a module parameter be used as array size?



Br,
Tania

Hi Ina, I have been looking for the annotations you have posted in the core
language v3.2 and I cannot find them. I have downloaded the v3.4 and I still
cannot find them.

In what version are those annotations you are referencing?


Regards

Iván


 
Iván Navarro Azurmendi
 

 
Pº de la Castellana, 182 - 10ª planta
28046 - Madrid
Tel.:  +34 913531564
Fax: +34 913596179
www.mtp.es

---

Mensaje original

---

De: active_ttcn3 : mts stf133 ttcn version 3 - active members only
[This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de Schieferdecker, Ina
Enviado el: viernes, 31 de octubre de 2008 6:06
Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
Asunto: Re: Module parameters

Dear all,

in 6.2.7 Arrays, part 1 says:

Constants used in the constant expressions shall meet with the restrictions
in clause 10, see in particular restriction c).

And clause 10, restr. c) says:

c) Constant expressions initializing constants, which are used in type
and array definitions, shall only contain literals, predefined functions
except of rnd (see clause 16.1.2), operators specified in clause 7.1, and
other constants obeying the limitations of this paragraph.

--> module parameters are not allowed - they are not known at compile time.

With best regards,

Ina

---

Prof. Dr.-Ing. Ina Schieferdecker, Head of Competence Center
Modeling and Testing url: www.fokus.fraunhofer.de/go/motion
Fraunhofer FOKUS email: This email address is being protected from spambots. You need JavaScript enabled to view it.
Kaiserin-Augusta-Allee 31 tel: ++49-30-3463-7241
D-10589 Berlin fax: ++49-30-3463-8241

---

________________________________

From: active_ttcn3 : mts stf133 ttcn version 3 - active members only
[This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Iván Navarro Azurmendi
Sent: Thursday, October 30, 2008 6:25 PM
To: This email address is being protected from spambots. You need JavaScript enabled to view it.
Subject: Re: Module parameters





Hello,



For a module parameter the standard says: "the language element
module allows static value parameterization to support test suite
parameters, i.e. this parameterization may or may not be resolvable at
compile-time but shall be resolved by the commencement of run-time (i.e.
static at run-time). This means that, at run-time, module parameter values
are globally visible but not changeable (see more details in clause 8.2);"
(page 22) and at clause 8.2, it says in the semantic description: "Module
parameters behave as global constants at run-time." (page54).



This means that a module parameter has a constant value once is
assign.



For the definition of the dimensions of an array it says: "Array
dimensions shall be specified using constant expressions, which shall
evaluate to a positive integer values" (page 40), so if a module parameter
is constant once is define then it could be used.



Regards

Iván







Iván Navarro Azurmendi



cid:part2.03090808.07000509@mtp.es



Pº de la Castellana, 182 - 10ª planta

28046 - Madrid

Tel.: +34 913531564

Fax: +34 913596179

www.mtp.es <www.mtp.es>



De: active_ttcn3 : mts stf133 ttcn version 3 - active members only
[This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de Garcia Alvarez, Tania (EXT-Other -
DE/Ulm)
Enviado el: jueves, 30 de octubre de 2008 7:38
Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
Asunto: Module parameters



Hello,

I have a question: Can a module parameter be used as array size?



Br,
Tania

Hi,

In v3.4.1, clause 6.2.7:
"Array dimensions shall be specified using constant expressions, which shall evaluate to a positive integer values."

Constants in version v3.4.1, clause 10:
"A constant assigns a name to a fixed value. This value is known at compile time. ..."

This will change in v4.1.1, constants will be runtime constants, i.e. allowing module parameters BUT NOT in subtyping and array declarations.


BR, Gyorgy

>

---

Original Message

---

> From: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Iván
> Navarro Azurmendi
> Sent: 2008-október-31 13:49
> To: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: Re: Module parameters
>
> Hi Ina, I have been looking for the annotations you have
> posted in the core language v3.2 and I cannot find them. I
> have downloaded the v3.4 and I still cannot find them.
>
> In what version are those annotations you are referencing?
>
>
> Regards
>
> Iván
>
>
>  
> Iván Navarro Azurmendi
>  
>
>  
> Pº de la Castellana, 182 - 10ª planta
> 28046 - Madrid
> Tel.:  +34 913531564
> Fax: +34 913596179
> www.mtp.es
>
>
>

---

Mensaje original

---

> De: active_ttcn3 : mts stf133 ttcn version 3 - active members
> only [This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de
> Schieferdecker, Ina Enviado el: viernes, 31 de octubre de 2008 6:06
> Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Asunto: Re: Module parameters
>
> Dear all,
>
> in 6.2.7 Arrays, part 1 says:
>
> Constants used in the constant expressions shall meet with
> the restrictions in clause 10, see in particular restriction c).
>
> And clause 10, restr. c) says:
>
> c) Constant expressions initializing constants, which are
> used in type
> and array definitions, shall only contain literals,
> predefined functions except of rnd (see clause 16.1.2),
> operators specified in clause 7.1, and other constants
> obeying the limitations of this paragraph.
>
> --> module parameters are not allowed - they are not known at
> compile time.
>
> With best regards,
>
> Ina
>
>
>

---

>

---

> Prof. Dr.-Ing. Ina Schieferdecker, Head of Competence Center
> Modeling and Testing url:
> www.fokus.fraunhofer.de/go/motion
> Fraunhofer FOKUS email:
> This email address is being protected from spambots. You need JavaScript enabled to view it.
> Kaiserin-Augusta-Allee 31 tel: ++49-30-3463-7241
> D-10589 Berlin fax: ++49-30-3463-8241
>

---

>

---

>
>
>
>
>
> ________________________________
>
> From: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Iván
> Navarro Azurmendi
> Sent: Thursday, October 30, 2008 6:25 PM
> To: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: Re: Module parameters
>
>
>
>
>
> Hello,
>
>
>
> For a module parameter the standard says: "the language
> element module allows static value parameterization to
> support test suite parameters, i.e. this parameterization may
> or may not be resolvable at compile-time but shall be
> resolved by the commencement of run-time (i.e.
> static at run-time). This means that, at run-time, module
> parameter values are globally visible but not changeable (see
> more details in clause 8.2);"
> (page 22) and at clause 8.2, it says in the semantic
> description: "Module parameters behave as global constants at
> run-time." (page54).
>
>
>
> This means that a module parameter has a constant value
> once is assign.
>
>
>
> For the definition of the dimensions of an array it
> says: "Array dimensions shall be specified using constant
> expressions, which shall evaluate to a positive integer
> values" (page 40), so if a module parameter is constant once
> is define then it could be used.
>
>
>
> Regards
>
> Iván
>
>
>
>
>
>
>
> Iván Navarro Azurmendi
>
>
>
> cid:part2.03090808.07000509@mtp.es
>
>
>
> Pº de la Castellana, 182 - 10ª planta
>
> 28046 - Madrid
>
> Tel.: +34 913531564
>
> Fax: +34 913596179
>
> www.mtp.es <www.mtp.es>
>
>
>
> De: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de Garcia
> Alvarez, Tania (EXT-Other -
> DE/Ulm)
> Enviado el: jueves, 30 de octubre de 2008 7:38
> Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Asunto: Module parameters
>
>
>
> Hello,
>
> I have a question: Can a module parameter be used as
> array size?
>
>
>
> Br,
> Tania
>

Hi Ivan,

sorry for the confusion: indeed this is from the upcoming version - the statements are the resolution for CR - t-ort.etsi.org/view.php?id=2152

This CR asked for a clarification on constants, which has been done accordingly.

With best regards,

Ina

---

Prof. Dr.-Ing. Ina Schieferdecker, Head of Competence Center
Modeling and Testing url: www.fokus.fraunhofer.de/go/motion
Fraunhofer FOKUS email: This email address is being protected from spambots. You need JavaScript enabled to view it.
Kaiserin-Augusta-Allee 31 tel: ++49-30-3463-7241
D-10589 Berlin fax: ++49-30-3463-8241

---

>

---

Original Message

---

> From: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Iván
> Navarro Azurmendi
> Sent: Friday, October 31, 2008 1:49 PM
> To: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: Re: Module parameters
>
> Hi Ina, I have been looking for the annotations you have
> posted in the core
> language v3.2 and I cannot find them. I have downloaded the
> v3.4 and I still
> cannot find them.
>
> In what version are those annotations you are referencing?
>
>
> Regards
>
> Iván
>
>
>  
> Iván Navarro Azurmendi
>  
>
>  
> Pº de la Castellana, 182 - 10ª planta
> 28046 - Madrid
> Tel.:  +34 913531564
> Fax: +34 913596179
> www.mtp.es
>
>
>

---

Mensaje original

---

> De: active_ttcn3 : mts stf133 ttcn version 3 - active members only
> [This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de Schieferdecker, Ina
> Enviado el: viernes, 31 de octubre de 2008 6:06
> Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Asunto: Re: Module parameters
>
> Dear all,
>
> in 6.2.7 Arrays, part 1 says:
>
> Constants used in the constant expressions shall meet with
> the restrictions
> in clause 10, see in particular restriction c).
>
> And clause 10, restr. c) says:
>
> c) Constant expressions initializing constants, which are
> used in type
> and array definitions, shall only contain literals,
> predefined functions
> except of rnd (see clause 16.1.2), operators specified in
> clause 7.1, and
> other constants obeying the limitations of this paragraph.
>
> --> module parameters are not allowed - they are not known at
> compile time.
>
> With best regards,
>
> Ina
>
>
>

---

>

---

> Prof. Dr.-Ing. Ina Schieferdecker, Head of Competence Center
> Modeling and Testing url:
> www.fokus.fraunhofer.de/go/motion
> Fraunhofer FOKUS email:
> This email address is being protected from spambots. You need JavaScript enabled to view it.
> Kaiserin-Augusta-Allee 31 tel: ++49-30-3463-7241
> D-10589 Berlin fax: ++49-30-3463-8241
>

---

>

---

>
>
>
>
>
> ________________________________
>
> From: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only
> [This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Iván Navarro Azurmendi
> Sent: Thursday, October 30, 2008 6:25 PM
> To: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: Re: Module parameters
>
>
>
>
>
> Hello,
>
>
>
> For a module parameter the standard says: "the language element
> module allows static value parameterization to support test suite
> parameters, i.e. this parameterization may or may not be resolvable at
> compile-time but shall be resolved by the commencement of
> run-time (i.e.
> static at run-time). This means that, at run-time, module
> parameter values
> are globally visible but not changeable (see more details in
> clause 8.2);"
> (page 22) and at clause 8.2, it says in the semantic
> description: "Module
> parameters behave as global constants at run-time." (page54).
>
>
>
> This means that a module parameter has a constant value once is
> assign.
>
>
>
> For the definition of the dimensions of an array it says: "Array
> dimensions shall be specified using constant expressions, which shall
> evaluate to a positive integer values" (page 40), so if a
> module parameter
> is constant once is define then it could be used.
>
>
>
> Regards
>
> Iván
>
>
>
>
>
>
>
> Iván Navarro Azurmendi
>
>
>
> cid:part2.03090808.07000509@mtp.es
>
>
>
> Pº de la Castellana, 182 - 10ª planta
>
> 28046 - Madrid
>
> Tel.: +34 913531564
>
> Fax: +34 913596179
>
> www.mtp.es <www.mtp.es>
>
>
>
> De: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only
> [This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de Garcia Alvarez,
> Tania (EXT-Other -
> DE/Ulm)
> Enviado el: jueves, 30 de octubre de 2008 7:38
> Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Asunto: Module parameters
>
>
>
> Hello,
>
> I have a question: Can a module parameter be used as
> array size?
>
>
>
> Br,
> Tania
>

Ok, thanks for the aclarations.


 
Iván Navarro Azurmendi
 

 
Pº de la Castellana, 182 - 10ª planta
28046 - Madrid
Tel.:  +34 913531564
Fax: +34 913596179
www.mtp.es

---

Mensaje original

---

De: active_ttcn3 : mts stf133 ttcn version 3 - active members only
[This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de György Réthy
Enviado el: viernes, 31 de octubre de 2008 13:01
Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
Asunto: Re: Module parameters

Hi,

In v3.4.1, clause 6.2.7:
"Array dimensions shall be specified using constant expressions, which shall
evaluate to a positive integer values."

Constants in version v3.4.1, clause 10:
"A constant assigns a name to a fixed value. This value is known at compile
time. ..."

This will change in v4.1.1, constants will be runtime constants, i.e.
allowing module parameters BUT NOT in subtyping and array declarations.


BR, Gyorgy

>

---

Original Message

---

> From: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Iván
> Navarro Azurmendi
> Sent: 2008-október-31 13:49
> To: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: Re: Module parameters
>
> Hi Ina, I have been looking for the annotations you have
> posted in the core language v3.2 and I cannot find them. I
> have downloaded the v3.4 and I still cannot find them.
>
> In what version are those annotations you are referencing?
>
>
> Regards
>
> Iván
>
>
>  
> Iván Navarro Azurmendi
>  
>
>  
> Pº de la Castellana, 182 - 10ª planta
> 28046 - Madrid
> Tel.:  +34 913531564
> Fax: +34 913596179
> www.mtp.es
>
>
>

---

Mensaje original

---

> De: active_ttcn3 : mts stf133 ttcn version 3 - active members
> only [This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de
> Schieferdecker, Ina Enviado el: viernes, 31 de octubre de 2008 6:06
> Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Asunto: Re: Module parameters
>
> Dear all,
>
> in 6.2.7 Arrays, part 1 says:
>
> Constants used in the constant expressions shall meet with
> the restrictions in clause 10, see in particular restriction c).
>
> And clause 10, restr. c) says:
>
> c) Constant expressions initializing constants, which are
> used in type
> and array definitions, shall only contain literals,
> predefined functions except of rnd (see clause 16.1.2),
> operators specified in clause 7.1, and other constants
> obeying the limitations of this paragraph.
>
> --> module parameters are not allowed - they are not known at
> compile time.
>
> With best regards,
>
> Ina
>
>
>

---

>

---

> Prof. Dr.-Ing. Ina Schieferdecker, Head of Competence Center
> Modeling and Testing url:
> www.fokus.fraunhofer.de/go/motion
> Fraunhofer FOKUS email:
> This email address is being protected from spambots. You need JavaScript enabled to view it.
> Kaiserin-Augusta-Allee 31 tel: ++49-30-3463-7241
> D-10589 Berlin fax: ++49-30-3463-8241
>

---

>

---

>
>
>
>
>
> ________________________________
>
> From: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] On Behalf Of Iván
> Navarro Azurmendi
> Sent: Thursday, October 30, 2008 6:25 PM
> To: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Subject: Re: Module parameters
>
>
>
>
>
> Hello,
>
>
>
> For a module parameter the standard says: "the language
> element module allows static value parameterization to
> support test suite parameters, i.e. this parameterization may
> or may not be resolvable at compile-time but shall be
> resolved by the commencement of run-time (i.e.
> static at run-time). This means that, at run-time, module
> parameter values are globally visible but not changeable (see
> more details in clause 8.2);"
> (page 22) and at clause 8.2, it says in the semantic
> description: "Module parameters behave as global constants at
> run-time." (page54).
>
>
>
> This means that a module parameter has a constant value
> once is assign.
>
>
>
> For the definition of the dimensions of an array it
> says: "Array dimensions shall be specified using constant
> expressions, which shall evaluate to a positive integer
> values" (page 40), so if a module parameter is constant once
> is define then it could be used.
>
>
>
> Regards
>
> Iván
>
>
>
>
>
>
>
> Iván Navarro Azurmendi
>
>
>
> cid:part2.03090808.07000509@mtp.es
>
>
>
> Pº de la Castellana, 182 - 10ª planta
>
> 28046 - Madrid
>
> Tel.: +34 913531564
>
> Fax: +34 913596179
>
> www.mtp.es <www.mtp.es>
>
>
>
> De: active_ttcn3 : mts stf133 ttcn version 3 - active
> members only [This email address is being protected from spambots. You need JavaScript enabled to view it.] En nombre de Garcia
> Alvarez, Tania (EXT-Other -
> DE/Ulm)
> Enviado el: jueves, 30 de octubre de 2008 7:38
> Para: This email address is being protected from spambots. You need JavaScript enabled to view it.
> Asunto: Module parameters
>
>
>
> Hello,
>
> I have a question: Can a module parameter be used as
> array size?
>
>
>
> Br,
> Tania
>