Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
if (implicitRelations.length > 0) {
implicitRelationsStr = "\n // implicit relations derived from pcs";
for (let relation of implicitRelations) {
if (relation.to!.type === ArgdownTypes.INFERENCE) {
//we can not refer directly to inferences, only to arguments (undercuts will only appear in implicit relations)
continue;
}
implicitRelationsStr += generateArgdownRelationStringFromRelation(
relation,
eqClass
);
}
}
let text = IEquivalenceClass.getCanonicalMemberText(eqClass);
if (text) {
text = ": " + text;
} else {
text = "";
}
return `
\`\`\`argdown
[${eqClass.title}]${text}${explicitRelationsStr}${implicitRelationsStr}${caveat}
\`\`\``;
};
return Object.keys(response.statements!).map((k: any) => {
const eqClass = response.statements![k];
const title = eqClass.title;
const item = CompletionItem.create(`[${title}]`);
item.textEdit = TextEdit.replace(range, `[${title}]`);
item.kind = CompletionItemKind.Variable;
item.detail = IEquivalenceClass.getCanonicalMemberText(eqClass);
return item;
});
} else if (char === "<") {