public class ASME2SSME_Translate_Name
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
ALARM_ID |
static java.lang.String |
COMPLETE_ID |
static java.lang.String |
COMPLETION_ID |
static java.lang.String |
CTL1_ID |
static java.lang.String |
CTL2_ID |
static java.lang.String |
DEADLINE_ID |
static java.lang.String |
DISPATCH_ID |
static java.lang.String |
ERROR_ID |
static java.util.ArrayList<fr.inria.tea.aadl2ssme.transformation.popup.actions.LocalName> |
NameList |
static java.lang.String |
RESUME_ID |
static java.lang.String |
START_ID |
static java.lang.String |
TIME1_ID |
static java.lang.String |
TIME2_ID |
static java.lang.String |
TOP_ID |
static java.lang.String |
TREAD_ID |
static java.lang.String |
TRESET_ID |
static java.lang.String |
TWRITE_ID |
Constructor and Description |
---|
ASME2SSME_Translate_Name()
Class constructor
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
Generate_Process_Instance_comment(java.lang.String process_name)
Returns a string of comments that gives a brief description of a process instance
|
java.lang.String |
Get_top_sname(java.lang.String lname)
Returns a short Signal name that represents the top signal.
|
java.lang.String |
getSname(java.lang.String vname) |
java.lang.String |
Name_of_Bus(java.lang.String impl_name)
Returns a Signal String name of a bus implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_bus"
|
java.lang.String |
Name_of_Connection(java.lang.String cname)
Returns a Signal String name of a connection
if impl_name = "ttt.iii", return a name = "ttt_iii_Connection"
|
java.lang.String |
Name_of_CTL1_type()
Returns a Signal String name that represents the name of a bundle type: CTL1 = bundle (event Dispatch; event Resume; event Deadline;);
Return a string of "CTL1"
|
java.lang.String |
Name_of_CTL2_type()
Returns a Signal String name that represents the name of a bundle type: CTL2 = bundle (event Complete; event Error;);
Return a string of "CTL1"
|
java.lang.String |
Name_of_Data(java.lang.String impl_name)
Returns a Signal String name of a data implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_data"
|
java.lang.String |
Name_of_DataBundle(java.lang.String name) |
java.lang.String |
Name_of_DataReadTime(java.lang.String name) |
java.lang.String |
Name_of_DataReset(java.lang.String name) |
java.lang.String |
Name_of_DataType(java.lang.String tname)
Returns a Signal String name of a data implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_data"
|
java.lang.String |
Name_of_DataWriteTime(java.lang.String name) |
java.lang.String |
Name_of_Device(java.lang.String impl_name)
Returns a Signal String name of a device implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_device"
|
java.lang.String |
Name_of_FeatureGroup(java.lang.String name,
java.lang.String in) |
java.lang.String |
Name_of_FeatureGroupType(java.lang.String name,
java.lang.String in) |
java.lang.String |
Name_of_Flow(java.lang.String name)
* @return the concatenation of the operand with "Flow" (separator _).
|
java.lang.String |
Name_of_Local_Signal(java.lang.String name)
Returns a String name of a local signal
if the original name is xx, return a name = "l_xx"
|
java.lang.String |
Name_of_Memory(java.lang.String name) |
java.lang.String |
Name_of_ParameterConnection(java.lang.String cname)
Returns a Signal String name of a parameter connection
if impl_name = "ttt.iii", return a name = "ttt_iii_Paramete_Connection"
|
java.lang.String |
Name_of_PortGroup(java.lang.String name,
java.lang.String in) |
java.lang.String |
Name_of_PortGroupType(java.lang.String name,
java.lang.String in) |
java.lang.String |
Name_of_Process(java.lang.String impl_name)
Returns a Signal String name of a process implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_process"
|
java.lang.String |
Name_of_Processor(java.lang.String impl_name)
Returns a Signal String name of a processor implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_processor"
|
java.lang.String |
Name_of_Subprogram_Struct_In(java.lang.String name) |
java.lang.String |
Name_of_Subprogram_Struct_Out(java.lang.String name) |
java.lang.String |
Name_of_Subprogram(java.lang.String impl_name)
Returns a Signal String name of a subprogram implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_subprogram"
|
java.lang.String |
Name_of_SubprogramCall(java.lang.String name) |
java.lang.String |
Name_of_System(java.lang.String impl_name)
Returns a Signal String name of a system implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_system"
|
java.lang.String |
Name_of_Thread(java.lang.String impl_name)
Returns a Signal String name of a thread implementation
if impl_name = "ttt.iii", return a name = "ttt_iii_thread"
|
java.lang.String |
Name_of_ThreadDataPort(java.lang.String pname,
java.lang.String inout)
Returns a String name of a thread data port
If it is an in data port, return a name "ttt_InDataPort", where ttt is the port name,
If it is an out data port, return a name "ttt_OutDataPort",
If it is an in out data port, return "not implemented"
|
java.lang.String |
Name_of_ThreadEventDataPort(java.lang.String pname,
java.lang.String inout)
Returns a String name of a thread event data port
If it is an in event data port, return a name "ttt_InEventDataPort", where ttt is the port name,
If it is an out event data port, return a name "ttt_OutEventDataPort",
If it is an in out event data port, return "not implemented"
|
java.lang.String |
Name_of_ThreadEventPort(java.lang.String pname,
java.lang.String inout)
Returns a String name of a thread event port
If it is an in event port, return a name "ttt_InEventPort", where ttt is the port name,
If it is an out event port, return a name "ttt_OutEventPort",
If it is an in out event port, return "not implemented"
|
java.lang.String |
Name_of_ThreadTimeBundle(java.lang.String name) |
java.lang.String |
Name_of_TriggerDispatch_Event(java.lang.String name) |
java.lang.String |
Name_of_Type_Process(java.lang.String name)
Returns a Signal String name that represents the name of a process type
Return a string of "TT_xx", where xx is the original string
|
void |
Trace(java.lang.String str)
Prints the string str in the console
|
public static java.util.ArrayList<fr.inria.tea.aadl2ssme.transformation.popup.actions.LocalName> NameList
public static final java.lang.String TOP_ID
public static final java.lang.String START_ID
public static final java.lang.String RESUME_ID
public static final java.lang.String DISPATCH_ID
public static final java.lang.String COMPLETE_ID
public static final java.lang.String DEADLINE_ID
public static final java.lang.String COMPLETION_ID
public static final java.lang.String ALARM_ID
public static final java.lang.String CTL1_ID
public static final java.lang.String CTL2_ID
public static final java.lang.String TIME1_ID
public static final java.lang.String TIME2_ID
public static final java.lang.String ERROR_ID
public static final java.lang.String TREAD_ID
public static final java.lang.String TRESET_ID
public static final java.lang.String TWRITE_ID
public void Trace(java.lang.String str)
str
- a string to be printed outpublic java.lang.String Name_of_System(java.lang.String impl_name)
if impl_name = "ttt.iii", return a name = "ttt_iii_system"
impl_name
- a String name of the system implementationpublic java.lang.String Name_of_Process(java.lang.String impl_name)
if impl_name = "ttt.iii", return a name = "ttt_iii_process"
impl_name
- a String name of the process implementationpublic java.lang.String Name_of_Device(java.lang.String impl_name)
if impl_name = "ttt.iii", return a name = "ttt_iii_device"
impl_name
- a String name of the device implementationpublic java.lang.String Name_of_Processor(java.lang.String impl_name)
if impl_name = "ttt.iii", return a name = "ttt_iii_processor"
impl_name
- a String name of the processor implementationpublic java.lang.String Name_of_Bus(java.lang.String impl_name)
if impl_name = "ttt.iii", return a name = "ttt_iii_bus"
impl_name
- a String name of the bus implementationpublic java.lang.String Name_of_Thread(java.lang.String impl_name)
if impl_name = "ttt.iii", return a name = "ttt_iii_thread"
impl_name
- a String name of the thread implementationpublic java.lang.String Name_of_Data(java.lang.String impl_name)
if impl_name = "ttt.iii", return a name = "ttt_iii_data"
impl_name
- a String name of the data implementationpublic java.lang.String Name_of_DataType(java.lang.String tname)
if impl_name = "ttt.iii", return a name = "ttt_iii_data"
impl_name
- a String name of the data implementationpublic java.lang.String Name_of_Subprogram(java.lang.String impl_name)
if impl_name = "ttt.iii", return a name = "ttt_iii_subprogram"
impl_name
- a String name of the subprogram implementationpublic java.lang.String Name_of_Connection(java.lang.String cname)
if impl_name = "ttt.iii", return a name = "ttt_iii_Connection"
impl_name
- a String name of the connectionpublic java.lang.String Name_of_ParameterConnection(java.lang.String cname)
if impl_name = "ttt.iii", return a name = "ttt_iii_Paramete_Connection"
impl_name
- a String name of the connectionpublic java.lang.String Name_of_ThreadDataPort(java.lang.String pname, java.lang.String inout)
If it is an in data port, return a name "ttt_InDataPort", where ttt is the port name, If it is an out data port, return a name "ttt_OutDataPort", If it is an in out data port, return "not implemented"
pname
- a String name of the portinout
- a String that indicates the port direction: in, out or inoutpublic java.lang.String Name_of_ThreadEventPort(java.lang.String pname, java.lang.String inout)
If it is an in event port, return a name "ttt_InEventPort", where ttt is the port name, If it is an out event port, return a name "ttt_OutEventPort", If it is an in out event port, return "not implemented"
pname
- a String name of the portinout
- a String that indicates the port direction: in, out or inoutpublic java.lang.String Name_of_ThreadEventDataPort(java.lang.String pname, java.lang.String inout)
If it is an in event data port, return a name "ttt_InEventDataPort", where ttt is the port name, If it is an out event data port, return a name "ttt_OutEventDataPort", If it is an in out event data port, return "not implemented"
pname
- a String name of the portinout
- a String that indicates the port direction: in, out or inoutpublic java.lang.String Name_of_Local_Signal(java.lang.String name)
if the original name is xx, return a name = "l_xx"
name
- a String namepublic java.lang.String Name_of_Type_Process(java.lang.String name)
Return a string of "TT_xx", where xx is the original string
name
- a string namepublic java.lang.String Name_of_CTL1_type()
Return a string of "CTL1"
public java.lang.String Name_of_CTL2_type()
Return a string of "CTL1"
public java.lang.String Name_of_ThreadTimeBundle(java.lang.String name)
public java.lang.String Name_of_Subprogram_Struct_In(java.lang.String name)
public java.lang.String Name_of_Subprogram_Struct_Out(java.lang.String name)
public java.lang.String Name_of_Memory(java.lang.String name)
public java.lang.String Name_of_PortGroupType(java.lang.String name, java.lang.String in)
public java.lang.String Name_of_PortGroup(java.lang.String name, java.lang.String in)
public java.lang.String Name_of_FeatureGroupType(java.lang.String name, java.lang.String in)
public java.lang.String Name_of_FeatureGroup(java.lang.String name, java.lang.String in)
public java.lang.String Name_of_Flow(java.lang.String name)
public java.lang.String Name_of_TriggerDispatch_Event(java.lang.String name)
public java.lang.String Name_of_DataBundle(java.lang.String name)
public java.lang.String Name_of_DataReadTime(java.lang.String name)
public java.lang.String Name_of_DataWriteTime(java.lang.String name)
public java.lang.String Name_of_DataReset(java.lang.String name)
public java.lang.String Name_of_SubprogramCall(java.lang.String name)
public java.lang.String Get_top_sname(java.lang.String lname)
lname
- a string name that represents the original long name of a subprocessor's toppublic java.lang.String Generate_Process_Instance_comment(java.lang.String process_name)
process_name
- the name of a processpublic java.lang.String getSname(java.lang.String vname)