Eclipse Community Forums: Eclipse Titan » Support of types with parameters

Home » Eclipse Projects » Eclipse Titan » Support of types with parameters(Does parameterization supported by titan.core code generation ?)

Show: Today's Messages :: Show Polls :: Message Navigator

Support of types with parameters [message #1796387]

Fri, 12 October 2018 08:41

Viktor Tarasov

Messages: 8
Registered: August 2018

Junior Member

Hello,

does code can be generated for the types with parameters?

In EtsiTs103097Module ASN1 module there something like this:

EtsiTs103097Data-Signed {ToBeSignedDataContent} ::= EtsiTs103097Data (WITH COMPONENTS  ...

and I do not see the code generated for this type in *.cc and *.hh files.

Am I missing something?

Kind regards,

Report message to a moderator

Re: Support of types with parameters [message #1796391 is a reply to message #1796387]

Fri, 12 October 2018 09:48

Kristof Szabados

Messages: 60
Registered: July 2015

Member

Hi Viktor,

You are right, we do not generate code for parameterised types.

Instead we generate code in the place where it is used, and it's parameter is already known.

Best Regards
Kristof

Report message to a moderator

Re: Support of types with parameters [message #1796397 is a reply to message #1796391]

Fri, 12 October 2018 10:49

Kristof Szabados

Messages: 60
Registered: July 2015

Member

For example if you have ASN.1 code like this:

My-Parameterized-Sequence {Param} ::= SEQUENCE {
    field1 Param,
    field2 INTEGER,
    field3 INTEGER OPTIONAL
}

SomethingINTEGER ::= My-Parameterized-Sequence{INTEGER}

SomethingREAL::= My-Parameterized-Sequence{REAL}

There will be no code generated directly for My-Parameterized-Sequence.
Instead we will calculate the 2 instantiation of the type, where the parameter is already filled in and the types generated for the Something... types will be typedefs of these instantiated type.

The "Somethings":

typedef _root_Min_My__Parameterized__Sequence_Min_inst1 SomethingINTEGER;
typedef _root_Min_My__Parameterized__Sequence_Min_inst1_template SomethingINTEGER_template;
typedef _root_Min_My__Parameterized__Sequence_Min_inst2 SomethingREAL;
typedef _root_Min_My__Parameterized__Sequence_Min_inst2_template SomethingREAL_template;

And for example the code generated for the first instantiation starts like this:

class _root_Min_My__Parameterized__Sequence_Min_inst1 : public Record_Type {
  INTEGER field_field1;
  INTEGER field_field2;
  OPTIONAL<INTEGER> field_field3;
...

Report message to a moderator