Ejemplos de sub en Python

Ejemplo n.º 1

Archivo: html.py Proyecto: cpitclaudel/coq-rst

 def visitRepeat(self, ctx:TacticNotationsParser.RepeatContext):
     with tags.span(_class="repeat-wrapper"):
         with tags.span(_class="repeat"):
             self.visitChildren(ctx)
         repeat_marker = ctx.LGROUP().getText()[1]
         separator = ctx.ATOM()
         tags.sup(repeat_marker)
         if separator:
             tags.sub(separator.getText())

Ejemplo n.º 2

 def visitRepeat(self, ctx: TacticNotationsParser.RepeatContext):
     with tags.span(_class="repeat-wrapper"):
         with tags.span(_class="repeat"):
             self.visitChildren(ctx)
         repeat_marker = ctx.LGROUP().getText()[1]
         separator = ctx.ATOM()
         tags.sup(repeat_marker)
         if separator:
             tags.sub(separator.getText())

Ejemplo n.º 3

Archivo: html.py Proyecto: rnrand/coq

 def visitHole(self, ctx:TacticNotationsParser.HoleContext):
     tags.span(ctx.ID().getText()[1:], _class="hole")
     sub = ctx.SUB()
     if sub:
         tags.sub(sub.getText()[1:])

Ejemplo n.º 4

Archivo: html.py Proyecto: Janno/coq

 def visitHole(self, ctx:TacticNotationsParser.HoleContext):
     tags.span(ctx.ID().getText()[1:], _class="hole")
     sub = ctx.SUB()
     if sub:
         tags.sub(sub.getText()[1:])