CBMC
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:

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: