| TPPreferencePage_ClassOptions=Class options |
| TPPreferencePage_OperationOptions=Operations options |
| TPPreferencePage_StateOptions=State options |
| TPPreferencePage_TMforOperations=Trace Mechanism for operations (+construction/destruction) |
| TPPreferencePage_TMforPorts=Trace Mechanism for ports |
| TPPreferencePage_TMforStateMachines=Trace Mechanism for state machines |
| TPPreferencePage_TraceOptions=Trace options |
| |
| TraceActionSelection_ClassOptions=Class options |
| TraceActionSelection_ImplementationOptions=Implementation options |
| TraceActionSelection_NoPluginsProvideTraceExt=no plugins provide trace extension mechanism |
| TraceActionSelection_NotAvail=<not available> |
| TraceActionSelection_OperationOptions=Operation options |
| TraceActionSelection_SelectTraceAction=Select trace action for this element |
| TraceActionSelection_StateOptions=State options |
