Program.cs File Reference

Go to the source code of this file.

Functions
	catch (System.Exception exception)
Directory.	CreateDirectory (resolvedDirectory)
static void	DeleteIfExists (string path)
static void	DisplayCheckerSummary (SolutionCheckResult result, string reportPath)
	for (int fileIndex=0;fileIndex< inputFiles.Length;fileIndex++)
static string	FormatStage (bool completed, bool passed)
static ? string	GetOptionValue (string[] arguments, string optionName)
static string	GetSolverDisplayName (SolverKind solverKind)
static string	GetSolverSlug (SolverKind solverKind)
	if (!bootstrap.CanSolve)
	if (!bootstrap.IsSuccessful||bootstrap.SolverService is null)
	if (!Directory::Exists(inputDirectory))
	if (failedFiles.Count > 0)
	if (inputFiles.Length==0)
	if (rejectedFiles.Count > 0)
static SolverKind	ParsePreferredSolver (string[] arguments)
Console.	WriteLine ("============================================================")
Console.	WriteLine ("BILAN DU TRAITEMENT")
Console.	WriteLine ("Checker indépendant prêt.")
Console.	WriteLine ("LotSizingDataModel - multi-solver batch + independent checker")
Console.	WriteLine ($"Solveur demandé : {solverDisplayName}")
Console.	WriteLine (new string('=', 78))

Variables
StandardLotSizingSolverBootstrapResult	bootstrap
int	checkerRejected
const string	DefaultInputDirectory
var	discoveryOptions
Environment.	ExitCode
int	failed
var	failedFiles
var	formulationOptions
string	inputDirectory
string[]	inputFiles
Console.	OutputEncoding
SolverKind	preferredSolver
var	rejectedFiles
var	reportFormatter
var	reportOptions
string	resolvedDirectory
string	resolvedDirectoryName
string	solverDisplayName
int	succeeded
	try
var	verificationOptions
var	verificationService

Function Documentation

catch()

catch

(

System.Exception

exception

)

Definition at line 169 of file Program.cs.

CreateDirectory()

Directory. CreateDirectory

(

resolvedDirectory

)

References resolvedDirectory.

DeleteIfExists()

void DeleteIfExists ( string path )

static

Definition at line 835 of file Program.cs.

Referenced by for().

DisplayCheckerSummary()

void DisplayCheckerSummary ( SolutionCheckResult result, string reportPath )

static

Definition at line 749 of file Program.cs.

Referenced by for().

for()

for

(

)

Definition at line 228 of file Program.cs.

References bootstrap, checkerRejected, DeleteIfExists(), DisplayCheckerSummary(), failed, failedFiles, formulationOptions, inputFiles, preferredSolver, rejectedFiles, reportFormatter, reportOptions, resolvedDirectory, succeeded, verificationOptions, verificationService, and LotSizingDataModel.Solver.ConsoleApp.MathematicalModelTextExporter.Write().

FormatStage()

string FormatStage ( bool completed, bool passed )

static

Definition at line 820 of file Program.cs.

GetOptionValue()

? string GetOptionValue ( string[] arguments, string optionName )

static

Definition at line 684 of file Program.cs.

Referenced by ParsePreferredSolver().

GetSolverDisplayName()

string GetSolverDisplayName ( SolverKind solverKind )

static

Definition at line 723 of file Program.cs.

GetSolverSlug()

string GetSolverSlug ( SolverKind solverKind )

static

Definition at line 736 of file Program.cs.

if() [1/6]

if

(

!bootstrap.CanSolve

)

Definition at line 196 of file Program.cs.

References bootstrap.

if() [2/6]

if

(

!bootstrap.IsSuccessful||bootstrap.SolverService is

null

)

Definition at line 183 of file Program.cs.

References bootstrap.

if() [3/6]

if

(

!

Directory::Exists inputDirectory

)

Definition at line 60 of file Program.cs.

References inputDirectory.

if() [4/6]

if	(	failedFiles.Count	,
		0	)

Definition at line 635 of file Program.cs.

References failedFiles.

if() [5/6]

if

(

inputFiles.Length

= = 0

)

Definition at line 91 of file Program.cs.

References inputFiles.

if() [6/6]

if	(	rejectedFiles.Count	,
		0	)

Definition at line 620 of file Program.cs.

References rejectedFiles.

ParsePreferredSolver()

SolverKind ParsePreferredSolver ( string[] arguments )

static

Definition at line 656 of file Program.cs.

References GetOptionValue().

WriteLine() [1/6]

Console WriteLine

(

)

WriteLine() [2/6]

Console. WriteLine

(

"BILAN DU TRAITEMENT"

)

WriteLine() [3/6]

Console. WriteLine

(

"Checker indépendant prêt."

)

WriteLine() [4/6]

Console. WriteLine

(

"LotSizingDataModel - multi-solver batch + independent checker"

)

WriteLine() [5/6]

Console WriteLine

(

$"Solveur demandé : {solverDisplayName}"

)

WriteLine() [6/6]

Console WriteLine

(

new

string'=', 78

)

Variable Documentation

bootstrap

StandardLotSizingSolverBootstrapResult bootstrap

Definition at line 160 of file Program.cs.

Referenced by for(), if(), and if().

checkerRejected

int checkerRejected

Initial value:

                =
0

Definition at line 216 of file Program.cs.

Referenced by for().

DefaultInputDirectory

const string DefaultInputDirectory

static

Initial value:

                               =
@"C:\Users\david\Documents\test\NouveauFormat\Petit"

Definition at line 24 of file Program.cs.

discoveryOptions

var discoveryOptions

Initial value:

                 =
new SolverDiscoveryOptions()

Definition at line 106 of file Program.cs.

ExitCode

Environment. ExitCode

Initial value:

                =
checkerRejected == 0 &&
failed == 0
    ? 0
    : 10

Definition at line 650 of file Program.cs.

failed

int failed

Initial value:

       =
0

Definition at line 219 of file Program.cs.

Referenced by for().

failedFiles

var failedFiles

Initial value:

            =
new List<string>()

Definition at line 225 of file Program.cs.

Referenced by for(), and if().

formulationOptions

var formulationOptions

Initial value:

                   =
new StandardLotSizingFormulationOptions()

Definition at line 103 of file Program.cs.

Referenced by for().

inputDirectory

string inputDirectory

Initial value:

                  =
GetOptionValue(args, "--input") ??
DefaultInputDirectory

Definition at line 33 of file Program.cs.

Referenced by if().

inputFiles

string [] inputFiles

Initial value:

              =
Directory
    .EnumerateFiles(
        inputDirectory,
        "*.xml",
        SearchOption.TopDirectoryOnly)
    .OrderBy(
        path =>
            Path.GetFileName(path),
        StringComparer.OrdinalIgnoreCase)
    .ToArray()

Definition at line 79 of file Program.cs.

Referenced by for(), and if().

OutputEncoding

Console. OutputEncoding

Initial value:

                  =
Encoding.UTF8

Definition at line 21 of file Program.cs.

preferredSolver

SolverKind preferredSolver

Initial value:

                       =
ParsePreferredSolver(args)

Definition at line 27 of file Program.cs.

Referenced by for().

rejectedFiles

var rejectedFiles

Initial value:

              =
new List<string>()

Definition at line 222 of file Program.cs.

Referenced by for(), and if().

reportFormatter

var reportFormatter

Initial value:

                =
new SolutionCheckTextReportFormatter()

Definition at line 112 of file Program.cs.

Referenced by for().

reportOptions

var reportOptions

Initial value:

              =
new SolutionCheckReportOptions
{
    IncludeStageDetails =
        true,
    IncludeFeasibilityMetrics =
        true,
    IncludeObjectiveMetrics =
        true,
    IncludeInformationIssues =
        true,
    IncludeWarningIssues =
        true,
    IncludeErrorIssues =
        true,
    MaximumDetailedIssues =
        100,
    SortIssuesBySeverity =
        true
}

Definition at line 136 of file Program.cs.

Referenced by for().

resolvedDirectory

string resolvedDirectory

Initial value:

                     =
Path.Combine(
    inputDirectory,
    resolvedDirectoryName)

Definition at line 42 of file Program.cs.

Referenced by CreateDirectory(), and for().

resolvedDirectoryName

string resolvedDirectoryName

Initial value:

                         =
preferredSolver == SolverKind.Cplex
    ? "résolu"
    : $"résolu-{GetSolverSlug(preferredSolver)}"

Definition at line 37 of file Program.cs.

solverDisplayName

string solverDisplayName

Initial value:

                     =
GetSolverDisplayName(preferredSolver)

Definition at line 30 of file Program.cs.

succeeded

int succeeded

Initial value:

          =
0

Definition at line 213 of file Program.cs.

Referenced by for().

try

try

Initial value:

{
    bootstrap =
        await StandardLotSizingSolverBootstrapper.InitializeAsync(
            formulationOptions,
            discoveryOptions)

Definition at line 162 of file Program.cs.

verificationOptions

var verificationOptions

Initial value:

                    =
new SolutionVerificationOptions
{
    CheckOptions =
        new SolutionCheckOptions
        {
            Level =
                SolutionCheckLevel.Full
        },
    ApplyToSolutionEvaluation =
        true,
    UpdateKnownResultFeasibility =
        true,
    PromoteFullyVerifiedKnownResult =
        true,
    EvaluatorName =
        "LotSizingSolutionChecker",
    EvaluatorVersion =
        "1.1"
}

Definition at line 115 of file Program.cs.

Referenced by for().

verificationService

var verificationService

Initial value:

                    =
new LotSizingSolutionVerificationService()

Definition at line 109 of file Program.cs.

Referenced by for().