Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Eclipse Projects » Eclipse Titan » Fields declared after extension (...) are not set as optional(TTCN-3 ASN.1 compiler)
Fields declared after extension (...) are not set as optional [message #1858626] Wed, 12 April 2023 12:30 Go to next message
Yann Garcia is currently offline Yann GarciaFriend
Messages: 145
Registered: June 2016
Senior Member
Dear Support,

Regarding to the ASN.1 standards, is a SEQUENCE, the fields declared after the extension symbol (...) shall be OPTIONAL by default due to backward compatibility.
For instance, ieee1609.2, we have the following declaration where the fields flags, appExtensions, certIssueExtensions  and certRequestExtension shall be optional even if it is not indicated:
ToBeSignedCertificate ::= SEQUENCE {
  id                     CertificateId,
  cracaId                HashedId3,
  crlSeries              CrlSeries,
  validityPeriod         ValidityPeriod,
  region                 GeographicRegion OPTIONAL,
  assuranceLevel         SubjectAssurance OPTIONAL,
  appPermissions         SequenceOfPsidSsp OPTIONAL,
  certIssuePermissions   SequenceOfPsidGroupPermissions OPTIONAL,
  certRequestPermissions SequenceOfPsidGroupPermissions OPTIONAL,
  canRequestRollover     NULL OPTIONAL,
  encryptionKey          PublicEncryptionKey OPTIONAL,
  verifyKeyIndicator     VerificationKeyIndicator,
  ...,
  flags                  BIT STRING {usesCubk (0)} (SIZE (8)),
  appExtensions          SequenceOfAppExtensions
  certIssueExtensions    SequenceOfCertIssueExtensions,
  certRequestExtension   SequenceOfCertRequestExtensions
}


The C++ code generated by the TITAN ASN.1 compiler does not generate these fields with OPTIONAL decoration.

So I think there is an issue with the TITAN ASN.1 compiler.
What do you think?

Many thanks for your help,

BR\ Yann Garcia
Re: Fields declared after extension (...) are not set as optional [message #1858643 is a reply to message #1858626] Thu, 13 April 2023 11:18 Go to previous messageGo to next message
Adam Knapp is currently offline Adam KnappFriend
Messages: 54
Registered: November 2020
Member
Hi Yann,

Thank you for reporting this issue. This behavior seems to be indeed missing. You can follow the status in this ticket: https://gitlab.eclipse.org/eclipse/titan/titan.core/-/issues/696
Re: Fields declared after extension (...) are not set as optional [message #1858671 is a reply to message #1858643] Fri, 14 April 2023 13:20 Go to previous messageGo to next message
Yann Garcia is currently offline Yann GarciaFriend
Messages: 145
Registered: June 2016
Senior Member
Hello Adam,

Many thanks for your feedback ;)

BR\Yann
Re: Fields declared after extension (...) are not set as optional [message #1859261 is a reply to message #1858671] Wed, 24 May 2023 14:37 Go to previous messageGo to next message
Adam Knapp is currently offline Adam KnappFriend
Messages: 54
Registered: November 2020
Member
Hi Yann,

This issue is fixed. It caused incompatible changes as till now this was not handled according to the standard. Could you please check whether it works as expected? Thank you!
Re: Fields declared after extension (...) are not set as optional [message #1859264 is a reply to message #1859261] Thu, 25 May 2023 07:19 Go to previous message
Yann Garcia is currently offline Yann GarciaFriend
Messages: 145
Registered: June 2016
Senior Member
Hello Ádám,

Many thanks for your fix.
I rebuilt the test suites for both ITS rel.1 and rel.2 and everything looks fine.

Thanks,

BR\Yann Garcia
Previous Topic:Issue with XSD files (tool v8.3.0)
Next Topic:TITAN g++ compiler error
Goto Forum:
  


Current Time: Wed Oct 09 20:16:21 GMT 2024

Powered by FUDForum. Page generated in 0.05463 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top