#597 EdgeOrderDuplicateEventsOption: some renaming for clarity. (!593) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

Merged Dennis Hendriks requested to merge 597-rename-edge-order-duplicate-events-option-get-duplicate-events into develop May 27, 2023

EdgeOrderDuplicateEvents -> EdgeOrderDuplicateEventAllowance
duplicateEvents -> allowance
getDuplicateEvents -> getAllowance

Closes #597 (closed)

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent