diff --git a/src/app/scripts.ts b/src/app/scripts.ts index 9d3ddcb..a39ebc4 100644 --- a/src/app/scripts.ts +++ b/src/app/scripts.ts @@ -108,7 +108,7 @@ export function isInputValidRegex(obj: string | undefined, subj: string | undefi return true; } -export function isInputFilled(obj: string | undefined, subj: string | undefined, bounds: string | undefined, vars: string | undefined) { +export function isInputFilled(obj: string | undefined, subj: string | undefined, bounds: string | undefined, vars: string | undefined): boolean { // if empty input: fetching inputs if (obj == "" || subj == "" || bounds == "" || vars == "") { const objectiveElement = document.getElementById('objective'); @@ -280,7 +280,6 @@ export function downloadLPFormatting(objective: any, subject: any, bounds: any) return lpFormat; } - function downloadProblemDownload(content: string) { customLog("downloadPrepFile"); customLog(""); @@ -689,4 +688,4 @@ export function downloadMPS() { let mps = convertLPToMPS(lp); downloadProblemDownload(mps); -} \ No newline at end of file +}