search

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
Other
709 stars 124 forks source link

Add warning on save conflicts #62

Closed s-arash closed 6 years ago

s-arash commented 6 years ago

To address #61: On save, we compare the file modification date on disk with the modification date of the file when it was loaded (field fileModifiedDate), and if the on-disk modification date is newer, a message is shown.

s-arash commented 6 years ago

Thanks for the comments! I'll address them and push a new commit soon. With respect to verbosity of getModifiedDate(), I tried to make it look like readAll(), so it would be easier to maintain them I guess. I'll make it shorter, as you suggested.