Loading...

Searching...

No Matches

Public Member Functions | Public Attributes | Static Public Attributes | List of all members

format_specifiert Class Reference

Field names follow the OpenJDK implementation: http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/9b8c96f96a0f/src/share/classes/java/util/Formatter.java#l2569. More...

#include <format_specifier.h>

+ Collaboration diagram for format_specifiert:

[フレーム]

[legend]

Public Member Functions

format_specifiert (int _index, std::string _flag, int _width, int _precision, bool _dt, char conversion)

Public Attributes

int index = -1

std::string flag

int width

int precision

bool dt = false

char conversion

Static Public Attributes

static const char DECIMAL_INTEGER = 'd'

static const char OCTAL_INTEGER = 'o'

static const char HEXADECIMAL_INTEGER = 'x'

static const char HEXADECIMAL_INTEGER_UPPER = 'X'

static const char SCIENTIFIC = 'e'

static const char SCIENTIFIC_UPPER = 'E'

static const char GENERAL = 'g'

static const char GENERAL_UPPER = 'G'

static const char DECIMAL_FLOAT = 'f'

static const char HEXADECIMAL_FLOAT = 'a'

static const char HEXADECIMAL_FLOAT_UPPER = 'A'

static const char CHARACTER = 'c'

static const char CHARACTER_UPPER = 'C'

static const char DATE_TIME = 't'

static const char DATE_TIME_UPPER = 'T'

static const char BOOLEAN = 'b'

static const char BOOLEAN_UPPER = 'B'

static const char STRING = 's'

static const char STRING_UPPER = 'S'

static const char HASHCODE = 'h'

static const char HASHCODE_UPPER = 'H'

static const char LINE_SEPARATOR = 'n'

static const char PERCENT_SIGN = '%'

Detailed Description

Field names follow the OpenJDK implementation: http://hg.openjdk.java.net/jdk7/jdk7/jdk/file/9b8c96f96a0f/src/share/classes/java/util/Formatter.java#l2569.

Definition at line 22 of file format_specifier.h.

Constructor & Destructor Documentation

◆ format_specifiert()

format_specifiert::format_specifiert ( int _index,

std::string _flag,

int _width,

int _precision,

bool _dt,

char conversion

)

inline

Definition at line 58 of file format_specifier.h.

Member Data Documentation

◆ BOOLEAN

const char format_specifiert::BOOLEAN = 'b'

static

Definition at line 41 of file format_specifier.h.

◆ BOOLEAN_UPPER

const char format_specifiert::BOOLEAN_UPPER = 'B'

static

Definition at line 42 of file format_specifier.h.

◆ CHARACTER

const char format_specifiert::CHARACTER = 'c'

static

Definition at line 37 of file format_specifier.h.

◆ CHARACTER_UPPER

const char format_specifiert::CHARACTER_UPPER = 'C'

static

Definition at line 38 of file format_specifier.h.

◆ conversion

char format_specifiert::conversion

Definition at line 56 of file format_specifier.h.

◆ DATE_TIME

const char format_specifiert::DATE_TIME = 't'

static

Definition at line 39 of file format_specifier.h.

◆ DATE_TIME_UPPER

const char format_specifiert::DATE_TIME_UPPER = 'T'

static

Definition at line 40 of file format_specifier.h.

◆ DECIMAL_FLOAT

const char format_specifiert::DECIMAL_FLOAT = 'f'

static

Definition at line 34 of file format_specifier.h.

◆ DECIMAL_INTEGER

const char format_specifiert::DECIMAL_INTEGER = 'd'

static

Definition at line 26 of file format_specifier.h.

◆ dt

bool format_specifiert::dt = false

Definition at line 55 of file format_specifier.h.

◆ flag

std::string format_specifiert::flag

Definition at line 51 of file format_specifier.h.

◆ GENERAL

const char format_specifiert::GENERAL = 'g'

static

Definition at line 32 of file format_specifier.h.

◆ GENERAL_UPPER

const char format_specifiert::GENERAL_UPPER = 'G'

static

Definition at line 33 of file format_specifier.h.

◆ HASHCODE

const char format_specifiert::HASHCODE = 'h'

static

Definition at line 45 of file format_specifier.h.

◆ HASHCODE_UPPER

const char format_specifiert::HASHCODE_UPPER = 'H'

static

Definition at line 46 of file format_specifier.h.

◆ HEXADECIMAL_FLOAT

const char format_specifiert::HEXADECIMAL_FLOAT = 'a'

static

Definition at line 35 of file format_specifier.h.

◆ HEXADECIMAL_FLOAT_UPPER

const char format_specifiert::HEXADECIMAL_FLOAT_UPPER = 'A'

static

Definition at line 36 of file format_specifier.h.

◆ HEXADECIMAL_INTEGER

const char format_specifiert::HEXADECIMAL_INTEGER = 'x'

static

Definition at line 28 of file format_specifier.h.

◆ HEXADECIMAL_INTEGER_UPPER

const char format_specifiert::HEXADECIMAL_INTEGER_UPPER = 'X'

static

Definition at line 29 of file format_specifier.h.

◆ index

int format_specifiert::index = -1

Definition at line 50 of file format_specifier.h.

◆ LINE_SEPARATOR

const char format_specifiert::LINE_SEPARATOR = 'n'

static

Definition at line 47 of file format_specifier.h.

◆ OCTAL_INTEGER

const char format_specifiert::OCTAL_INTEGER = 'o'

static

Definition at line 27 of file format_specifier.h.

◆ PERCENT_SIGN

const char format_specifiert::PERCENT_SIGN = '%'

static

Definition at line 48 of file format_specifier.h.

◆ precision

int format_specifiert::precision

Definition at line 53 of file format_specifier.h.

◆ SCIENTIFIC

const char format_specifiert::SCIENTIFIC = 'e'

static

Definition at line 30 of file format_specifier.h.

◆ SCIENTIFIC_UPPER

const char format_specifiert::SCIENTIFIC_UPPER = 'E'

static

Definition at line 31 of file format_specifier.h.

◆ STRING

const char format_specifiert::STRING = 's'

static

Definition at line 43 of file format_specifier.h.

◆ STRING_UPPER

const char format_specifiert::STRING_UPPER = 'S'

static

Definition at line 44 of file format_specifier.h.

◆ width

int format_specifiert::width

Definition at line 52 of file format_specifier.h.

The documentation for this class was generated from the following file:

/home/runner/work/cbmc/cbmc/src/solvers/strings/format_specifier.h