Remove edit helper for repeating the last clause head when writing recursive predicates

Author: pmoura

CHANGELOG.md

@@ -2,7 +2,8 @@
 
 ## [0.24.0]
 
-* Add syntax highlighting of the new `consistency_error/3` built-in method
+* Remove edit helper for repeating the last clause head when writing recursive predicates
+* Add syntax highlighting and snippet for the new `consistency_error/3` built-in method
 
 ## [0.23.0]
 

README.md

@@ -42,7 +42,6 @@ For details, see [Configuration](#configuration). This extension includes a walk
 
 - Indentation after new line
 - Built-in directive, method, and predicate template auto-completion
-- Auto-complete recursive parameters: When `.` (dot) occurs as first non-space character, this extension will repeat the nearest above head of clause and automatically change the parameters if possible.
 
 Note: Relations between entities use choice snippets: `orel` triggers object relation choices and `crel` for category. There is only one relation between protocols, 'extends', so `ext` will trigger the snippet.
 

src/features/editHelpers.ts

@@ -72,108 +72,4 @@ export function loadEditHelpers(subscriptions: Disposable[]) {
       ]
     })
   );
-
-  function getPreviousClauseHead(doc: TextDocument, line: number): string {
-    if (line <= 0) {
-      return "";
-    }
-    let txt = doc.lineAt(line).text;
-    let regex = new RegExp("^\\s*(.+)(:-|-->)");
-    if (regex.test(txt)) {
-      return txt.match(regex)[1];
-    }
-
-    regex = new RegExp("^\\s*(.+)\\.$");
-    if (regex.test(txt)) {
-      let i = line - 1;
-      while (/^\s*$/.test(doc.lineAt(i).text)) i--;
-      if (doc.lineAt(i).text.endsWith(".")) {
-        return txt.match(regex)[1];
-      }
-    }
-
-    return getPreviousClauseHead(doc, line - 1);
-  }
-
-  function isRecursive(doc: TextDocument, line: number) {
-    if (line <= 0) {
-      return false;
-    }
-    let i = line - 1;
-    while (/^\s*$/.test(doc.lineAt(i).text)) i--;
-    return /,$|:-$/.test(doc.lineAt(i).text) ? true : false;
-  }
-
-  function nextRecursiveParams(
-    doc: TextDocument,
-    line: number,
-    originalHead: string
-  ): string {
-    if (!/\(/.test(originalHead)) {
-      return originalHead;
-    }
-    let regex = new RegExp("([^(]+)\\((.+)\\)\\s*$");
-    let match = originalHead.match(regex);
-    let origList = match[2].split(",");
-    let newList = origList.map(param => {
-      let param1 = param.trim();
-      let match = param1.match(/^\[.+\|(.+)\]$/);
-      if (match) {
-        return match[1];
-      } else if (/^[A-Z]/.test(param1)) {
-        let i = line;
-        while (!/:-/.test(doc.lineAt(i).text)) {
-          let match = doc
-            .lineAt(i)
-            .text.match("^\\s*(\\w+)\\s+is\\s+.*\\b" + param1 + "\\b");
-          if (match) {
-            return match[1];
-          } else {
-            i--;
-          }
-        }
-        return param1;
-      } else return param1;
-    });
-    return match[1] + "(" + newList.join(", ") + ")";
-  }
-  
-  workspace.onDidChangeTextDocument(
-    e => {
-      let lastChange = e.contentChanges[0];
-      if (lastChange === undefined) {
-        return;
-      }
-      let lastChar = lastChange.text;
-      let range = lastChange.range;
-      let start = range.start;
-      let line = start.line;
-      let col = start.character;
-      let editor = window.activeTextEditor;
-      let lineTxt = e.document.lineAt(line).text;
-      if (/^\s*\.$/.test(lineTxt)) {
-        let prevHead: string = getPreviousClauseHead(e.document, line - 1);
-        if (isRecursive(e.document, line)) {
-          prevHead = nextRecursiveParams(e.document, line - 1, prevHead);
-        }
-        editor
-          .edit(edit => {
-            edit.replace(
-              new Range(start, new Position(line, col + 1)),
-              prevHead
-            );
-          })
-          .then(() => {
-            let loc = prevHead.indexOf("(");
-            loc = loc > -1 ? loc + 1 : prevHead.length - 1;
-            let end = new Position(line, col + loc);
-            editor.selection = new Selection(end, end);
-          });
-      } else {
-        return;
-      }
-    },
-    null,
-    subscriptions
-  );
 }