@Override public boolean visit(Symbol node) { if (node.isType(Literal.symbolType)) { node.setContent(literalDelimiter + node.getContent() + literalDelimiter); } return true; }
@Override public boolean visit(Symbol node) { if (node.isType(Literal.symbolType)) { node.setContent(literalDelimiter + node.getContent() + literalDelimiter); } return true; }
public void wikiWordRenameMovedPageIfReferenced(Symbol wikiWord, WikiPage pageToBeMoved, String newParentName) { WikiPagePath pathOfPageToBeMoved = pageToBeMoved.getPageCrawler().getFullPath(); pathOfPageToBeMoved.makeAbsolute(); String qualifiedNameOfPageToBeMoved = PathParser.render(pathOfPageToBeMoved); String reference = getQualifiedWikiWord(wikiWord.getContent()); if (refersTo(reference, qualifiedNameOfPageToBeMoved)) { String referenceTail = reference.substring(qualifiedNameOfPageToBeMoved.length()); String childPortionOfReference = pageToBeMoved.getName(); if (!referenceTail.isEmpty()) childPortionOfReference += referenceTail; String newQualifiedName; if ("".equals(newParentName)) newQualifiedName = "." + childPortionOfReference; else newQualifiedName = "." + newParentName + "." + childPortionOfReference; wikiWord.setContent(newQualifiedName); } }
public void wikiWordRenameMovedPageIfReferenced(Symbol wikiWord, WikiPage pageToBeMoved, String newParentName) { WikiPagePath pathOfPageToBeMoved = pageToBeMoved.getPageCrawler().getFullPath(); pathOfPageToBeMoved.makeAbsolute(); String qualifiedNameOfPageToBeMoved = PathParser.render(pathOfPageToBeMoved); String reference = getQualifiedWikiWord(wikiWord.getContent()); if (refersTo(reference, qualifiedNameOfPageToBeMoved)) { String referenceTail = reference.substring(qualifiedNameOfPageToBeMoved.length()); String childPortionOfReference = pageToBeMoved.getName(); if (!referenceTail.isEmpty()) childPortionOfReference += referenceTail; String newQualifiedName; if ("".equals(newParentName)) newQualifiedName = "." + childPortionOfReference; else newQualifiedName = "." + newParentName + "." + childPortionOfReference; wikiWord.setContent(newQualifiedName); } }
public void wikiWordRenamePageIfReferenced(Symbol wikiWord, WikiPage pageToRename, String newName) { String fullPathToReferent = getQualifiedWikiWord(wikiWord.getContent()); WikiPagePath pathToPageBeingRenamed = pageToRename.getPageCrawler().getFullPath(); pathToPageBeingRenamed.makeAbsolute(); String absolutePathToPageBeingRenamed = PathParser.render(pathToPageBeingRenamed); if (refersTo(fullPathToReferent, absolutePathToPageBeingRenamed)) { int oldNameLength = absolutePathToPageBeingRenamed.length(); String renamedPath = "." + rename(absolutePathToPageBeingRenamed.substring(1), newName); String pathAfterRenamedPage = fullPathToReferent.substring(oldNameLength); String fullRenamedPathToReferent = renamedPath + pathAfterRenamedPage; String renamedReference = makeRenamedRelativeReference(wikiWord.getContent(), PathParser.parse(fullRenamedPathToReferent)); wikiWord.setContent(renamedReference); } }
public void wikiWordRenamePageIfReferenced(Symbol wikiWord, WikiPage pageToRename, String newName) { String fullPathToReferent = getQualifiedWikiWord(wikiWord.getContent()); WikiPagePath pathToPageBeingRenamed = pageToRename.getPageCrawler().getFullPath(); pathToPageBeingRenamed.makeAbsolute(); String absolutePathToPageBeingRenamed = PathParser.render(pathToPageBeingRenamed); if (refersTo(fullPathToReferent, absolutePathToPageBeingRenamed)) { int oldNameLength = absolutePathToPageBeingRenamed.length(); String renamedPath = "." + rename(absolutePathToPageBeingRenamed.substring(1), newName); String pathAfterRenamedPage = fullPathToReferent.substring(oldNameLength); String fullRenamedPathToReferent = renamedPath + pathAfterRenamedPage; String renamedReference = makeRenamedRelativeReference(wikiWord.getContent(), PathParser.parse(fullRenamedPathToReferent)); wikiWord.setContent(renamedReference); } }