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: Help with MV::Build error TSC4525
Topic Summary: Model Verifier Build error
Created On: 6-Oct-2005 22:00
Status: Read Only
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 Greg Gorman, on Friday, November 11, 2005 6:59 PM

Answer:
Hi Ron,
In MDA-speak you are attempting to change a C++ PSM to a C PSM. Mostly you will have to a) remove all Generalizations from Active Classes to DispatchableClass; b) de-select all of the C++ add-ins; c) remove the model dependency to all of the C++ libraries. Then you might have a chance at it.

OR....

Just wait until the next release of TAU v2.6. It will have the capability to run the Model Verifier on a C++ application. It's due out in a couple of weeks.

Thanks,
Greg
 6-Oct-2005 22:00
User is offline View Users Profile Print this message


Ron Grider

Posts: 7
Joined: 16-Jun-2004

I have a small model I originally developed as a C++ Code Generation model. I am attempting to retro-fit it, if you will, to be a Model Verifier model. Currently, when I request the Model Verifier Artifact to Generate, I receive the following error message:

TSC4525: Package cannot be built as 'Executable'

Does anyone know what might cause this error, or have more descriptive information about what it means (yes, I know - "it means the package cannot be built as an executable").

Thanks for any insight you might offer.
Report this to a Moderator Report this to a Moderator
 11-Nov-2005 16:53
User is offline View Users Profile Print this message


Greg Gorman

Posts: 75
Joined: 4-Oct-2002

Answer Answer
Hi Ron,
In MDA-speak you are attempting to change a C++ PSM to a C PSM. Mostly you will have to a) remove all Generalizations from Active Classes to DispatchableClass; b) de-select all of the C++ add-ins; c) remove the model dependency to all of the C++ libraries. Then you might have a chance at it.

OR....

Just wait until the next release of TAU v2.6. It will have the capability to run the Model Verifier on a C++ application. It's due out in a couple of weeks.

Thanks,
Greg

-------------------------
Greg Gorman
Vice President, Product Management
Modeling and Test Products
Telelogic AB
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.