Welcome to Telelogic Product Support
  Home Downloads Knowledgebase Case Tracking Licensing Help Telelogic Passport
Telelogic TAU (steve huntington)
Decrease font size
Increase font size
Topic Title: Informational messages in MSCs?
Topic Summary:
Created On: 3-Jul-2003 17:03
Status: Read Only
Rate this topic Rate this topic
Terrible Terrible
Poor Poor
Fair Fair
Good Good
Very Good Very Good
Excellent Excellent
Linear : Threading : Single : Branch
Search Topic Search Topic
Topic Tools Topic Tools
Subscribe to this topic Subscribe to this topic
E-mail this topic to someone. E-mail this topic
Bookmark this topic Bookmark this topic
View similar topics View similar topics
View topic in raw text format. Print this topic.
Answer This question was answered by Andy Gurd, on Wednesday, July 16, 2003 11:12 AM

Answer:
If you have a task symbol with informal text, this text will be printed in the MSC
Example: a task symbol with the text 'informal text' will show up in the MSC trace as
task
informal text

You can also have a charstring variable and assign some text to this variable. When executed the contents of the charstring will be displayed. This gives some possibilities if you need dynamic texts.


However there are some limitations using this approach:

You must start the MSC trace logging with
Start-Interactive-MSC-Log 2
The parameter 2 indicates that tasks should be shown as action symbols in the trace. Now all task symbols will be visible in the trace, which can give large MSCs.

Also, the texts must not exceed 50 characters. If they do the text will be truncated and only "…" (three dots) will be shown.


You can get rid of these limitations by modifying the code in sctutil.c

You then need to modify xMSCETask (for informal texts) and also xMSCEAssign for assignments.
 3-Jul-2003 17:03
User is offline View Users Profile Print this message


Christopher Fuhrman

Posts: 2
Joined: 3-Jul-2003

Hi,

I'm using Tau 4.4 and I would find it useful to be able to output informational message (like printf debugging in C) to the MSCs during simulation and/or validation.

This can be done using the PROMELA/SPIN tool, but I have not found a way to do it in Tau.

Thanks for any help!

Report this to a Moderator Report this to a Moderator
 15-Jul-2003 15:39
User is offline View Users Profile Print this message


Andy Gurd

Posts: 13
Joined: 4-Jul-2003

Answer Answer
If you have a task symbol with informal text, this text will be printed in the MSC
Example: a task symbol with the text 'informal text' will show up in the MSC trace as
task
informal text

You can also have a charstring variable and assign some text to this variable. When executed the contents of the charstring will be displayed. This gives some possibilities if you need dynamic texts.


However there are some limitations using this approach:

You must start the MSC trace logging with
Start-Interactive-MSC-Log 2
The parameter 2 indicates that tasks should be shown as action symbols in the trace. Now all task symbols will be visible in the trace, which can give large MSCs.

Also, the texts must not exceed 50 characters. If they do the text will be truncated and only "…" (three dots) will be shown.


You can get rid of these limitations by modifying the code in sctutil.c

You then need to modify xMSCETask (for informal texts) and also xMSCEAssign for assignments.
Report this to a Moderator Report this to a Moderator
Statistics
20925 users are registered to the Telelogic TAU forum.
There are currently 1 users logged in.
The most users ever online was 15 on 31-Mar-2008 at 16:22.
There are currently 0 guests browsing this forum, which makes a total of 1 users using this forum.
You have posted 0 messages to this forum. 0 overall.

FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.