Skip to content

Commit

Permalink
Merge pull request #11 from AlexNov03/myarticle
Browse files Browse the repository at this point in the history 
added parser and match functions, added buttons and modified html
  • Loading branch information
@Mazdaywik
Mazdaywik authored Oct 17, 2023
2 parents e5e519c + ffd8f26 commit 465371e
Show file tree
Hide file tree
Showing 2 changed files with 285 additions and 25 deletions.
33 changes: 14 additions & 19 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,34 +8,35 @@
</head>
<body>
<h1>Интерпретатор рефала</h1>
<button style="margin-left:3px" onclick="validateText()">Запуск</button>
<button onclick="eraseText()">Очистить</button>
<button onclick="scanProgramField();scanViewField();">Лек. ан.</button>
<button onclick="eraseText()">Синт. ан.</button>
<button style="margin-left:3px">Запуск</button>
<button>Очистить</button>
<button id = "lexan" type = "submit">Лек. ан.</button>
<button id = "syntan" type = "submit">Синт. ан.</button>
<button id = "match" type = "submit">Сопоставить</button>
<br>
<br>
<button style="margin-left:3px" onclick="textchange2(); changeFunc();"> &lt;&lt;&lt;
<button style="margin-left:3px"> &lt;&lt;&lt;
</button>
<label for="">Выберите урок:</label>
<select id="new" onchange="changeFunc()">
<select id="new">
<option value=""></option>
<option value="Lesson 1">Урок 1</option>
<option value="Lesson 2">Урок 2</option>
<option value="Lesson 3">Урок 3</option>
<option value="Lesson 4">Урок 4</option>
</select>
<button style="margin-right:25px" onclick="textchange();changeFunc();">&gt;&gt;&gt;</button>
<button style="margin-left:28px" onclick="textchange4();changeFunc();">&lt;&lt;&lt;
<button style="margin-right:25px">&gt;&gt;&gt;</button>
<button style="margin-left:28px">&lt;&lt;&lt;
</button>
<label for="">Выберите пример:</label>
<select id="new1" onchange="changeFunc()">
<select id="new1">
<option value=""></option>
<option value="Example 1">Пример 1 </option>
<option value="Example 2">Пример 2</option>
<option value="Example 3">Пример 3</option>
<option value="Example 4">Пример 4</option>
</select>
<button onclick="textchange3();changeFunc();"> &gt;&gt;&gt; </button>
<button> &gt;&gt;&gt; </button>
<br>
<br>
<div class="row" style="
Expand All @@ -48,7 +49,7 @@ <h1>Интерпретатор рефала</h1>
<br>
<textarea id="t2" placeholder="Детализированное поле программы" style="
width: 300px;
height: 200px;" readonly></textarea>
height: 200px;"></textarea>
<br>
</div>
<div class="col">
Expand All @@ -58,7 +59,7 @@ <h1>Интерпретатор рефала</h1>
<br>
<textarea id="t4" placeholder="Поле результата" style="
width: 300px;
height: 200px;" readonly></textarea>
height: 200px;"></textarea>
<br>
</div>
</div>
Expand All @@ -67,12 +68,6 @@ <h1>Интерпретатор рефала</h1>
<p id="H"></p>
<script src="js/javascript.js"></script>
<script type="text/javascript">
function changeFunc(){

if(document.getElementById("new").value=="Lesson 2" && document.getElementById("new1").value=="Example 2"){
document.getElementById("t1").value="hello";
}
}
</script>
</body>
</html>
</html>
277 changes: 271 additions & 6 deletions js/javascript.js
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1,20 @@

function at(n) {
n = Math.trunc(n) || 0;
if (n < 0) n += this.length;
if (n < 0 || n >= this.length) return undefined;
return this[n];
}

const TypedArray = Reflect.getPrototypeOf(Int8Array);
for (const C of [Array, String, TypedArray]) {
Object.defineProperty(C.prototype, "at",
{ value: at,
writable: true,
enumerable: false,
configurable: true });
}

function textchange() {

if (document.getElementById("new").value == "") {
Expand Down Expand Up @@ -59,24 +76,21 @@ function textchange4() {
}

function eraseText() {


document.getElementById("t2").value = "";

document.getElementById("t4").value = "";
}


function tokenize_line(line) {
tokens = [];
let tokens = [];
while (line.length > 0) {
if (line.at(0) == ' ') {
line = line.substr(1);
} else if (line.at(0) == '\\' && line.length >= 2) {
tokens[tokens.length] = line.at(1);
line = line.substr(2);
} else if ((line.at(0) == 's' || line.at(0) == 't' || line.at(0) == 'e') &&
line.length >= 2) {
line.length >= 2 && line.at(1) != ' ') {
tokens[tokens.length] = line.substr(0, 2);
line = line.substr(2);
} else if (line.at(0) == '#') {
Expand All @@ -93,6 +107,7 @@ function tokenize_line(line) {
}

function scanProgramField() {
alert("lexical analyzis !!!")
program = document.getElementById("t1").value;
sentences = program.split('\n');
for (let i = 0; i < sentences.length; ++i) {
Expand All @@ -111,4 +126,254 @@ function scanViewField() {
document.getElementById("H").innerHTML += sentences1[h] + " ";
}

}
}



function CheckPairedBrackets(tokens){
let brackets = '';
for (let elem of tokens){
if ('()<>'.indexOf(elem) != -1){
brackets += elem;
}
}
while (brackets.indexOf('()') != -1 || brackets.indexOf('<>') != -1){
brackets = brackets.replace('()', '');
brackets = brackets.replace('<>', '');
}
return brackets == '';
}

function checkSentence(sentence){
let array_of_errors = [];
// console.log(sentence);
// console.log(sentence + ':' + typeof(sentence));
let num_equal_signs = sentence.join('').split('==').length - 1;
if (num_equal_signs == 0){
array_of_errors.push('нет знака =');
}
if (num_equal_signs > 1){
array_of_errors.push('слишком много знаков "=" ');
}
left_part = sentence.slice(0, sentence.indexOf('=='));
right_part = sentence.slice(sentence.indexOf('==') + 1);
if (left_part.indexOf('<') != -1 || left_part.indexOf('>') != -1){
array_of_errors.push('присутствуют знаки < > в левой части');
}
if (!CheckPairedBrackets(left_part) || !CheckPairedBrackets(right_part)){
array_of_errors.push('Скобки не сбалансированы !');
}
let left_part_variables = {};
for (elem of left_part){
if (elem.length == 2 && 'ste'.indexOf(elem[0]) != -1 && left_part_variables[elem] == undefined){
left_part_variables[elem] = true;
}
}
for (elem of right_part){
if (elem.length == 2 && 'ste'.indexOf(elem[0]) != -1){
if (left_part_variables[elem] == undefined){
array_of_errors.push('Неопределенная переменная ' + elem + ' в правой части');
}
}
}
return array_of_errors;
}



function find_close_bracket_pos(expr, expr_pos){
if (expr[expr_pos] != ')'){
return find_close_bracket_pos(expr, expr_pos + 1);
}else{
return expr_pos;
}
}

function match_with_variable_var(expr, expr_pos, variable, variable_pos){
if (variable.length == variable_pos){
return true;
}else{
if (variable[variable_pos] == expr[expr_pos]){
return match_with_variable_var(expr, expr_pos + 1, variable, variable_pos + 1);
}else{
return false;
}
}

}





function match(expr, expr_pos, pattern, pattern_pos, known_vars){
if (expr.length == expr_pos && pattern.length == pattern_pos){
console.log('case1');
return {ok: true, __proto__: known_vars};
}else if (pattern.length == pattern_pos){
console.log('case2');
return {ok: false};
}else if(pattern[pattern_pos].length == 1){
console.log('case3');
if (expr[expr_pos] == pattern[pattern_pos]){
return match(expr, expr_pos + 1, pattern, pattern_pos + 1, {__proto__ : known_vars});
}else{
return {ok: false};
}
}else if (pattern[pattern_pos].length == 2 && known_vars[pattern[pattern_pos]] != undefined){
console.log('case4');
variable = known_vars[pattern[pattern_pos]];
if (match_with_variable_var(expr, expr_pos, variable, 0)){
return match(expr, expr_pos + variable.length, pattern, pattern_pos + 1, {__proto__:known_vars});
}
return {ok :false};
}else if (pattern[pattern_pos].length == 2 && pattern[pattern_pos][0] == 's'){
console.log('case5');
if (expr[expr_pos] != '(' && expr[expr_pos] != ')'){
let variable = pattern[pattern_pos];
let value = expr[expr_pos];
new_vars = {__proto__: known_vars};
new_vars[variable] = value;
return match(expr, expr_pos + 1, pattern, pattern_pos + 1, new_vars);
}else{
return {ok : false};
}
}else if (pattern[pattern_pos].length == 2 && pattern[pattern_pos][0] == 't'){
console.log('case6');
if (expr[expr_pos] != '(' && expr[expr_pos] != ')'){
let variable = pattern[pattern_pos];
let value = expr[expr_pos];
new_vars = {__proto__: known_vars};
new_vars[variable] = value;
return match(expr, expr_pos + 1, pattern, pattern_pos + 1, new_vars);
}else if (expr[expr_pos] == '('){
let close_bracket = find_close_bracket_pos(expr, expr_pos);
let variable = pattern[pattern_pos];
let value = expr.slice(expr_pos, close_bracket + 1); /* из за этого запятые*/
new_vars = {__proto__: known_vars};
new_vars[variable] = value;
return match(expr, close_bracket + 1, pattern, pattern_pos + 1, new_vars);
}else{
return {ok : false};
}
}else if (pattern[pattern_pos].length == 2 && pattern[pattern_pos][0] == 'e'){
let end = expr_pos - 1;
let variable = pattern[pattern_pos];
let value = expr.slice (expr_pos, end + 1);
new_vars = {__proto__: known_vars};
new_vars[variable] = value;
let result = match(expr, end + 1, pattern, pattern_pos + 1, new_vars);
if (result.ok != undefined){
return result;
}else{
end += 1;
if (end == expr.len || expr[end] == ')'){
return {ok : false};
}else if (end == '('){
end = find_close_bracket_pos(expr, end);
}
}
}
}

function parserDebugging() {
eraseText();
let program_field = document.getElementById("t1");
let result_field = document.getElementById("t4");
let sentences = program_field.value.split('\\n');
console.log(sentences.length);
for (let i = 0; i < sentences.length; i++) {
result_field.value += '\nПредложение ' + i + ' :\n';
sentences[i] = tokenize_line(sentences[i]);
error_array = checkSentence(sentences[i]);
if (error_array.length == 0){
result_field.value += 'Все верно !\n'
}else{
for (elem of error_array){
result_field.value += elem + '\n';
}
}
}
}

function get_coords_of_leading_brackets(tokens){
let r_pos = 0;
let l_pos = 0;
let i = 0;
while (i < tokens.length && tokens[i] != '>'){
i++;
}
if (i == tokens.length){
return {ok: false};
}
r_pos = i;
while (tokens[i] != '<'){
i--;
}
l_pos = i;
return{ok: true, left: l_pos, right: r_pos};
}

function get_a_match_area(tokens){
let coords_of_leading_brackets = get_coords_of_leading_brackets(tokens);
if (coords_of_leading_brackets.ok == true){
return tokens.slice(coords_of_leading_brackets.left + 1, coords_of_leading_brackets.right);
}else{
return [];
}
}

function matchDebugging(){
let program_field = document.getElementById("t1");
let vision_field = document.getElementById("t3");
let result_field = document.getElementById("t4");

let sentences = program_field.value.split('\n');
let expr_sentence = vision_field.value;

expr_sentence = tokenize_line(expr_sentence);
while (get_a_match_area(expr_sentence).length != 0){
result_field.value += expr_sentence + '\n';
expr = get_a_match_area(expr_sentence);
let res_of_match = {ok : false};
let count = 0;
let sentence, pattern, constructor;
while (res_of_match.ok == false){
sentence = tokenize_line(sentences[count]);
pattern = sentence.slice(0, sentence.indexOf('=='));
constructor = sentence.slice(sentence.indexOf('==') + 1);
res_of_match = match(expr, 0, pattern, 0, {});
count++;
}
// for (elem in res_of_match){
// result_field.value += elem + res_of_match[elem] + '\n';
// }
let coords_of_leading_brackets = get_coords_of_leading_brackets(expr_sentence);
let new_expr_sentence = expr_sentence.slice(0, coords_of_leading_brackets.left);
for (elem of constructor){
if (res_of_match[elem] != undefined){
for (elem1 of res_of_match[elem]){
new_expr_sentence.push(elem1);
}
}else{
new_expr_sentence.push(elem);
}
}
new_expr_sentence.push(...expr_sentence.slice(coords_of_leading_brackets.right + 1));
expr_sentence = new_expr_sentence;
}
result_field.value += expr_sentence + '\n';
}




function main(){
let syntan_button = document.querySelector('#syntan');
let lexan_button = document.querySelector('#lexan');
let match_button = document.querySelector('#match');
syntan_button.addEventListener('click', parserDebugging);
match_button.addEventListener('click', matchDebugging);
}

main();

0 comments on commit 465371e

Please sign in to comment.