Eclipse Community Forums: Eclipse Titan » Wrong syntax/ Problem with syntax Checker

Help

Home

Home » Eclipse Projects » Eclipse Titan » Wrong syntax/ Problem with syntax Checker

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

Wrong syntax/ Problem with syntax Checker [message #1759741]

Tue, 18 April 2017 07:13

Johannes Bro

Messages: 56
Registered: June 2015

Member

Hi All,

last week I updated my titan environment from 5.4.1 to 6.1.0 and I faced some errors from the syntax checker. Building and executing of my test suite is working. See below the code snipped:

function f_executeAndExpectAck( TestPort p_port, in template Msg p_Msg ) runs on Tester {
   var TestExc v_error; 
   p_port.call(executeCommand:{p_Msg}, 10.0 ){
       [] p_port.getreply( executeCommand:{ - } value m_Ack ) {
           setverdict( pass );
          }
       [] p_port.getreply(executeCommand:{ - }  value ?) {
           setverdict( fail );
          }
       [] p_port.catch(timeout) {
           setverdict( inconc, "No response, timeout occurred"  );
          }
       [] p_port.catch(executeCommand, TestExc:?)-> value v_error {
           setverdict( inconc, v_error );
          }
     }
}

The following line gives now the error:
p_Port.getreply( executeCommand:{ - } value m_Ack ) {

"Too few elements in value list notation for type `@Libtest_Interface.executeCommand': 1 was expected instead of 0"

The signature is defined as following:

signature executeCommand( in Msg msg ) return Excpt exception ( TestExc );

Is the syntax really wrong and the syntax checker is now more strict ? But why is it compiling anyway... ? Or did I face a bug ?

Thanks,

Johannes

Report message to a moderator

Re: Wrong syntax/ Problem with syntax Checker [message #1759758 is a reply to message #1759741]

Tue, 18 April 2017 08:58

Bence Janos Szabo

Messages: 9
Registered: April 2017

Junior Member

Hi Johannes,

I tried your code with TITAN 6.1 but I did not get the error message you received by the compiler.
It is strange that after you got the error message your code still compiled. (?!) It should be impossible because if an error is generated no c++ code generation will be done.

Make sure that you really use the TITAN 6.1 compiler, and you clear your project (make clean) before trying to compile with TITAN 6.1.

If the problem still persists, then you can send your TTCN project using the command "make archive", so I can compile that and take a look at the result.

Best regards,
Bence

Report message to a moderator

Re: Wrong syntax/ Problem with syntax Checker [message #1759861 is a reply to message #1759758]

Wed, 19 April 2017 08:26

Johannes Bro

Messages: 56
Registered: June 2015

Member

Hi Bence,

I double checked the titan version and the titan eclipse plugin version is CRL 113 200/6 R1A (6.1pl0). I'm using Eclipse Neon.3 Release (4.6.3) on a GNU/Linux System.
For easy reproducing the error I created a sample project, see attached.

Thanks,

Johannes

Attachment: Screenshot_20170419_101154.png
(Size: 105.29KB, Downloaded 108 times)
Attachment: syntax-problem.zip
(Size: 1.79MB, Downloaded 90 times)

Report message to a moderator

Re: Wrong syntax/ Problem with syntax Checker [message #1759863 is a reply to message #1759861]

Wed, 19 April 2017 08:43

Bence Janos Szabo

Messages: 9
Registered: April 2017

Junior Member

Hi Johannes,

We see what is the problem.
The TITAN compiler and the TITAN eclipse plugin uses different syntax and semantic checking, so there may be some deviations between these two.
For example if we implement some new feature in the TITAN compiler, then the implementation of the same feature is a little delayed in the TITAN eclipse plugin.

Your code compiled because the TITAN eclipse plugin (wrongly) detected some error in your code, but the TITAN compiler didn't.

We will correct this issue in the TITAN eclipse plugin soon.

Thanks,
Bence

Report message to a moderator

Re: Wrong syntax/ Problem with syntax Checker [message #1759878 is a reply to message #1759863]

Wed, 19 April 2017 12:52

Johannes Bro

Messages: 56
Registered: June 2015

Member

Thank you too !

Report message to a moderator

Re: Wrong syntax/ Problem with syntax Checker [message #1760682 is a reply to message #1759878]

Mon, 01 May 2017 17:24

Jeno Attila Balasko

Messages: 80
Registered: September 2013
Location: Budapest, Hungary

Member

Hi Johannes,

the bug is fixed and the solution has been committed into github. It is available in source code or you can wait until the next release planned in May.

Best regards
Jeno

Report message to a moderator

Re: Wrong syntax/ Problem with syntax Checker [message #1760696 is a reply to message #1760682]

Tue, 02 May 2017 07:08

Elemer Lelik

Messages: 1120
Registered: January 2015

Senior Member

Hi Johannes,

just to avoid any misunderstandings:
-the Eclipse plug-ins and the Titan core are decoupled in the sense that each have their own separate syntactical and semantic analysis;
a fault discovered in Designer is informational only, it will not have any effect on the compilation of the code.
only analysis performed in the core part has an authoritative effect (that is, can stop the code from compiling).
This may not seem to make sense today, but if you factor in that we are working on a Java branch of compiler/executor, where Designer will have full authority, things may fall into place.
Meanwhile we are trying to keep the two parts in sync as much as possible.

Best regards
Elemer

Report message to a moderator

Previous Topic:	Handling of version information in Titan
Next Topic:	Lego Bob and Titan meets IoT

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Tue Apr 23 12:55:20 GMT 2024

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter