|
IBM Rational Tau and DOORS Analyst 4.3 if1 Fixed
problems |
IBM
Corporation |
©
Copyright IBM Corporation 2002, 2009
U.S. Government Users Restricted Rights - Use, duplication, or disclosure
restricted by GSA ADP Schedule Contract with IBM Corp.
|
|
Customer Call Ticket |
CR ID |
Synopsis |
Release Notes Text |
|
|
94890,999,706 |
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 |
|
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. |