Package jline.examples.parity

Class JavaExampleTwins

java.lang.Object
jline.examples.parity.JavaExampleTwins
public final class JavaExampleTwins extends Object
Register the example suite already in jline.examples.java as parity twins.

WHY THESE ARE NOT TRANSCRIBED AGAIN. The classes below are the JAR's own transcription of the reference example gallery, and 119 of their methods already carry the REFERENCE SCRIPT'S OWN NAME -- cqn_oneline() is cqn_oneline.py -- which is the key the shared goldens are filed under. What they lacked was not the computation but the ATTRIBUTION: they printed a table and nothing said which solver produced it. LineResultRecorder supplies that from inside the getter, so registering these methods is all that stands between the JAR and a measured parity row for each of them.

REGISTRATION IS SWEPT, NOT LISTED. Every public static void method of no arguments in a holder class is registered under its own name, so an example added to one of these classes is a parity twin the day it lands. A hand-kept list of 119 names is a list that silently stops matching the corpus.

A name a golden does not carry costs nothing: the parity suite asks for the goldened names and ignores the rest.

  • Method Details

    • register

      public static void register(Map<String,ParityExample> reg)
      Add every swept twin to reg, leaving an existing name alone.

      A HAND-WRITTEN TWIN WINS. The twins in this package exist for the examples goldened on a quantity no result table carries, and those print and record the derivation itself; the gallery method of the same name would answer only the tables around it.

    • holders

      public static List<String> holders()
      The names this sweep would register, for a diagnostic.