Skip to content
Snippets Groups Projects
  • Giammarco, Kristin M's avatar
    a91ae420
    Update Example01_SimpleMessageFlow_EventCoordination.mp,... · a91ae420
    Giammarco, Kristin M authored
    Update Example01_SimpleMessageFlow_EventCoordination.mp, Example01a_UnreliableMessageFlow_VirtualEvents.mp, Example02_DataFlow_EventSharing.mp, Example03_ATMWithdrawal_BehaviorOfEnvironment.mp, Example04b_QueueBehavior_UserDefinedRelations.mp, Example05_CarRace_NestedComposition.mp, Example06_UnreliableChannel_AssertionChecking.mp, Example07_UnconstrainedStack_TraceAnnotation.mp, Operational_Process.mp, Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp, Example09_PipeFilter_TraceAnnotationQueries.mp, Example10_PublishSubscribe_EventReshuffling.mp, Example11_RingTopology_UserDefinedRelations.mp, Example12_CardiacArrestWorkflow_VirtualEvents.mp, Example13_ConsumersSuppliers_DependencyTracking.mp, Example14_ShoppingSpree_NumberAttributes.mp, Example15_BackpackWeight_IntervalAttributes.mp, Example18_RedGreen_BayesianProbabilityCalculationsType2.mp, Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp, Example21_DataFlow_LocalReport.mp files
    a91ae420
    History
    Update Example01_SimpleMessageFlow_EventCoordination.mp,...
    Giammarco, Kristin M authored
    Update Example01_SimpleMessageFlow_EventCoordination.mp, Example01a_UnreliableMessageFlow_VirtualEvents.mp, Example02_DataFlow_EventSharing.mp, Example03_ATMWithdrawal_BehaviorOfEnvironment.mp, Example04b_QueueBehavior_UserDefinedRelations.mp, Example05_CarRace_NestedComposition.mp, Example06_UnreliableChannel_AssertionChecking.mp, Example07_UnconstrainedStack_TraceAnnotation.mp, Operational_Process.mp, Example08_EmployeeEmployer_CoordinationAcrossHierarchyLevels.mp, Example09_PipeFilter_TraceAnnotationQueries.mp, Example10_PublishSubscribe_EventReshuffling.mp, Example11_RingTopology_UserDefinedRelations.mp, Example12_CardiacArrestWorkflow_VirtualEvents.mp, Example13_ConsumersSuppliers_DependencyTracking.mp, Example14_ShoppingSpree_NumberAttributes.mp, Example15_BackpackWeight_IntervalAttributes.mp, Example18_RedGreen_BayesianProbabilityCalculationsType2.mp, Example19_StackBehavior_BayesianProbabilityCalculationsType2.mp, Example21_DataFlow_LocalReport.mp files
Example21_DataFlow_LocalReport.mp 782 B

/* Example 30. Local Report within a trace.
	run for scope 1 and up.
*/
SCHEMA Data_flow

ROOT Writer: (* ( working | writing ) *);

ROOT File:   (+ writing +) (* reading *);
Writer, File SHARE ALL writing;
	
ROOT Reader: (* ( reading | working ) *);
Reader, File SHARE ALL reading;

REPORT basic_statistics {
		TITLE ("scope= " $$scope " trace " trace_id);};

/* Clear the contents after a trace derivation has been completed */
CLEAR basic_statistics;

/* fill the Report with data from the current event trace */
SAY("#writing= " #writing) => basic_statistics;
SAY("#reading= " #reading) => basic_statistics;
SAY("#working= " #working) => basic_statistics;


/* In order to make it visible together with the event trace, the SHOW command is needed */
SHOW basic_statistics;