![]() |
Telelogic TAU (steve huntington) | ![]() |
Topic Title: using Signal in Statechart diagram Topic Summary: Created On: 21-Oct-2003 10:41 Status: Read Only
|
Linear : Threading : Single : Branch |
![]() |
![]()
|
![]() |
|
i am trying to define input signals in Taug2, with enum pararmeter, is it possible?
another problem in the execution of Model verifier, When a decision symbol contain the parametre that i receive it is automatically put to 0 if it is an integer, false if it is a boolean.. etc i have made a task in my srtechart diagram to define these parameter(i put my boolean to true at the init) when it arrive on my decision symbol the parrameter is automatically forced to false... why? |
|
![]() |
|
![]() |
|
If I take the example from the manual
public enum E3 { a, b = 10, c = 15 } then I create a type: syntype My_enum_type = E3; and the signal is signal s_example( My_enum_type my_arg); that's all ![]() for the rest it seems to be a bad install issue... |
|
![]() |
Telelogic TAU
» UML Suite
»
using Signal in Statechart diagram
|
![]() |
FuseTalk Standard Edition v3.2 - © 1999-2009 FuseTalk Inc. All rights reserved.