GitLab

TODO: potential long overflow; use BigInteger

launches two instances of user’s editor ($EDITOR by default, can be
overriden using --editor) one with the ssr resulting output file and
one with the original file.  proceeds to the next result pair once
both spawned editor processes have exit

/me sighs

we were exitting early and thus not serializing FileResult

instead of a list of exact file names

also, always show default values in cli usage help

Sig already has a builtin field that I’d somehow missed.

As well as a few minor enhancements to SSR.java

Caused by: java.lang.ClassNotFoundException: org.apache.commons.codec.binary.Base32

4.0.0-beta-1b breaks the build:

:org.aminb.alloy.catalyst.dist:jarerror  : Classes found in the wrong directory: {META-INF/versions/9/module-info.class=module-info}
 FAILED

FAILURE: Build failed with an exception.

* What went wrong:
Execution failed for task ':org.aminb.alloy.catalyst.dist:jar'.

- Mark file_results as transient so as to not include it in main file.
  Instead, write out one json file for each FileResult analyzeFile(…).

- Add a list of SSR candidate signature names to SSRResult.

- Use non-prettified json for smaller file sizes.

Because they reference resultsDir

Instead of marking every Sig as a candidate initially, only mark those
as candidates that are actually involved in a “field-access” dot-join.

There might still be false positives, or perhaps some false negatives,
but this should weed out some more false positives.

And display total count and percentage of SSR candidates in a corpus,
with respect to total number of signatures in that corpus.

- discard meta signatures
- discard abstract signatures
- discard enum signatures and their children
- discard parents of subset signatures
- discard signatures of meta fields

TODO: make sure we’re not discarding anything useful in the non-join
else case of visit(ExprBinary).

This reverts commit 12512076.

class java.lang.NullPointerException: null
java.util.Objects.requireNonNull(Objects.java:203)
java.util.Optional.<init>(Optional.java:96)
java.util.Optional.of(Optional.java:108)
org.aminb.alloy.catalyst.SSRVisitor.putCandidateIfAbsent(SSRVisitor.java:52)
…

I don’t know why I even try with Java…