Package | Description |
---|---|
fr.inria.tea.aadl2ssme.transformation.popup.actions |
Modifier and Type | Method and Description |
---|---|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortGroupConnection._ASME2SSME_PortGroupConnection1(org.osate.aadl2.FeatureGroupConnection c1)
Returns a Signal signal definition (an equation) that represents a port group connection.
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortGroupConnection._ASME2SSME_PortGroupConnection2(org.osate.aadl2.FeatureGroupConnection c1)
Returns a Signal signal definition (an equation) that represents a port group connection.
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_Call_Affine(java.lang.String x)
Makes a process call of affine_sample: dx := affine_sample{1, px}(top)
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_Call_SimDispatch_Aperiodic(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Aperiodic process: Sim_Dispatch_Aperiodic{}
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_Call_SimDispatch_Background(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Background process: Sim_Dispatch_Background{}
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_Call_SimDispatch_Hybrid(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Hybrid process: Sim_Dispatch_Hybrid{}
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_Call_SimDispatch_Periodic(java.util.ArrayList<org.osate.aadl2.IntegerLiteral> plist,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call equation that calls the Sim_Dispatch process
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_Call_SimDispatch_Sporadic(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Sporadic process: Sim_Dispatch_Sporadic{}
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_Call_SimDispatch_Timed(java.util.ArrayList<ExprParam> lps,
java.util.ArrayList<ExprSignal> lins,
java.util.ArrayList<ExprSignal> louts)
Makes a process call of Sim_Dispatch_Timed process: Sim_Dispatch_Timed{}
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_DataPortConnection_S_SubDevice(org.osate.aadl2.ComponentImplementation compImpl,
org.osate.aadl2.Context src_context,
org.osate.aadl2.Context dst_context,
org.osate.aadl2.DataPort src_port,
org.osate.aadl2.DataPort dst_port)
Returns a Signal signal definition (an equation) that represents a (data) port connection,
the source of which is a device subcomponent
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_DataPortConnection_S_SubSystem(org.osate.aadl2.ComponentImplementation compImpl,
org.osate.aadl2.Context src_context,
org.osate.aadl2.Context dst_context,
org.osate.aadl2.DataPort src_port,
org.osate.aadl2.DataPort dst_port)
Returns a Signal signal definition (an equation) that represents a (data) port connection,
the source of which is a system subcomponent
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_DataPortConnection_S_System(org.osate.aadl2.ComponentImplementation compImpl,
org.osate.aadl2.Context src_context,
org.osate.aadl2.Context dst_context,
org.osate.aadl2.DataPort src_port,
org.osate.aadl2.DataPort dst_port)
Returns a Signal signal definition (an equation) that represents a (data) port connection,
the source of which is a system component
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_DataPortConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.PortConnection dconnection)
Returns a Signal signal definition (an equation) that represents a (data) port connection.
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_TimeEvent.ASME2SSME_Def_FrozenTimeEvent(java.lang.String sub_process,
java.lang.String sub_thread,
org.osate.aadl2.Port p)
Makes a equation that defines the frozen_time_event of a port p by default value:
xp_xt_time1.p_Frozen_time_event := xp_xt_ctl1.Dispatch
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_TimeEvent.ASME2SSME_Def_OutputTimeEvent(java.lang.String sub_process,
java.lang.String sub_thread,
org.osate.aadl2.Port p)
Makes a equation that defines the output_time_event of a port p by default value:
xp_xt_time1.zz_Output_time_event := xp_xt_ctl2.Complete
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_EventDataPortConnection_S_Process(org.osate.aadl2.ComponentImplementation compImpl,
org.osate.aadl2.Context src_context,
org.osate.aadl2.Context dst_context,
org.osate.aadl2.EventDataPort src_port,
org.osate.aadl2.EventDataPort dst_port)
Returns a Signal signal definition (an equation) that represents a (event data) port connection,
the source of which is a process component
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_EventDataPortConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.PortConnection c1)
Returns a Signal signal definition (an equation) that represents a (event data) port connection.
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_EventPortConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.PortConnection econnection)
Returns a Signal signal definition (an equation) that represents a (event) port connection.
|
SignalsDefinitionImpl |
ASME2SSME_Translate_FeatureGroupConnection.ASME2SSME_FeatureGroupConnection1(org.osate.aadl2.FeatureGroupConnection c1)
Returns a Signal signal definition (an equation) that represents a feature group connection.
|
SignalsDefinitionImpl |
ASME2SSME_Translate_FeatureGroupConnection.ASME2SSME_FeatureGroupConnection2(org.osate.aadl2.FeatureGroupConnection c1)
Returns a Signal signal definition (an equation) that represents a feature group connection.
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Aperiodic_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Background_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Hybrid_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Sporadic_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
SignalsDefinitionImpl |
ASME2SSME_Simulate_Dispatch.ASME2SSME_mkSimDispatch_Timed_definition(org.osate.aadl2.ProcessSubcomponent sub1,
org.osate.aadl2.ThreadSubcomponent sub2)
Make a Signal equation that defines xx_dispatch: p1_t2_dispatch := p1_t2_i1_TE default p1_t2_i2_TE default ...
|
SignalsDefinitionImpl |
ASME2SSME_Translate_ParameterConnection.ASME2SSME_ParameterConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.ParameterConnection cc)
Returns a Signal signal definition (an equation) that represents a parameter connection.
|
SignalsDefinitionImpl |
ASME2SSME_Translate_PortConnection.ASME2SSME_PortConnection(org.osate.aadl2.ComponentImplementation compImpl,
ProcessModelImpl vprocess,
org.osate.aadl2.PortConnection connection)
Returns a signal definition (an equation) that represents a port connection
Depending on the port type of this connection, call the method:
ASME2SSME_DataPortConnection(), ...
|
SignalsDefinitionImpl |
signalTreeAPI.mkEquation(ExprSignal left_expr,
ExprSignal right_expr) |
SignalsDefinitionImpl |
signalTreeAPI.STree_mkCompleteProcessCallEquation(IdentifierImpl pname,
java.util.ArrayList<ExprParam> lparam,
java.util.ArrayList<ExprSignal> lin,
java.util.ArrayList<ExprSignal> lout)
Makes an equation of a complete process call
A process instance of identifier (pname).
|
Modifier and Type | Method and Description |
---|---|
void |
signalTreeAPI.STree_addDefinition(ProcessModelImpl vprocess,
SignalsDefinitionImpl vdef)
Add a signal definition to a process (vprocess)
|