Class FileWriter

  • Direct Known Subclasses:
    CatsExporter, JsonExporter

    public abstract class FileWriter
    extends java.lang.Object
    Author:
    Michael Weiss
    • Field Detail

      • folder

        protected final java.io.File folder
    • Constructor Detail

      • FileWriter

        public FileWriter​(java.io.File path)
    • Method Detail

      • writeMultiBidderXOR

        public abstract java.io.File writeMultiBidderXOR​(java.util.Collection<BiddingLanguage> valueFunctions,
                                                         int numberOfBids,
                                                         java.lang.String filePrefix)
                                                  throws java.io.IOException
        Throws:
        java.io.IOException
      • writeSingleBidderXOR

        public abstract java.io.File writeSingleBidderXOR​(BiddingLanguage valueFunction,
                                                          int numberOfBids,
                                                          java.lang.String filePrefix)
                                                   throws java.io.IOException
        Throws:
        java.io.IOException
      • writeMultiBidderXORQ

        public abstract java.io.File writeMultiBidderXORQ​(java.util.Collection<BiddingLanguage> valueFunctions,
                                                          int numberOfBids,
                                                          java.lang.String filePrefix)
                                                   throws java.io.IOException
        Throws:
        java.io.IOException
      • writeSingleBidderXORQ

        public abstract java.io.File writeSingleBidderXORQ​(BiddingLanguage lang,
                                                           int numberOfBids,
                                                           java.lang.String filePrefix)
                                                    throws java.io.IOException
        Throws:
        java.io.IOException
      • filetype

        protected abstract java.lang.String filetype()
        Returns:
        the file ending of the generated bid files
      • nextNonexistingFile

        protected java.nio.file.Path nextNonexistingFile​(java.lang.String filePrefix)
      • getDefaultFilePrefix

        public java.lang.String getDefaultFilePrefix()
      • setDefaultFilePrefix

        public void setDefaultFilePrefix​(java.lang.String defaultFilePrefix)
      • getFolder

        public java.io.File getFolder()