IBM Rational Tau and DOORS Analyst 4.3.0.4 Fixed problems

IBM Corporation December 9, 2011

 © Copyright IBM Corporation 2002, 2011
U.S. Government Users Restricted Rights - Use, duplication, or disclosure restricted by GSA ADP Schedule Contract with IBM Corp.

Fixed Problems in 4.3.0.4

APAR	Call Ticket	CR ID	Synopsis	Release Notes Text
PM29636	55478,122,000	TLOG#63948	Unsigned integer division is incorrect in MV	Unsigned integer div("/") and rem operations could give an incorrect result for big unsigned values. This problem has been fixed.
PM31879	68591,663,706	TLOG#64370	WRONG DISPLAY OF SIGNALS ON A CONNECTOR	The feature “show all signals” was not behaving correctly. This has been fixed.
PM32775	58787,122,000	TLOG#64444	No matching infix operator in Tau 4.3.0.3	Corrected C code generation to correctly handle attributes of type 'char*' with default value.
PM35945	15847,019,866	TLOG#65564	Tau code generation is not reproducible	The transformation which generates 'itself' parameter was be applied first as it should. This has now been fixed.
PM40569	69664,663,706	TLOG#66916	Creating a model in a DOORS object faulty claims a model already exist	This is fixed in 4.3.0.4
PM48296	46222,122,000	TLOG#68237	Conversion from large unsigned to signed with overflow will occur for xMod_SDL_Integer	Unsigned integer mod("%") and fix operations could give an incorrect result for big unsigned values. This problem has been fixed.
	82578,019,866	TLOG#57622	Please add a call to GenericDefault in sctpred.c	GenericFreeSort now sets the Length field to 0 after freeing types based on Bit_String and Generic_String.
	82578,019,866	TLOG#57623	Please introduce a NULL-pointer check for BlockProcess	Introduced a NULL-pointer check for BlockProcess.

Fixed Problems in 4.3.0.3

APAR	Customer Call Ticket	CR ID	Synopsis	Release Notes Text
PK81224	03396,122,000	TLOG#48882	Tau code generation errors related to GUID- TIL2369,TIL2341	Previously when generating C code for a model errors related to none visible definition from other package could show up ( TIL2077: Undefined sort, TIL2369: No matching field selection, TIL2371: Type mismatch... ). These errors related to the handling of syntypes for passive classes and to the mechanism for initializing attributes in generated code. Code generation has now been improved to avoid these errors.
	51689,000,744	TLOG#52246	Want Natural to be mapped to ‘unsigned int’	The mapping for Natural has been changed to 'unsigned int' in generated code.
	91613,100,838	TLOG#55212	Please intoduce a 'Yes to all' button for DOORS modules when saving Tau model	Now modules saves before closing.
	93052,100,838	TLOG#56861	DXL error when using 'DOORS - locate' and the DOORS module do not exist	A null pointer check was added to the locate function.
	81349,999,744	TLOG#58171	Brackets are missing error reported on build after the file was re-imported	The case is duplicate of TLOG#57970
	67219,122,000	TLOG#60043	TIL2312 error observed during build for statements with mod (%) operator.	Added support for % operator.
	86296,122,000	TLOG#60883	HTML Report Generation causes Tau crash	Memory leaks on image saving have been removed.
	87429,019,866	TLOG#60885	One can not define XCONST for SCTAPPLCLENV	XCONST and XCONST_COMP macros are obsolete and we have updated the documentation accordingly
	89657,019,866	TLOG#61154	XPRINTALLOC prints faulty memory usage when using external functions	XPRINTALLOC mode has been fixed to print current memory usage with regard to xFree calls. It decreases total allocated memory size if memory is freed. Documentation on XPRINTALLOC and XCHECKALLOC compile switches has been added.
	86422,019,866	TLOG#62218	Optimization wanted in the Dynamic Range Checking	The flags XECUSTOMHANDLERS and XENOUSERWF have been added to the kernel. They allow the user to remove the need for the coder functionality when using error checking functions and to supply their own implementations for error handling.
	92474,019,866	TLOG#62224	Further differences in the generated code	Redesigned C code generator to avoid random names and random order of elements in the generated C code.
	94287,019,866	TLOG#62934	Class hierarchy unnecessary initialized multiple times	Fixed problem with multiple initialization of struct fields.
	94234,019,866	TLOG#62937	Call to an inherited function do not work as expected	Added Model Verifier/C code generation specific check for virtual/redefined operations in passive classes and datatypes.
	94551,019,866	TLOG#63088	Tau crashes during Compare/Merge	The crash occured while comparing/merging two models when differences between these models included "move" operation of an expression action specified on text diagram. This problem is fixed now.
	92474,019,866	TLOG#62224	Further differences in the generated code	Redesigned C code generator to avoid random names and random order of elements in the generated C code.
	94551,019,866	TLOG#63088	Tau crashes during Compare/Merge	The crash occurred while comparing/merging two models when differences between these models included "move" operation of an expression action specified on text diagram. This problem is fixed now.
PM22590	92474,019,866	TLOG#62224	Further differences in the generated code	Redesigned C code generator to avoid random names and random order of elements in the generated C code.
	48366,122,000	TLOG#57972	Error TIL2066 observed when using an attribute.	Having const attributes in passive classes from different packages resulted in TIL2066 error when using one of attributes in scope where the class owning the other one was also visible. This problem has been fixed.
	88151,122,000	TLOG#60928	Tau models with external operations returning OctetString crashes during sdtsan	C Code generator crashed when an external function without parameters with only return value was used in expression for which procedure result is passed by reference (for example, assignment expression for OctetString str = MyFunc();). This problem has been fixed. There is also a workaround for the issue - add one dummy parameter to external function.
		TLOG#61366	variables not initialized if a class doesn’t have a state machine associated with it	- Now variables will be initialized
	89618,019,866	TLOG#61130	Differences in cast operators between code generated on different machines	Changed the algorithm for generation @cast_XXX operators. Now it will use fixed suffixes for operator names. This should keep generated code the same on different platforms/machines.

Fixed Problems in 4.3.0.2

APAR	Customer Call Ticket	CR ID	Synopsis	Release Notes Text
	7021731	TLOG#37323	Option to edit merge result in review differences dialog.	The "Editable Merge" feature are implemented in the Tau Compare/Merge tool. This feature allows to edit merge result directly in the review difference dialog.
	3042861	TLOG#46463	Tau 4.2 crashes only on Chiness XP when running specific model	Problems with multibyte encodings sometimes caused crash on Chinese and Japanese machines and sometimes resulted in incorrect symbols on MSC diagram during verification. These problems have been fixed.
	3043809	TLOG#47448	Step Over did not step over the operation	Added documentation on how to properly step over RPC calls in Model Verifier.
	7033524	TLOG#47884	Faulty TestCase translation when signals can be both sent and received by SUT	Signal output to SUT is not correctly translated when the same signal is both sent to and received from SUT. This results in FAIL verdict for the test that works ok. This defect has been fixed.
		TAU#8214	Implement Compare/Merge support for Analyst models.	New menu to the CM module was added for support projects and model selection form Doors DBs.
	51165,000,744	TLOG#51359	An option to obtain the coverage statistics through console window.	Print-Coverage-Table console command has been extended to obtain coverage statistics from command line. A new section with coverage statistics is now printed into the specified file for Print-Coverage-Table command. It looks like this: ****************** COVERAGE STATISTICS ********************* Active class name : unit kind : Covered% ( N Covered / N Defined ) ---------------------------------------------------------------------------- TOTAL : Statements : 60% ( 34 / 56 ) TOTAL : Transitions : 62% ( 10 / 16 ) ---------------------------------------------------------------------------- Controller : Statements : 54% ( 23 / 42 ) Controller : Transitions : 54% ( 6 / 11 ) Hardware : Statements : 78% ( 11 / 14 ) Hardware : Transitions : 80% ( 4 / 5 ) The following requirements are achieved: 1) Same Transitions, Symbols covered in consecutive runs do not increment counts. "N Covered" shows overall count which holds the different transitions, symbols covered in consecutive runs 2) Report contains the total number of transitions, symbols defined in the model, and the total coverage percent 3) It is possible to get statistics in the very beginning of model execution, when no symbols and statements have been covered. The table will contain 0 for coverage, but correct figures for the total number of defined transitions and symbols
	51132,000,744	TLOG#51360	An option to obtain the coverage statistics with total number of transitions covered under multiple test cases.	Print-Coverage-Table <file> console command has been extended to print coverage statistics for transitions and symbols that contains : 1. Total No. Transitions, symbols defined in the model. 2. Total No. of Transitions, symbols covered in the test executions (in a single launch session) such that a transition / symbol counted during a particular test execution is not counted again if covered as a part of the sub-sequent test execution(s). Coverage statistics is printed into <file> into new section "*** COVERAGE STATISTICS ***".
	70337,019,866	TLOG#51621	Please make it possible to sort the signals in the MV signal list drop-down box	New option is introduced to make entities in combo boxes of MV Messages view sorted alphabetically. This option is available in Advanced options tab, via U2/Debugging/SortedComboBoxes path. Option is on by default.
	64766,019,866	TLOG#51746	Building a model that initially was saved at urn:u2tauproject gives a lot of errors and warnings if it has been moved	Tau will prefer relative paths over absolute when saving model parts in different files.
	00404,999,706	TLOG#52557	Breakpoint is missed during test case execution due to a signal receipt failure on Test Profile artifact.	Now if state has just one triggered transition with guard condition for the same signal, the arguments of the signal will not be ignored when generating C code. For the case when state has more than one such transition, a proper warnings will be generated during the build.
PK95079	71517,999,744	TLOG#52966	Tau Testing Profile build aborts with message 'Test Generation Failed' with no actual errors but the error count	Tau Testing Profile build aborts with message 'Test Generation Failed' with no actual errors but the error count. This happens when the model contains <<informal>> elements, for example, interaction diagrams that reference private class attributes. Error messages are not printed to output tab, because they refer to informal elements, but error messages are visible if you run Build from command line using TauBatch. This problem has been fixed. Informal elements are now ignored during check.
PK98783	64579,019,866	TLOG#54268	Performance problems in a big model	This is now mentioned in the Known Limitations document.
PM00003	01792,SGC,618	TLOG#54535	Comments are not synched to Tau (DOORS stored model) when changed in DOORS	The documentation is updated.
	05341,122,000	TLOG#54615	TIL2087 reported in a scenario although PID expression is not used.	Fixed translation of the call expression where the called operation has the same name as operation that contains the call expression.
		TAU#8721	Containment line can be started on symbols that can't be containers	Now only StrucutureClassifier, Package, DataType, Method and Collaboration can be source of ContainmentLine.
	53020,000,744	TLOG#54882	OPERATION DECLARED PUBLIC IS NOT EXECUTED BY TAU.	Now the local calls of remote operation are not translated as remote calls.
PM01409	15961,122,000	TLOG#54995	Not able to get back to the Automated merge result (duplicate of verified CR: TOG#24041)	Remerge now works correctly for text text symbols and task symbols.
	91613,100,838	TLOG#55212	Please intoduce a 'Yes to all' button for DOORS modules when saving Tau model	Now modules saves before closing.
PM02757	46250,650,758	TLOG#55329	OBJECT (NAMEDINSTANCE) SLOT NOT CONSISTENT BETWEEN DIAGRAM/MODELVIEW/PROPERTIES	Previously when slot expressions were created in property editor they did not appear in model view. It has been fixed.
	30830,999,000	TLOG#55470	THE TAU-SYNERGY INTEGRATION DO NOT ALLOW YOU TO GIVE YOUR CREDENTIALS WHEN LOGIN INTO SYNERGY FROM A LINUX MACHINE	The username and password credenials input filelds was added.
	80316,999,744	TAU#8926	Issue with the initialization of variables of type Enumerations and Booleans in derived classes.	Corrected translation of default values of class attributes.
		TAU#8842	Import SDL for Japanese OS - failed	The Known Limitations document have been updated.
	93052,100,838	TLOG#56861	DXL error when using 'DOORS - locate' and the DOORS module do not exist	A null pointer check was added to the locate function.
	29918,122,000	TLOG#57349	Cursor moves to the left when a message name is typed (duplicate of TLOG#56762 and TLOG#56898)	Previously cursor could jump to the left when editing text in certain situations. It has been fixed.
	82578,019,866	TLOG#57621	Please introduce a NULL-pointer check for xHexStr_SDL_Octet	Fixed a bug in xHexStr_SDL_Octet that allowed bad input.
	82591,019,866	TLOG#57627	Please document the SCTDEBRMT compiler flag	Added documentation for the SCTDEBRMT compiler flag
	82591,019,866	TLOG#57738	Using the 'conditional' Stereotype causes build to fail with TSC4515	Added checks to ensure that only readonly attributes with default value are used in <<conditional>> stereotype.
	82905,019,866	TLOG#57818	Test Profile does not take the conditionalInit() operation into consideration	Test Profile now takes into account conditionalInit() operation.
	91632,999,000	TLOG#57820	TCI0007 error encountered when trying to import a C++ file into Tau.	Import of Borland C++ code has been improved.
	83389,019,866	TLOG#57920	Faulty help files regarding Conditional Constants	Documentation updated.
	53719,000,744	TLOG#57943	TIL ERRORS WHILE BUILDING A MODEL	Now syntypes of passive classes are properly handled by C/Model Verifier code generator.
	83012,019,866	TLOG#58172	Using a 'const' as in/out parameter is not found by checker. Give TIL-error	Usage of constant as actual argument for in/out or out parameter is now checked by the semantic checker.
	10287,999,000	TLOG#59111	Incorrect WSDL generation by Tau with the Generate WSDL option	Corrected generation of WSDL from pure UML models.
	86076,019,866	TLOG#59357	Tau Kernel files contains dubious comments	Obsolete dubious comments and commented code were present in some installation kernel files. They have been removed or rewritten to reflect up-to-date status.
	67194,122,000	TLOG#59622	Tau 4.3.0.1 generated binary crashes with error :"glibc detected *** : double free or corruption (fasttop):"	Tau crashes with an error:"glibc detected ***: double free or corruption (fasttop):" when executed on target machine. It happens when the model calls external C function that creates a new charstring with 'T' as first symbol, which means temporary value (should not be copied with strcpy but can be reused during expression evaluation and assignments). This problem has been fixed.
	88060,019,866	TLOG#60469	Sending in an OctetString to an external function causes a memory leak	Passing OctetString type as a parameter to an external function caused memory leak and forced to call free inside external function that was not needed before. This problem has been fixed.

Fixed Problems in 4.3.0.1

APAR	Customer Call Ticket	CR ID	Synopsis	Release Notes Text
	6004951	TLOG#21140	Using Accept/Reject buttons make no difference in the Result View	It was not possible to select a proper merge result for a text in InlineFrameSymbol by selecting Version1/Version2/Ancestor in the ReviewDifference dialog. This problem is fixed now.
PK96460	6005942	TLOG#21832	Error in signal routing	In previous versions of Tau the C/Model Simulator code generation produced wrong code for models containing an active class with an internal structure. Implicit connectors were generated for non-behavior ports that had explicit connectors. This caused wrong execution of the generated code. Now generation of implicit connectors has been fixed to avoid creation of unnecessary connectors.
	1050953	TLOG#24780	Shouldn't be possible to send/receive signals to private(behaviour)port of class	Now the semantic checker reports a warning if a connector is connected to a private behaviour port.
	3038367	TLOG#39297	Issue when Timer Optimization is Enabled	Fixed AVL timer queue handling problems which resulted in wrong behaviour of the generated code when Timer Optimization is Enabled. Updated functions SDL_Reset and SDL_Stop from sctsdl.c .
	2084234	TLOG#39430	Tau 4.0 Eclipse integration regression	The menu with location and synchronization items for editor window was reimplemented.
PK84718 and PK88493	2084875	TLOG#39983	getpidbl returns wrong process instance	For a part containing statemachine with finite multiplicity > 1 that composes another part, sending signals to instance #2, #3 etc. does not work fine and signals in any case are received by instance #1. This has now been fixed. There are three new semantic checks implemented. A class attribute check fires only when a parent class attribute is used in the other scope and the parent class (or its derived or base classes) contains parts or nested active classes and there is somewhere a non single attribute of this type.
	1060683	TLOG#40100	Multiplicity of Active Class behavior and with internal structure is unsupported	Clarified documentation about the C code generator limitation that multiplicity of active classes with behavior and with internal structure is not supported.
	4052832	TLOG#42575	Association multiplicity not shown on diagram unless file is checked out	Association line multiplicity was not displayed for lines that were in a non-editable state (such a checked in element under source control).
	7028019	TLOG#42598	Please indicate the (Synergy) model version/release that is loaded in the tool	Now synergy information indicates by following manner: Template: <filename> [<release><current_synergy_delimiter>]<version>] Example: Package1.u2 [my_rel-1.2.1] In Doors Integration Version before [...] adss 'scc': 'scc[<release><current_synergy_delimiter>]'
	7028063	TLOG#42767	TauG2 4.1 does not explain why "No licenses available"	For the first checkout call in a session and a license server is used a check is made to make sure that the license server FLEXnet version is equal or higher than the application API FLEXnet version. The return value is TL_WRONGSERVERVERSION if there is mismatch of versions. Thus the call to tl_CheckServerVersion is not needed. For details on the functionality see the tl_CheckServerVersion function. The idea is that you can override this error by trying again.
PK84713	7033775	TLOG#48178	Tau 4.2.0.1 Simulator not running correctly a Tau 3.1 model	Added backward support for old debug configuration files.
	2092933	TLOG#48180	Tau Validator - test value - removing one singal removes all	Tau Model Explorer: In the Test Values tab, it is now possible to remove a single signal by clicking the '[Remove]' link next to it. Previously this resulted in all signals of the same type being removed. The functionality is also available for the command line interface by using the new command "Clear-Single-Signal".
PK81224	3044682	TLOG#48882	Tau code generation errors related to GUID- TIL2369,TIL2341	Previously when generating C code for a model the error TIL2371: Type mismatch... could show up. This error related to the mechanism for initializing attributes in generated code. The initialization mechanism has now been improved to avoid this error.
PK81516	92467,180,000	TLOG#49016	VCS.EXE - catastrophic memory growth for each transition fired	New option to switch the execution history saving was added. This enables user to get rid of history if he does large calculations.
PK81820	73293,487,000	TLOG#49180	Cannot associate Tau project to Synergy Task	Now while creating new project it is possible to select existing user task and use it or create new one like it was possible in previous versions. Also in this case was fixed bug with user tasks list in toolbar. It has no tasks while start up. Now it's fixed.
PK82581	53369,100,838	TLOG#49473	Error importing Java code	Now there is no errors appear. All changes were done in compliance with recommendations.
PK84712	90953,999,706	TLOG#49868	TNR errors while trying to build the model	Corrected translation of triggered transitions with the same trigger, but different guard transitions.
PK86568	92300,999,706	TLOG#50962	Import if several xsd files containing includes duplicates the imported schemas	When importing multiple XSD files including other schemas, each schema is now only imported once, even if it is included several times.
PK87224	50901,000,744	TLOG#51090	Multiple composite states when used in a state symbol seperated by comma do not work.	Added semantic error for the case when state symbol has reference to more than one composite state.
PK89594	93914,999,706	TLOG#51667	Signals from packages with é in the name get scrambled parameters in the SQD trace	A problem related to corrupted text strings in the sequence diagram trace produced by the Model Verifier has been solved.
PK92156	48241,122,000	TLOG#51852	XML read errors while trying to diff merge a Tau U2 file from Clear Case.	When trying to do diff merge a .u2 file from within Clear Case user would get an error. This has not been fixed by load the single .u2 file into Tau (as an incomplete model). There is a risk in doing this that the model will now become corrupt. Please see Help for more information.
PK90706	94489,999,706	TLOG#51965	<<hidden>> stereotype causes Syntax errors when later edited	Textual syntax is fixed to allow stereotypes for timers and signals in class symbol.
PK90741	94541,999,706	TLOG#51973	Model Browser still export diagrams that has the <<hidden>> stereotype applied	Now <<hidden>> diagrams are not exported to HTML
PK92253	77815.100.838	TLOG#52332	DOORS Analyst 4.3 opens with a blank page.	When a project stored in DOORS was loaded for the first time and Tau was closed without saving the workspace, the project would not be properly loaded the next time. This has now been fixed.
PK92850	00378,999,706	TLOG#52453	Tau model with signal receipt and guard after a '*' state,reports NMAKE errors during make.	Generated C code may result in "'x' : is not a member of 'T'" compile errors when: 1) An active class B inherits from active class A 2) Active class B contains a triggered transition from state * with a signal and a guard condition that references class B local variable (for example, Signal1(a) [a == b], where 'a' and 'b' are class B local variables) This problem has been fixed.
PK93249	48571,663,706	TLOG#52571	DOORS Analyst tries to save and synchronize even if there are no changes made.	Force saving workspace after loading project was added to avoid wrong workspace creation and saving.
PK93724	78065,100,838	TLOG#52686	TM Errors when trying to convert a module	Model files referenced by model dependencies are now only loaded when creating a new project or when inserting a file into an existing project. To resolve missing files in other situations, the files needs to be inserted into the project manually.
PK94118	01601,SGC,821	TLOG#52789	Dependency between namedinstances in Object Diagram does not bind and shows up in red	Now dependency can be bound to named instance.
PK95824	78847,100,838	TLOG#53214	TAU crash - APAR: PK95824	Corrected infinite recursion in the name resolution.
	50858,999,000	TLOG#53274	Connector lines cannot be printed in color.	Lines were previously always printed black, even though the line was colored.
PK96140	85868,122,000	TLOG#53317	A Syntype definition from the U2p file is not updated on to the U2 file.	Now "constants" constraint is updated correctly from u2p file.
PK98966	05010,122,000	TLOG#54312	A commented assignment line when uncommented leads to TNR0029 error during build	Certain edit operations such as copy/paste in state chart diagrams, or certain editing operations in a text symbol, could occasionally lead to a model corruption (duplicate GUIDs). This problem has now been resolved.
PM00185	73664,999,744	TLOG#54608	TSC0283 error seen when customer builds the model on Tau 4.3	Template transformation has been corrected to avoid occasional expansion of predefined C/C++ templates like CPtr, CArray, etc.
PM00180	07995,122,000	TLOG#54616	Tau 4.3.0.0 version crashes during compare / merge.	The Compare/Merge tool crashed because of the bind issue in parallel versions of a model (Version2/Ancestor) This bind issue is fixed.
PM00270	90773,100,838	TLOG#54632	Rational DOORS Analyst ask about saving when closing directly after a Save All	Unnecessary Save requests have been removed.
PM00361	90810,100,838	TLOG#54657	UML-objects not saved at correct location in Tau	UML elements created in DOORS were in some situations created at an incorrect location when committing the changes to Tau. This has now been fixed.
	79484,100,838	TLOG#54660	Please increase the COM-timeout for Tau-DOORS Synchronization	It is now possible to control the behavior of the COM timeout mechanism used when communicating with DOORS by using two registry values. Two keys are defined in HKEY_LOCAL_MACHINE\SOFTWARE\Telelogic\TAU\4.3\Integration: DOORSServerTimeoutDialog DOORSServerTimeoutValue DOORSServerTimeoutDialog is used to control if the COM timeout dialogs should be displayed or not. If the value is 0 the dialogs are not displayed. If the value is 1 they are displayed. The default value is 1. DOORSServerTimeoutValue is used to control the timeout (in milliseconds) before showing the dialog(s). This value is only meaningful when the dialogs are enabled. The default value is 45000.
PM00428	90842,100,838	TLOG#54669	Duplicate file references when loading DOORS/Analyst model	When adding a model file referencing other files through model dependencies, multiple file references are no longer created in the project.
PM00460	90844,100,838	TLOG#54672	DOORS memory consumption increase massively when having DXL in default views and Tau open models	The amount of memory used by DOORS when using the DOORS integration was drastically reduced.
PM00508	90878,100,838	TLOG#54695	UML-Objects that in DOORS have an Object Text get Change bars when opened in Tau	UML elements in DOORS with Object Text are now marked as changed when loading the model in Tau only when the text has been changed.
PM00647	90426,100,838	TLOG#54747	The parser adds duplicate characters in green when pasting (informal) text containing keywords into symbols	A problem with syntax highlighting of auto-qouted texts have been fixed.
PM01410	74568,999,744	TLOG#54991	TSC0452 errors encountered while generating C code generation project.	Template transformation has been corrected to avoid occasional expansion of predefined C/C++ templates like CPtr, CArray, etc.
PM01409	15961,122,000	TLOG#54995	Not able to get back to the Automated merge result	Remerge now works correctly for text text symbols and task symbols.
	91592,100,838	TLOG#55194	Please make it possible to manually type in the location for the DOORS Synchronization Module	In the DOORS synchronization settings dialog, a path to the location can now be entered manually. If a valid path is entered, only that part of the database is read and displayed when pressing the "..." button. This drastically improves the performance with large databases.
PK91774	94890,999,706	TLOG#52190	Models get corrupted (duplicated guids) by simple Copy/Paste in Statechart diagrams	Sometimes models get corrupted (duplicated guids) by doing Copy/Paste in State chart diagrams. This has been fixed. APAR: PK91774
PK92156	48241,122,000	TLOG#51852	XML read errors while trying to diff merge a Tau U2 file from Clear Case.	When trying to do diff merge a .u2 file from within Clear Case user would get an error. This has now been fixed by loading the single .u2 file into Tau (as an incomplete model). There is a risk in doing this that the model will now become corrupt. Please see Help for more information.
PK96140	85868,122,000	TLOG#53317	A Syntype definition from the U2p file is not updated on to the U2 file.	Now "constants" constraint is updated correctly from u2p file.
	58918,999,744	TLOG#49538	Huge delay (~10 mins) in loading models, opening/ editing large statemachines in TAU 4.0	A new option in the U2\Options\Editing\Lines is introduced in order to disable idle-time line routing when needed.

Fixed Problems in 4.3.0.0

Customer Call Ticket	CR ID	Synopsis	Release Notes Text
2077548	TLOG#269	TIL errors for output from passive class method	The usage of output actions in a method of a passive class is not supported by the C/Model Simulator code generator. Previously, TIL errors were generated when building such models. Now a UML-level check has been introduced to catch these errors on UML level.
4028569	TLOG#295	confusing text for TIL2323-warning when operator misses body	Now, when generating C code, warning messages about unused definitions will not be printed.
7004609	TLOG#18346	Redeclared operations give (irrelevant?) errors that navigates wrongly	A new semantic check for C code generation (including Model Simulator) has been added. It checks that an active class does not realize or require interfaces having operations with the same name. Previously such models would yield irrelevant TIL errors. Now compliance with this limitation is checked on UML level.
1046578	TLOG#18594	Undo and redo actions not performed successfully on model update in TAU G2 2.6	Message lines in sequence diagrams no longer disappear when using the "Update Model" command of Active Modeler followed by Undo and Redo.
6002164	TLOG#19429	File::Close in Menu option does not function as per the general functionality	File::Close in the Menu option now function as per the general functionality, for the .u2 file
7006445	TLOG#20412	TAU becomes extremely slow after code generation.	Previously the performance of Tau could deteriorate after code has been generated for a large model. This has now been improved to get better performance.
6005942	TLOG#21832	Error in signal routing	In previous versions of Tau the C/Model Simulator code generation produced wrong code for models containing an active class with an internal structure. Implicit connectors were generated for non-behavior ports that had explicit connectors. This caused wrong execution of the generated code. Now generation of implicit connectors has been fixed to avoid creation of unnecessary connectors.
4032922	TLOG#22027	Documentation about CORBA Unions is wrong	An error in the documentation about CORBA Unions has been corrected.
3024148	TLOG#22047	It is possible to split the inline frame for the loop option	The separator line can be used in inline frames on a Sequence Diagram only with specific operators. Previously, the wrong usage of separator line was not checked by Tau. Now a special semantic check has been introduced to check that separator line is used with the appropriate operator.
4033501	TLOG#22112	Errors reporting Faulty connectors can not be navigated from (to the source)	Previously when the semantic checker found an error/warning in a connector end it was not always possible to navigate from the error message to the connector end. This has now been solved by instead associating such error messages with the connector to which the connector end belongs.
7007981	TLOG#22113	Created Test Case from existing UC SQD doesnt bind	Now Tau checks (and updates if it necessary) ImplementedSignature reference of test case.
4033948	TLOG#22360	Opening a u2 file instead of a ttw file makes the tool behave faulty	It is now possible to close standalone files with File->Close menu.
4033978	TLOG#22362	It is not possible to close a u2 file opened by mistake	It is possible to close standalone files
6008307	TLOG#23070	There is no way to locate definition SecuritySystemX in Internal Block diagram	The semantic checks TSC0373 and TSC0096 were corrected to ignore unnavigable association ends and references in a sequence diagram.
3025570	TLOG#23860	When we use xSignalLog fn we get errors NameNode is not a member of xPrsStruct.	The error messages that were printed for the xSignalLog and xProcessLog functions from sctenv.c when compiling generated C code with the flag XSIGLOG defined have now been fixed.
6009969	TLOG#24077	Unable to dragdrop subjectsymbol qualified by colon from 1 UC diagram to another	Now the semantic checker will not yield an error for a subject with an empty name.
7009787	TLOG#24212	The Wording of Semantic Checker message TSC4530 should be changed	The message of the semantic check TSC4530 has been improved.
7009811	TLOG#24250	Name completion not working properly with dual screens	Popup window is visible on secondary display
1050936	TLOG#24443	Minor document error in "Update file" to be corrected from "modelled to "modeled	A minor error in the documentation about the TTDFileModel profile has been corrected.
1050953	TLOG#24780	Shouldn't be possible to send/receive signals to private(behaviour)port of class	Now the semantic checker reports a warning if a connector is connected to a private behavior port.
1051224	TLOG#25117	Enter/Exit/Do actions should be more visible in the model	Entry, do and exit compound action nodes are visible in the model browser now.
3026579	TLOG#25268	UML Increment Operator throws TIL Error	The C code generator now supports the UML increment (++) and decrement (--) operators on integer types.
4037702	TLOG#25909	Name completion do not work in SQD states	Name completion works in SQD states now.
1051771	TLOG#26084	Generated file artifacts for template classes have dependencies that won't bind	The C++ code generator now generates file artifacts for template definitions more correctly. Previously the dependency generated for such a file artifact would contain a binding error.
1052195	TLOG#26900	Nextstate breakpoint refresh issue	Previously when setting a breakpoint on a state symbol representing a next state, the breakpoint would not be immediately visible. This has now been fixed.
1052196	TLOG#26901	Statemachine breakpoint refresh issue	Previously when setting a breakpoint on state machine elements, the breakpoint marker could be shown multiple times in the diagram. This duplication has now been fixed.
4040224	TLOG#28354	Please make the list for the 'Type' in the properties ordered	The 'type' property is now sorted alphabetically.
4040401	TLOG#28516	Ports unbound and Connectors not shown after using 'Show Elements...'	The behavior of the “Show Elements..” command for Composite Structure diagrams has been improved. Now this command shows parts with bound ports and connectors.
3030302	TLOG#29544	Creation of new Classes to be allowed both in Visual Studio and in Tau	The synchronization of Tau C# project files with Microsoft Visual Studio has been improved.
4041379	TLOG#29616	Content of added u2-file faulty marked us changed	Content of added u2-file do not marked as changed.
3029930	TLOG#29673	relation ship does not showup	It is now supported to show attributes typed with templates as association lines when dragged & dropped to diagram.
7015062	TLOG#29840	Name mangling for operation names containing spaces visible in MV SQD trace	Previously a mangled name would be shown in the Model Simulator for an operation or signal having a name that contains spaces. The mangled name would show up in the sequence diagram trace, as well as in the 'Signal' column in the Messages window. Both these problems have now been solved.
4042477	TLOG#30975	Please 'auto-activate' line handles when mouse-pointer is near	Line handles are now displayed when mouse hover above a symbol and not only when the symbol is selected.
2060435	TLOG#31385	Display numbers for state chart diagrams in model view	New tooltip is added for diagrams in the Model view
7016700	TLOG#31557	No type control in lifeline of SQD	The semantic checker now checks that the type of a lifeline is the same as the type of an attribute that is represented by the lifeline.
7016913	TLOG#31700	Not possible to use macros without modifying generated files	A new attribute "Additional Preprocessor Defines" has been added to the C Code Generator, AgileC Code Generator, Model Simulator and Model Explorer build artifacts. It is represented by a new text edit control in the Properties window where the user can specify additional compilation switches.
3032478	TLOG#31760	flexible number of operation parameters not working	Now the C code generator (including Model Simulator) correctly supports operation parameters with non-single multiplicity.
3031779	TLOG#31902	Tau Model Verification undocks output tabs	Output window could at some occasions be undocked automatically. This problem has been resolved.
6019914	TLOG#32625	Activity Line Verices placement not remembered	Orthogonal lines don't change their shapes when symbols are moving on activity diagrams
7018073	TLOG#32821	Invalid error produced with name of XML Schema	It is now possible to create XML schemas with non-alphanumeric characters in the name and generate Java code from the model without getting an error. Now a warning is printed instead.
7018663	TLOG#33471	Assigning an attr. with a class that has an inner structure give a TCC0810-error	Previously when generating C code or using the Model Simulator, an assignment like “v =  p[i]” where ‘p’ is a part typed by an active class with internal structure could cause build errors if the active class did not have a constructor or the assignment was used within a for/while loop. Now these limitations are removed.
3034491	TLOG#33564	incrementor decrementor still does not function completely the right way	The C code generator and Model Simulator have been fixed to always assign parameters from left to right during structure initialization with the (. params .) construct. This removes the previous platform specific behavior, when on some platforms initialization were from right to left, while on others it was from left to right. Now code is generated in such a way that on all platforms initialization works from left to right.
2082096	TLOG#34219	Operation calls from part to parent	A C code generator specific semantic check has been added to yield a warning if code in a nested part calls an operation defined in an interface realized by a containing part without specifying the object to call explicitly.
3035134	TLOG#34372	set-sdl-coder results in build errors	Added compile flag XRWF_JUSTCODER that modularises monitor functionality from serialization/coder functionality.
3035043	TLOG#34414	Query on URN not defined in TauBatch	The support for URNs in TauBatch has been improved.
2082126	TLOG#34467	BUG in property editor when using XSD/WSDL	The Property Editor drop down menu control now supports sorting based on the scoped name of the definitions shown in the list. This often makes it easier to find the correct definition to choose, and is now used when editing the type of a structural feature.
2056798	TLOG#34536	Virtual procedure parameters, not redefined in SDL import	A semantic check related to a virtual/redefined operation having a generalization has been improved.
6022571	TLOG#36422	Link options - Active link end is an active target, not an active source	"Active link end is an active target, not an active source" option has been renamed to "Reverse creation" to better explain it's purpose.
7021183	TLOG#36439	For merge, Save List with Ignore-Layout still shows some layout diff items	Problems in "Save List" functionality are fixed.
6019808	TLOG#36739	Use Case based on requirement text	The "Create Use Case" wizard has been improved to allow using attribute values, such as the Object Heading, as the use case name.
	TLOG#36922	SA_UML2: DeploymentSpecification symbol displayed with ‘artifact’ stereotype	The meta model definition of DeploymentSpecification is now based on Artifact instead of Class. This is consistent with the UML standard. Old models using DeploymentSpecifications will be automatically updated to the new definition.
6022730	TLOG#36960	Cannot edit names for some of the requirements.	Now it is possible to edit labels on remote definitions on diagrams.
7022709	TLOG#38202	Comments and not shown managed quotation marks gives text coloring errors	Syntax highlighting of text could at some occasions be incorrectly offset. This problem has been resolved.
3038184	TLOG#39074	Package order after moving up/down can not be saved	Packages order after moving up/down is saving now.
4050162	TLOG#39349	Error message contain two full stops at end	A minor error in the error message printed for the Tcl command u2::LoadFile has been corrected.
5021348	TLOG#39618	It should be easier and more obvious to switch model filter view.	A model view selector has been added to the model view.
4050769	TLOG#40056	Please improve the autolayout performance.	Performance of autolayout command has been improved.
7024847	TLOG#40124	Code generated by the AD Simulator generates TSC0087 warnings	Previously when simulating activities warnings related to stereotypes extending the wrong meta class would occur. This has now been fixed.
4050846	TLOG#40195	Please let the user start at 'Name edit mode' when creating a new diagram	'Name edit mode' is working when creating a new diagram.
2085980	TLOG#40877	Internal error: [...] after 1 or 2 Import Java source code runs	The Tau Java support now works for a workspace with multiple projects.
2085896	TLOG#40888	Importing C++ into Tau 3.1 - Failed to load library for implemention of agent	Syntax errors detected during C/C++ import are now printed correctly also on the Solaris/Linux platform. Previously those errors were suppressed on Solaris/Linux. No errors are printed to stderr any longer.
7025902	TLOG#41023	Strange graphical effect while dropping a signal in a signal receipt symbol	When an element was dropped on a symbol, causing it to change appearance, a visual effect could be seen at some occasions. This problem is now solved.
3039267	TLOG#41097	pre and post condition stereotype applied to informal constant is not displayed	A stereotype label was added to constraint symbols.
1061749	TLOG#41315	"Show all attributes/operations" as default for diagrams from imported C++	Regeneration support seems to be the only advantage from "new" diagram generators... And if or not class symbols are shown with attributes and operations now should depend on usual options "Show Attributes" and "Show Operations".
1062063	TLOG#41581	Unable to show all attributes/operations for multiple selection	"Show/hide attributes/operations" is working for multiple selection.
4052302	TLOG#41913	Inline Frame	Inline frame symbols appear above method call symbols on SQDE
7027402	TLOG#42121	Predefined diagram Generators fail with an internal error for Statemachines	An erroneous error message related to class diagram generation has been rewritten.
3039867	TLOG#42294	how to remove the scope before action	Now qualifiers for Activity Symbols can be completely hidden.
3039884	TLOG#42303	connection lines overlapping the symbols in the State Machine Diagram	Line router works on big diagrams
7027709	TLOG#42336	Usecases from another packages are shown with parenthesis	Use cases from remote packages are now shown without parenthesis.
7027551	TLOG#42348	'AgileEEGenerated' stereotype added to generated Java code	The Java code generator has been fixed to properly handle special stereotypes. If a stereotype has no meaning from a Java point of view, it will not appear in the generated java code
4052834	TLOG#42590	Some class attributes imported from Together do not bind properly	A problem in the Together importer has been fixed. Previously the type of some imported attributes would not bind correctly, but this has now been fixed.
4052809	TLOG#42599	Create presentation (include lines) por defecto	An option have been added to make is possible to choose if lines should be created or not created as a result of a drag & drop operation from model view to a diagram.
3040106	TLOG#42708	Core Dumps for activity simulation	A crash related to Connector symbols used in activity simulation models has now been fixed.
3040137	TLOG#42771	TAU can not show stereotype if there is an hyperlink	All stereotypes on part symbols appear
1063531	TLOG#42772	stereotype not showing on element after reloading the model	All stereotypes on part symbols appear
7028300	TLOG#42873	Passing Signal Type as a Parameter to an Operation	A semantic check has been added which reports a warning if a signal is passed as the actual argument of an operation call.
1064121	TLOG#43303	copy&paste issue in text diagram	An issue when copying and pasting text containing comments in a Text Diagram has been solved.
1064198	TLOG#43335	Automatic creation of one extra bracket on moving the signal to another package	Previously when moving a signal between packages, Tau would sometimes add an extra bracket in diagrams where the signal was referenced. This problem has now been resolved.
3040679	TLOG#43720	A part cannot have more than one multiplicity range.	The semantic check TSC3007 (concerning range checks for parts) is now only checked when generating C code or using the Model Simulator.
7029191	TLOG#43736	Impossible to set some breakpoints under the verifier	Previously when setting a breakpoint on some kinds of actions in the Model Simulator, an error message would be printed. This has now been fixed.
7029397	TLOG#43926	The '[SysML View]' information removed from Model View under certain conditions	Project nodes in the Model view don't lose active view's name anymore when saving.
2088698	TLOG#44205	HTML Model Browser file names are too long	A new naming scheme was implemented for the Model Browser to avoid long directory and file names.
4053836	TLOG#44280	Trying to draw a message from an unbound Lifeline messes up the tool	Now an unbound life line cannot be used as the source or target of a line.
2088687	TLOG#44345	Add-in that allows them to display security classification	It is now possible to set a diagram heading and footer with for example security classification.
7029841	TLOG#44402	Code generation error when having a combination of factors	The file GenerationResult.u2 could previously sometimes contain invalid XML when generated by the C code generator. This problem has now been solved.
7030104	TLOG#44619	Check All reports invalid warnings for child classes	The semantic check TSC0396 (analysis of unreachable states) has been improved to now also handle statemachine redefinitions.
4054227	TLOG#44748	validator interface window values	The upper bound of the Model Explorer bit-state depth parameter has been added to the Model Explorer user interface.
2089599	TLOG#44858	Tau 4.1 New Case - Properties Layout	Your advertising can be placed here.
7030452	TLOG#44961	The 'Hide Qualifier' button do not work on Stereotype in Diagram Heading	Hide qualifier button now works on diagram heading stereotypes as well.
1065672	TLOG#45111	Overlaped Signal symbols	The behavior when drag-dropping signals onto input symbols and transition lines is now consistent.
7030641	TLOG#45117	Activity "name" property in Tau doesn't map to SA dictionary object name	The name of an activity node created in Tau and stored in a System Architect encyclopedia, was not visible in System Architect. This is now resolved.
1065765	TLOG#45222	Ctrl+leftclick can not set anchor point on transitionline in state chart diagram	It is now possible to add and remove a vertex on a transition line.
7029937	TLOG#45309	Please show the multiplicity of pure associations in the Properties panel	It is now possible to see the multiplicity of an association's association end in the property page of an association.
2090101	TLOG#45329	TIL2371: Type mismatch for variable, formal parameter,	When generating C code or using the Model Simulator on a model containing an attribute with a default value defined in an action, the error TIL2371 can sometimes be reported due to a limitation in the C code generator. Previously it was not possible to navigate from this error to the model which made the problem difficult to resolve. Now navigation between this error and the model has been enabled.
7031046	TLOG#45384	"CHILDKILLED 6972 SIGSEGV" error when importing wsdl generated by T	The WSDL generator will now set the location to urn:undefined if it is not specified explicitly in the soap:address element.
1065990	TLOG#45459	how the Class operation can be synchronized with the DOORS module?	Now all needed presentation elements have modified flag. So tau saves them in Doors.
1066058	TLOG#45529	DOORS Defect with checkDXL() effecting Analyst View	Navigating a formal module in DOORS using the Analyst View no longer causes a memory leak.
7031206	TLOG#45537	Model View explorer icons don't properly reflect state of sync with DOORS	The DOORS export indicator icon has been improved to more accurately reflect the current state of each element.
1066064	TLOG#45556	Indication to show the existence of comment symbols	Symbols with hidden comments have an indication now. Double-click on the indicator creates the first hidden comment
2090357	TLOG#45565	Constraining BitString TIL error.	A new semantic check has been added to detect constraints of a syntype of the BitString type, as this is not supported by the C code generator.
3042267	TLOG#45566	TSC0256 reported if syntype is constrained using 'size'	The semantic checks detecting unsupported use of syntype constraints have been made more precise. Some errors have also been fixed in the handling of those syntype constraints which are indeed supported by the C code generator.
1066093	TLOG#45621	The "Show inherited literal elements" context menu option, doesn't	Inherited literals are shown now
1066096	TLOG#45633	Crash when deleting a literal from a Primitive symbol, in some cases.	Tau could at some occasions terminate when a deleting a feature from a symbol with compartments. This is now resolved.
1066087	TLOG#45660	when a diagram color is applied the "remove diagram prop" remains disabled	The 'Remove diagram properties' operation will now change the color to the color defined in options when executed on a diagram.
1066063	TLOG#45686	Exit Name Overlap	Word wrapping on return symbols' labels is now off.
7007520	TLOG#45851	Model Verifier run-time prompt is limited in number of characters shown	Previously the Model Simulator run-time prompting dialog had a limitation in how many characters it could display. This could lead to the truncation of long texts. This problem has now been solved.
7031797	TLOG#46116	Model verifier corrupts PowerSets	The Model Simulator now handles PowerSets correctly.
7031969	TLOG#46344	TAU G2 window is brought to the front automatically	The tool's window is blinking when loaded project is modified outside (on Windows only).
4055513	TLOG#46477	'Check All' does not find unbound Signal Parameter	An error in a diagram of the 'umlVerificationCoffeeMachine' example has been corrected.
4055578	TLOG#46575	Memory leaks with Automatically Generated Serialisation Routines	Fixed a memory leak for the ascii coder library.
1066906	TLOG#46791	Object diagram in DOORS\Analyst	I have added object diagram and stuff to analyst view metamodel.
4055341	TLOG#46935	Calling an operation in a class with inner structure fails	The C translation of a public operation of an active class with innner structure has been corrected. This fix applies both to the C code generator and the Model Simulator.
7032701	TLOG#47215	Adding inline frame does not work	Now refreching of symbols should work fine
4025369	TLOG#47422	Autolayout in Interaction Overview Diagrams does not work properly	Autolayout has improved; also undo after doing "automatic layout" has been fixed.
1067654	TLOG#47754	Missing end tag of elements on Tau exported XMI file	Tags are not missed while XMI export.
4056629	TLOG#48079	Last created descision branch causes errors because of faulty temporary indexes	For the C code generator and Model Simulator the initialization of temporary variables which are used in transformation of complex index expressions has been corrected. Now initialization of temporary variables is not skipped when index expression is used in condition of decision action.
65031,999,000	TLOG#49022	Switch statements with more then one branch ignores the Default branch if test is an expression	For the C code generator and Model Simulator the translation of a switch statement with more than one branch has been corrected. Now it does not ignore the default branch if the condition of the switch statement is a call expression.
56164,SGC,724	TLOG#49161	Test Framework and XSD Framework clashes so that building failes	A problem in the usage of the <<import>> stereotype in the TestingProfile has been fixed. A qualifier has been added to avoid name clashes with the predefined <<import>> stereotype.
53367,100,838	TLOG#49279	Java Runtime Library 6 corrupt or incomplete	Now Java runtime 6 libraries are loaded properly when creating a UML for Java Code Generation project
	TLOG#49501	GB18030: GB18030 characters will garbaged when copy to URL.	'Copy to URL' operation now also set the Unicode clipboard format.
50311,000,744	TLOG#49865	Tau MV build launched using Build -> Start Model Verifier crashes if stopped using Build -> Stop.	An Application Builder crash that sometimes occurred when stopping a running Model Simulator has been fixed.
91314,999,706	TLOG#49975	11 TIL/TCC errors issued when having redefined inherited port	Previously when generating C code for an active class which redefines inherited ports, the internal errors TIL2001 and TCC0800 were reported. This has now been fixed.
6007017	TLOG#22308	Multithreaded Generated application crash	Several improvements were made in the TOR C++ library to better support multithreaded applications. NOTE: As part of the changes, the global eventManager variable is no longer available as it was not thread-safe. Models that use it should be updated to instead use the static functions of the EventManager class.
6011961	TLOG#26153	When build artifact disable instrumentation,VS project shouldnt have these macro	For the <<Makefile Generator Settings>> stereotype new option fields have been added. Now it is possible to override the default output file name for the C++ project and to set up user-defined preprocessor defines and additional include directories. Also the Microsoft Visual Studio integration supports these new options and can update the corresponding Visual studio project settings.
6019808	TLOG#36739	Use Case based on requirement text	The "Create Use Case" wizard has been improved to allow using attribute values, such as the Object Heading, as the use case name.
3038746	TLOG#39938	ER: Tau and MSVS needs better coupling	The MS Visual Studio integration has been significantly improved. Many errors have been fixed and C++ projects are now exported to MSVS correctly including all project settings. Note however that files created in a VS project do not get updated in Tau. Therefore before adding a new file in MSVS it should first be added in Tau.
4005184	TLOG#47222	When a class inherits from a class, one can not call methods inherited from pare	Inheritance of both concrete and virtual methods is now supported for passive classes in the C backend. Note that explicit or implicit upcasts of a passive class is still not supported, so ad-hoc polymorphism/dynamic dispatch (using derived classes through a super class interface) does not work.
4005076	TLOG#47223	Inheritance does not inherit methods	Inheritance of both concrete and virtual methods is now supported for passive classes in the C backend. Note that explicit or implicit upcasts of a passive class is still not supported, so ad-hoc polymorphism/dynamic dispatch (using derived classes through a super class interface) does not work.
3023232	TLOG#20323	TIL Errors are received if you use Own datatype in TAU G2.	Now the Own type is supported by the C code generator and Model Simulator. The Own type has the following operators: 1. [static] make(ItemSort). Usage: Own<Integer> x; x = Own<Integer>::make(10); 2. [non-static] Set(ItemSort) Own<Integer> x; x.Set(10); 3. [non-static] ItemSort Get() Usage: Own<Integer> x; Integer k; k = x.Get(); IMPORTANT NOTE: The type Own<T> where T is a Class is translated to newtype @ptr_T Ref( T) endnewtype; newtype @TmplInst_OwnTR Own( @ptr_T) endnewtype; If you need a value semantics, you should use the Value<> syntype: Own<Value<T> >. The Own<Value<T> > will be translated to newtype @TmplInst_OwnTV Own( T) endnewtype; The same mapping rules are used with other containers (String, Array, PowerSet).
91259,999,706	TLOG#50184	Nmake errors while trying to build the model.	Generated C code may result in "'x' : is not a member of 'T'" compile errors when: 1) An active class B inherits from active class A 2) Active class A contains statemachine, or gate or public variable or public operation 3) Active class B contains guard condition for the state * that references class B local variable This problem has been fixed.
2092793	TLOG#48091	Tau G2 4.2does not provide info on TIL errors	Tau G2 4.2 does not provide complete info on TIL errors - a reference to model element is missing in the error message. This defect has been fixed.
03006,122,000	TLOG#49039	Tau web server needs to close due to a socket error: INVALID_SOCKET	If the default Tau Web Server port is occupied when launching Tau, Tau would not start. This has been fixed.
2090302	TLOG#45424	Tau crashed while starting Model verifier	Application Builder no longer crashes when starting the Model Verifier without an artifact.
2090300	TLOG#45393	Tau G2 doesn't support modifying OctetString data types in MV watch window	It is now possible to edit octet string in the Watch window.
2090562	TLOG#45559	cannot inject message to MV	The Model Verifier no longer halts if signals with large parameters are sent into the system.