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
696 stars 124 forks source link

Function Overloading or Watcher (with Java) #129

Closed pfeodrippe closed 3 years ago

pfeodrippe commented 3 years ago

Hi, this is a question only,

I'd like to overload a function in Alloy with some Java method (or at least to watch the arguments that have been passed to it), is there any way I can do this? If not, could you point me where I could start so I can experiment with this (if at TranslateAlloyToKodkod.java or elsewhere)?

Thank you, Alloy is lovely and its REPL its awesome =D

pfeodrippe commented 3 years ago

Will try to ask somewhere else o/