tessla-compiler
API
Generated with
tessla-compiler/de.uni_luebeck.isp.tessla.tessla_compiler/de.uni_luebeck.isp.tessla.tessla_compiler.backends/de.uni_luebeck.isp.tessla.tessla_compiler.backends.rustBackend/de.uni_luebeck.isp.tessla.tessla_compiler.backends.rustBackend.preprocessing/FormatStringSpecification

FormatStringSpecification

de.uni_luebeck.isp.tessla.tessla_compiler.backends.rustBackend.preprocessing.FormatStringSpecification
class FormatStringSpecification()

Specifies a format string.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Type members

Classlikes

object EscapableCharacter extends Enumeration

Specifies escapable characters. Currently '%%' will be escaped to '%' and '%n' to a platform-specific newlinew character.

Specifies escapable characters. Currently '%%' will be escaped to '%' and '%n' to a platform-specific newlinew character.

Attributes

Supertypes
class Enumeration
trait Serializable
class Object
trait Matchable
class Any
Self type

Value members

Concrete methods

def isFloat: Boolean

Determines whether this format specifier specifies a floating point format.

Determines whether this format specifier specifies a floating point format.

Attributes

def isInteger: Boolean

Determines whether this format specifier specifies an integer format.

Determines whether this format specifier specifies an integer format.

Attributes

def isOther: Boolean

Determines whether this format specifies neither an integer nor a floating point format.

Determines whether this format specifies neither an integer nor a floating point format.

Attributes

Concrete fields

var altForm: Boolean

Precede integer with 0 for o, 0x for x and 0X for X.

Precede integer with 0 for o, 0x for x and 0X for X.

Attributes

var encloseNegatives: Boolean

Enclose negative numbers with parenthesis.

Enclose negative numbers with parenthesis.

Attributes

var formatType: Char

The format specifier.

The format specifier.

Attributes

var leftJustify: Boolean

Left justify withing the given field of width FmtWidth.

Left justify withing the given field of width FmtWidth.

Attributes

var localeSeparators: Boolean

Use a locale-specific grouping separator.

Use a locale-specific grouping separator.

Attributes

var padSign: Boolean

If no sign is written, write a space (0x20) instead.

If no sign is written, write a space (0x20) instead.

Attributes

var plusSign: Boolean

Precede the output with a '+', unless the value is negative.

Precede the output with a '+', unless the value is negative.

Attributes

var precision: Int

The maximum numbers of characters written for floating points. Not applicable to o, d, x and X types.

The maximum numbers of characters written for floating points. Not applicable to o, d, x and X types.

Attributes

var prefix: String

Prefix string before the format specifier.

Prefix string before the format specifier.

Attributes

var suffix: String

Suffix string after the format specifier.

Suffix string after the format specifier.

Attributes

var uppercase: Boolean

Indicates whether the output should be in upper case.

Indicates whether the output should be in upper case.

Attributes

var width: Int

A non-negative decimal integer specifying the minimal number of characters written to the output.

A non-negative decimal integer specifying the minimal number of characters written to the output.

Attributes

var zeroPad: Boolean

Left-pad the number with 0 if a padding is specified.

Left-pad the number with 0 if a padding is specified.

Attributes

Generated with