def styleOptions(self): options = StyleOptions(self) if isinstance(self.var, IndexedVar): options.add('multi_indexed_var', ("'flat' or 'nested' to show multipe " "indices or the true nested structure")) return options
def style_options(self): options = StyleOptions(self) options.add_option(name='fence', description=("Do we need to wrap in paranthesis: " "'when forced' or 'never'?"), default='never', related_methods=()) return options
def style_options(self): ''' Return the StyleOptions object for this ExprArray. ''' options = StyleOptions(self) options.add_option( name='justification', description=("justify to the 'left', 'center', or 'right' " "in the array cells"), default='center', related_methods='with_justification') return options
def styleOptions(self): ''' Return a StyleOptions object that indicates the possible styles and values that is available to determine how this Expression may be presented. ''' return StyleOptions(self) # the default is empty
def styleOptions(self): options = StyleOptions(self) options.addOption('operation', ("'infix' or 'function' style formatting")) options.addOption( 'wrapPositions', ("position(s) at which wrapping is to occur; '2 n - 1' " "is after the nth operand, '2 n' is after the nth " "operation.")) options.addOption( 'justification', ("if any wrap positions are set, justify to the 'left', " "'center', or 'right'")) return options
def styleOptions(self): options = StyleOptions(self) options.addOption('wrapPositions', ("position(s) at which wrapping is to occur; 'n' " "is after the nth comma.")) options.addOption( 'justification', ("if any wrap positions are set, justify to the 'left', " "'center', or 'right'")) return options
def styleOptions(self): options = StyleOptions(self) options.addOption( 'wrapPositions', "position(s) at which wrapping is to occur; '2 n - 1' is after the nth operand, '2 n' is after the nth operation." ) options.addOption( 'justification', "if any wrap positions are set, justify to the 'left', 'center', or 'right'" ) return options
def style_options(self): ''' Return the StyleOptions object for the Operation. ''' from proveit._core_.expression.composite.expr_tuple import ExprTuple trivial_op = False if (isinstance(self.operands, ExprTuple) and len(self.operands.entries) > 0 and not self.operands.is_single()): # 'infix' is only a sensible option when there are # multiple operands as an ExprTuple. default_op_style = 'infix' else: # With no operands or 1 operand, infix is not an option. trivial_op = True default_op_style = 'function' options = StyleOptions(self) options.add_option( name='operation', description="'infix' or 'function' style formatting", default=default_op_style, related_methods=()) if not trivial_op: # Wrapping is only relevant if there is more than one # operand. options.add_option( name='wrap_positions', description=("position(s) at which wrapping is to occur; " "'2 n - 1' is after the nth operand, '2 n' is " "after the nth operation."), default='()', related_methods=('with_wrapping_at', 'with_wrap_before_operator', 'with_wrap_after_operator', 'wrap_positions')) options.add_option( name='justification', description=( "if any wrap positions are set, justify to the 'left', " "'center', or 'right'"), default='center', related_methods=('with_justification', )) return options
def style_options(self): ''' Return the StyleOptions object for the Operation. ''' from proveit._core_.expression.composite.expr_tuple import ExprTuple trivial_op = not (isinstance(self.operands, ExprTuple) and len(self.operands.entries) > 0 and not self.operands.is_single()) options = StyleOptions(self) # Note: when there are no operands or 1 operand, 'infix' # is like the 'function' style except the operator is # wrapped in square braces. options.add_option( name='operation', description="'infix' or 'function' style formatting", default='infix', related_methods=()) if not trivial_op: # Wrapping is only relevant if there is more than one # operand. options.add_option( name='wrap_positions', description=("position(s) at which wrapping is to occur; " "'2 n - 1' is after the nth operand, '2 n' is " "after the nth operation."), default='()', related_methods=('with_wrapping_at', 'with_wrap_before_operator', 'with_wrap_after_operator', 'without_wrapping', 'wrap_positions')) options.add_option( name='justification', description=( "if any wrap positions are set, justify to the 'left', " "'center', or 'right'"), default='center', related_methods=('with_justification', )) return options
def style_options(self): options = StyleOptions(self) if len(self.entries) > 1: options.add_option( name='wrap_positions', description=("position(s) at which wrapping is to occur; " "'n' is after the nth comma."), default='()', related_methods=('with_wrapping_at', )) options.add_option( name='justification', description=("if any wrap positions are set, justify to the " "'left', 'center', or 'right'"), default='left', related_methods=('with_justification', )) return options