コード例 #1
0
ファイル: formula.py プロジェクト: koreiklein/fantasia 
 def render(self, context):
     return primitives.newTextStack(colors.genericColor, repr(self))
コード例 #2
0
ファイル: endofunctor.py プロジェクト: koreiklein/fantasia 
 def render(self, context):
   return primitives.newTextStack(colors.variableColor, repr(self))
コード例 #3
0
ファイル: endofunctor.py プロジェクト: koreiklein/fantasia 
def renderBoundedVariableBinding(variable, domain):
  middleStack = primitives.newTextStack(colors.variableColor, ":")
  return variable.render().stack(0, middleStack,
      spacing = distances.variable_binding_spacing).stackCentered(0, domain.render(),
          spacing = distances.variable_binding_spacing)
コード例 #4
0
ファイル: variable.py プロジェクト: koreiklein/fantasia 
def renderStringSymbol(s):
  return primitives.newTextStack(colors.symbolColor, repr(s))