Python sub Beispiele

Beispiel #1

Datei: html.py Projekt: 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())

Beispiel #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())

Beispiel #3

Datei: html.py Projekt: 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:])

Beispiel #4

Datei: html.py Projekt: 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:])