Boolean_Type

class Boolean_Type (concrete, logical)

Class for bool in C++, _Bool in C99 or boolean in Java. In C this is a pseudo type used in expressions that check Operations for 0 and create Operations in {0, 1}, i.e., if (...), ... && ... etc.

Direct parents:
Ancestor classes and implemented interfaces:

Basic_Type, Declarative_Node, Logical_IR_Root, Member, Named_Entity, Named_Type, Symbol, Type

Field

Kind

Type

Description

Size (from Type)

attribute

builtin Natural

Alignment_Log (from Type)

attribute

builtin Byte

log2 of the type’s alignment

Alignment (from Type)

attribute

builtin Natural

Alignment of the type (must be a power of 2)

Size_In_Bits (from Type)

attribute

builtin UInt64

Size of the type, in bits.

Parent (from Logical_IR_Root)

semantic

class Logical_IR_Root

Physical (from Logical_IR_Root)

semantic to physical

class Physical_IR_Root

Visibility (from Member)

attribute

enum Visibility_Type

Name (from Named_Entity)

attribute

builtin String