|
|
@ -53,7 +53,6 @@ function ConstructNewLineSettings(dict): NewLineSettings { |
|
|
|
return settings; |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
declare global { |
|
|
|
interface String { |
|
|
|
regexIndexOf: (pattern: RegExp, startIndex?: number) => number; |
|
|
@ -112,79 +111,6 @@ Array.prototype.convertToRegexBlockWords = function (): RegExp { |
|
|
|
return result; |
|
|
|
} |
|
|
|
|
|
|
|
function wordWrap() { |
|
|
|
var d = document.getElementById("result"); |
|
|
|
if (d.className == "") { |
|
|
|
d.className = "wordwrap"; |
|
|
|
} else { |
|
|
|
d.className = ""; |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
function getHTMLInputElement(id: string): HTMLInputElement { |
|
|
|
return <HTMLInputElement>document.getElementById(id); |
|
|
|
} |
|
|
|
|
|
|
|
function noFormat() { |
|
|
|
let elements: Array<string> = [ |
|
|
|
"remove_comments", |
|
|
|
"remove_lines", |
|
|
|
"remove_report", |
|
|
|
"check_alias", |
|
|
|
"sign_align_in", |
|
|
|
"sign_align_port", |
|
|
|
"sign_align_generic", |
|
|
|
"sign_align_function", |
|
|
|
"sign_align_procedure", |
|
|
|
"sign_align_all", |
|
|
|
"new_line_after", |
|
|
|
"use_space", |
|
|
|
"customise_indentation", |
|
|
|
"compress", |
|
|
|
"mix_letter", |
|
|
|
"cust_eol" |
|
|
|
]; |
|
|
|
var isDisabled = getHTMLInputElement("no_format").checked; |
|
|
|
elements.forEach(element => { |
|
|
|
var htmlElement = getHTMLInputElement(element + "_div"); |
|
|
|
try { |
|
|
|
getHTMLInputElement(element).disabled = isDisabled; |
|
|
|
} |
|
|
|
catch{ } |
|
|
|
if (isDisabled) { |
|
|
|
htmlElement.className += " disabled"; |
|
|
|
} |
|
|
|
else { |
|
|
|
htmlElement.className = htmlElement.className.replace(/\bdisabled\b/g, ""); |
|
|
|
} |
|
|
|
}); |
|
|
|
let radioButtons = <HTMLCollectionOf<HTMLInputElement>>document.getElementsByTagName("input"); |
|
|
|
for (let i = 0; i < radioButtons.length; i++) { |
|
|
|
if ((<HTMLInputElement>radioButtons[i]).type == "radio") { |
|
|
|
(<HTMLInputElement>radioButtons[i]).disabled = isDisabled; |
|
|
|
} |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
function Compress(input: string) { |
|
|
|
input = input.replace(/\r\n/g, ''); |
|
|
|
input = input.replace(/[\t ]+/g, ' '); |
|
|
|
input = input.replace(/[ ]?([&=:\-<>\+|])[ ]?/g, '$1'); |
|
|
|
return input; |
|
|
|
} |
|
|
|
|
|
|
|
function MixLetters(input: string) { |
|
|
|
let arr = input.split(""); |
|
|
|
for (var k = 0; k < arr.length; k++) { |
|
|
|
if (arr[k] === arr[k].toUpperCase() && Math.random() > 0.5) { |
|
|
|
arr[k] = arr[k].toLowerCase(); |
|
|
|
} else if (Math.random() > 0.5) { |
|
|
|
arr[k] = arr[k].toUpperCase(); |
|
|
|
} |
|
|
|
} |
|
|
|
return arr.join(""); |
|
|
|
} |
|
|
|
|
|
|
|
function EscapeComments(arr: Array<string>): Array<string> { |
|
|
|
var comments = []; |
|
|
|
var count = 0; |
|
|
@ -514,8 +440,9 @@ export function beautifyPortGenericBlock(inputs: Array<string>, result: (Formatt |
|
|
|
export function AlignSigns(result: (FormattedLine | FormattedLine[])[], startIndex: number, endIndex: number) { |
|
|
|
AlignSign_(result, startIndex, endIndex, ":"); |
|
|
|
AlignSign_(result, startIndex, endIndex, ":="); |
|
|
|
AlignSign_(result, startIndex, endIndex, "=>"); |
|
|
|
AlignSign_(result, startIndex, endIndex, "<="); |
|
|
|
AlignSign_(result, startIndex, endIndex, "=>"); |
|
|
|
AlignSign_(result, startIndex, endIndex, "@@comments"); |
|
|
|
} |
|
|
|
|
|
|
|
function AlignSign_(result: (FormattedLine | FormattedLine[])[], startIndex: number, endIndex: number, symbol: string) { |
|
|
|