RE: [taste-users] Failing TASTE Build

Hi Thanassis,

After upgrading to TASTE build 120424, the script taste-generate-skeletons now fails:

buildsupport - contact: maxime.perrotin@xxxxxxx or ttsiodras@xxxxxxxxxxx

Based on Ocarina: 2.0w (Working Copy from r4306)

dataview-uniq.aadl:3274:06: "Taste_directive" conflicts with declaration at line 24

Internal Error, cannot analyze model.

It appears that the file ‘TASTE-Directives.aadl’ was generated by the TASTE tools at some point in the past. But the new tools apparently do not accept this structure. Any suggestions???

Thanks,

Gert

P.S. Attached ‘dataview-uniq.aadl’ and ‘TASTE-Directives.aadl’.

Gert Caspersen
Senior Engineer, Project Manager
Space Projects (DK)
Terma A/S

From: Thanassis Tsiodras [mailto:ttsiodras@xxxxxxxxxxx]
Sent: 24 April 2012 12:37
To: Gert Caspersen
Cc: taste-users@xxxxxxxxxxxxxxxxxxx
Subject: Re: [taste-users] Failing TASTE Build

Dear Gert,

The bug was in the ASN.1 compiler - we have just uploaded a version that fixes the problem.

To get the new version, just run "Update-TASTE.sh" inside your VM. There is also an icon on the desktop which allows you to easily invoke it.

After the update completes, you can then just re-start your open terminals (so that they use the new DMT path, and therefore the new compiler) and proceed with your development normally.

P.S. Tangential to this issue: If you are using Ada, note that we are intensely working on finishing the SPARK/Ada version of our ASN.1 compiler (i.e. the version that generates SPARK compliant Ada code for the encoders/decoders of the messages). We will be releasing this very soon, in the next one or two weeks. This new compiler will soon make the old one obsolete, and in fact offers many new features - e.g. automatically generating test cases that cause 100% statement coverage on the encoders/decoders, SPARK Compliance, etc. If you are interested, read our ERTS/2012 paper about it, from here: http://www.erts2012.org/Site/0P2RUC89/7C-4.pdf

Kind regards,
Thanassis.

--

------------------------------------------------------------

Thanassis Tsiodras, Dr.-Ing.

Semantix Information Technologies

email: ttsiodras@xxxxxxxxxxx

web  : http://www.semantix.gr

phone: (+30)2106412065

fax  : (+30)2106412068

addr.: K Tsaldari 62, 11476, Athens, GREECE

------------------------------------------------------------

On 23/4/2012 12:23 μμ, Gert Caspersen wrote:

Hi Maxime,

Thanks for helping out J. I have enclosed the offending grammar and ASN.1 file.

Any suggestions are highly appreciated…

Regards,

Gert

Gert Caspersen
Senior Engineer, Project Manager
Space Projects (DK)
Terma A/S

From: Listengine [mailto:listengine@xxxxxxxxxxxxxxxxx] On Behalf Of Maxime Perrotin
Sent: 23 April 2012 10:59
To: taste-users@xxxxxxxxxxxxxxxxxxx; Gert Caspersen
Subject: Re: [taste-users] Failing TASTE Build

Dear Gert,

Could you please send me the ASN.1 grammar that provokes this issue?

Thank you,

Best regards,

Maxime

On Mon, 23 Apr 2012 10:57:17 +0200, Gert Caspersen <gec@xxxxxxxxx> wrote:

                Dear Taste Community,

I have run into a problem with the TASTE tools, and I would highly appreciate any suggestions on how to work around the problem.

When trying to build a binary for the Linux 32 bit native platform, the TASTE build script fails with an extensive stack trace:

...

...

...

Class tinyAsn1.ReferenceType has no such attribute: LongFieldNameAsString in template context [mainSrc anonymous PrintTypeAssigment anonymous ACN_encBodies PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody SEQUENCE_acn_decode anonymous else_subtemplate PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody SEQUENCE_acn_decode anonymous]

Can't get property C_LongAccessField as CLR property C_LongAccessField from tinyAsn1.OctetStringType instance

at tinyAsn1.Asn1Type.get_TypeAssigment () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at System.Linq.Enumerable.Last[String] (IEnumerable`1 source, System.Func`2 predicate, Fallback fallback) [0x00000] in <filename unknown>:0

  at System.Linq.Enumerable.Last[String] (IEnumerable`1 source) [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type.get_C_LongAccessField () [0x00000] in <filename unknown>:0

  at (wrapper delegate-invoke) System.Reflection.MonoProperty/Getter`2<tinyAsn1.Asn1Type, string>:invoke_string__this___Asn1Type (tinyAsn1.Asn1Type)

at System.Reflection.MonoProperty.GetterAdapterFrame[Asn1Type,String] (System.Reflection.Getter`2 getter, System.Object obj) [0x00000] in <filename unknown>:0

  at System.Reflection.MonoProperty.GetValue (System.Object obj, System.Object[] index) [0x00000] in <filename unknown>:0

  at Antlr.StringTemplate.Language.ASTExpr.GetPropertyValue (System.Reflection.PropertyInfo pi, Antlr.StringTemplate.Language.PropertyLookupParams paramBag, System.Object& value) [0x00000] in <filename unknown>:0

Can't get property get_C_LongAccessField using method get_/Get/Is/get/is as get_C_LongAccessField from tinyAsn1.OctetStringType instance

at tinyAsn1.Asn1Type.get_TypeAssigment () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at System.Linq.Enumerable.Last[String] (IEnumerable`1 source, System.Func`2 predicate, Fallback fallback) [0x00000] in <filename unknown>:0

  at System.Linq.Enumerable.Last[String] (IEnumerable`1 source) [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type.get_C_LongAccessField () [0x00000] in <filename unknown>:0

  at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (object,object[],System.Exception&)

at System.Reflection.MonoMethod.Invoke (System.Object obj, BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) [0x00000] in <filename unknown>:0

Class tinyAsn1.OctetStringType has no such attribute: C_LongAccessField in template context [mainSrc anonymous PrintTypeAssigment anonymous ACN_encBodies PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody SEQUENCE_acn_decode anonymous else_subtemplate PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody SEQUENCE_acn_decode anonymous else_subtemplate PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody Sizeable_acn_decode else_subtemplate else_subtemplate else_subtemplate]

Can't get property LongFieldNameAsString as CLR property LongFieldNameAsString from tinyAsn1.ReferenceType instance

at tinyAsn1.Asn1Type.get_TypeAssigment () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at semantix.util.GlobalUtils.StringJoin[String] (IEnumerable`1 list, System.String joinVal, System.Func`2 formatFunc) [0x00000] in <filename unknown>:0

  at semantix.util.GlobalUtils.StringJoin[String] (IEnumerable`1 list, System.String joinVal) [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type.get_LongFieldNameAsString () [0x00000] in <filename unknown>:0

  at (wrapper delegate-invoke) System.Reflection.MonoProperty/Getter`2<tinyAsn1.Asn1Type, string>:invoke_string__this___Asn1Type (tinyAsn1.Asn1Type)

at System.Reflection.MonoProperty.GetterAdapterFrame[Asn1Type,String] (System.Reflection.Getter`2 getter, System.Object obj) [0x00000] in <filename unknown>:0

  at System.Reflection.MonoProperty.GetValue (System.Object obj, System.Object[] index) [0x00000] in <filename unknown>:0

  at Antlr.StringTemplate.Language.ASTExpr.GetPropertyValue (System.Reflection.PropertyInfo pi, Antlr.StringTemplate.Language.PropertyLookupParams paramBag, System.Object& value) [0x00000] in <filename unknown>:0

Can't get property get_LongFieldNameAsString using method get_/Get/Is/get/is as get_LongFieldNameAsString from tinyAsn1.ReferenceType instance

at tinyAsn1.Asn1Type.get_TypeAssigment () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at semantix.util.GlobalUtils.StringJoin[String] (IEnumerable`1 list, System.String joinVal, System.Func`2 formatFunc) [0x00000] in <filename unknown>:0

  at semantix.util.GlobalUtils.StringJoin[String] (IEnumerable`1 list, System.String joinVal) [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type.get_LongFieldNameAsString () [0x00000] in <filename unknown>:0

  at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (object,object[],System.Exception&)

at System.Reflection.MonoMethod.Invoke (System.Object obj, BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) [0x00000] in <filename unknown>:0

Class tinyAsn1.ReferenceType has no such attribute: LongFieldNameAsString in template context [mainSrc anonymous PrintTypeAssigment anonymous ACN_encBodies PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody SEQUENCE_acn_decode anonymous else_subtemplate PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody SEQUENCE_acn_decode anonymous]

Can't get property C_LongAccessField as CLR property C_LongAccessField from tinyAsn1.OctetStringType instance

at tinyAsn1.Asn1Type.get_TypeAssigment () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at System.Linq.Enumerable.Last[String] (IEnumerable`1 source, System.Func`2 predicate, Fallback fallback) [0x00000] in <filename unknown>:0

  at System.Linq.Enumerable.Last[String] (IEnumerable`1 source) [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type.get_C_LongAccessField () [0x00000] in <filename unknown>:0

  at (wrapper delegate-invoke) System.Reflection.MonoProperty/Getter`2<tinyAsn1.Asn1Type, string>:invoke_string__this___Asn1Type (tinyAsn1.Asn1Type)

at System.Reflection.MonoProperty.GetterAdapterFrame[Asn1Type,String] (System.Reflection.Getter`2 getter, System.Object obj) [0x00000] in <filename unknown>:0

  at System.Reflection.MonoProperty.GetValue (System.Object obj, System.Object[] index) [0x00000] in <filename unknown>:0

  at Antlr.StringTemplate.Language.ASTExpr.GetPropertyValue (System.Reflection.PropertyInfo pi, Antlr.StringTemplate.Language.PropertyLookupParams paramBag, System.Object& value) [0x00000] in <filename unknown>:0

Can't get property get_C_LongAccessField using method get_/Get/Is/get/is as get_C_LongAccessField from tinyAsn1.OctetStringType instance

at tinyAsn1.Asn1Type.get_TypeAssigment () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type+<get_LongFieldName>d__39.MoveNext () [0x00000] in <filename unknown>:0

  at System.Linq.Enumerable.Last[String] (IEnumerable`1 source, System.Func`2 predicate, Fallback fallback) [0x00000] in <filename unknown>:0

  at System.Linq.Enumerable.Last[String] (IEnumerable`1 source) [0x00000] in <filename unknown>:0

  at tinyAsn1.Asn1Type.get_C_LongAccessField () [0x00000] in <filename unknown>:0

  at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (object,object[],System.Exception&)

at System.Reflection.MonoMethod.Invoke (System.Object obj, BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) [0x00000] in <filename unknown>:0

Class tinyAsn1.OctetStringType has no such attribute: C_LongAccessField in template context [mainSrc anonymous PrintTypeAssigment anonymous ACN_encBodies PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody SEQUENCE_acn_decode anonymous else_subtemplate PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody SEQUENCE_acn_decode anonymous else_subtemplate PrintAcnDecodeBody ReferenceType_acn_decode if(t.HasAcnProperties)_subtemplate PrintAcnDecodeBody Sizeable_acn_decode else_subtemplate else_subtemplate else_subtemplate]

[32mCompilation of generated sources failed - is gcc installed?

(report inside '/tmp/tmpUPUhi5.asn1c/ShowNativeBuffers.stats.err')

[0m

File "/opt/ocarina-2.0w-suite-x86-linux-2010.svn/bin/assert-builder-ocarina.py", line 1854, in <module>

    main()

Exception in user code:

------------------------------------------------------------

------------------------------------------------------------

File "/opt/ocarina-2.0w-suite-x86-linux-2010.svn/bin/assert-builder-ocarina.py", line 667, in main

    mysystem("\"$DMT/asn2aadlPlus/asn2aadlPlus.py\" -acn \"" + acnFile + "\" \"" + asn1Grammar + "\" D_view.aadl")

File "/opt/ocarina-2.0w-suite-x86-linux-2010.svn/bin/assert-builder-ocarina.py", line 75, in mysystem

    traceback.print_stack()

Failed while executing:

"$DMT/asn2aadlPlus/asn2aadlPlus.py" -acn "/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary/dataview-uniq.acn" "/tmp/uniqhomeassertmbcodePrototypeDesign_Definition_FileTaste_ModelOnboard_MonitoringInterfaceView.aadl/dataview-uniq.asn" D_view.aadl

From this directory:

/home/assert/mbcode/Prototype/Design_Definition_File/Taste_Model/Onboard_Monitoring/binary

Failed to compile...

Errors appear to be related to failing access to ‘C_LongAccessField’ on the vast majority of the data types defined in the ASN.1 data view.

                Thanks in advance,

                                Gert Caspersen

Gert Caspersen
Senior Engineer, Project Manager
Space Projects (DK)
Space

Terma A/S
Vasekær 12
2730 Herlev
Denmark

T +45 8743 6000
T +45 4594 9653 (direct)
F +45 8743 6001
E gec@xxxxxxxxx
W www.terma.com

Attention:
This e-mail (and attachment(s), if any) - intended for the addressee(s) only - may contain confidential, copyright, or legally privileged information or material, and no one else is authorized to read, print, store, copy, forward, or otherwise use or disclose any part of its contents or attachment(s) in any form. If you have received this e-mail in error, please notify me by telephone or return e-mail, and delete this e-mail and attachment(s). Thank you.

ESA - European Space Agency

Maxime Perrotin

TASTE Project manager

PROBA V - PROBA 3 Software engineer

System, Software and Technology Department

ESTEC

Keplerlaan 1, PO Box 299

NL-2200 AG Noordiwjk, The Netherlands

maxime.perrotin@xxxxxxx | www.esa.int

+31 (0)71 565 4923 | Fax +31 (0)71 565 5420

This message and any attachments are intended for the use of the addressee or addressees only. The unauthorised disclosure, use, dissemination or copying (either in whole or in part) of its content is not permitted. If you received this message in error, please notify the sender and delete it from your system. Emails can be altered and their integrity cannot be guaranteed by the sender.

Please consider the environment before printing this email.