sphinx.py 文件源码

def visitHole(self, ctx:TacticNotationsParser.HoleContext):
        hole = ctx.ID().getText()
        token_name = hole[1:]
        node = nodes.inline(hole, token_name, classes=["hole"])
        return [addnodes.pending_xref(token_name, node, reftype='token', refdomain='std', reftarget=token_name)]