package Values.Booleans is
type Boolean_Value is new Value with private;
type Boolean_Ptr is new Value_Ptr with private;
Nul : constant Boolean_Ptr;
function Create
( | val | : Boolean ) return Boolean_Ptr; |
function Clone
( | this | : access Boolean_Value ) return Value_Ptr'Class; |
function Compare
( | this | : Boolean_Value; |
other | : Value'Class ) return Integer; |
function Get_Type
( | this | : Boolean_Value ) return Value_Type; |
function Image
( | this | : Boolean_Value ) return String; |
function "or"
( | l, r | : Boolean_Value ) return Boolean_Ptr'Class; |
function "xor"
( | l, r | : Boolean_Value ) return Boolean_Ptr'Class; |
function As_Boolean
( | ptr | : Value_Ptr'Class ) return Boolean_Ptr; |
function As_Value
( | this | : Boolean_Ptr ) return Value_Ptr; |
function Get
( | this | : Boolean_Ptr ) return access Boolean_Value'Class; |
function "not"
( | l | : Boolean_Ptr ) return Boolean_Ptr; |
function "and"
( | l, r | : Boolean_Ptr ) return Boolean_Ptr; |
function "or"
( | l, r | : Boolean_Ptr ) return Boolean_Ptr; |
function "xor"
( | l, r | : Boolean_Ptr ) return Boolean_Ptr; |
function "="
( | l | : Boolean_Ptr; |
r | : Boolean ) return Boolean; |
function "and"
( | l | : Boolean_Ptr; |
r | : Boolean ) return Boolean_Ptr; |
function "or"
( | l | : Boolean_Ptr; |
r | : Boolean ) return Boolean_Ptr; |
function "xor"
( | l | : Boolean_Ptr; |
r | : Boolean ) return Boolean_Ptr; |
function "="
( | l | : Boolean; |
r | : Boolean_Ptr ) return Boolean; |
function "and"
( | l | : Boolean; |
r | : Boolean_Ptr ) return Boolean_Ptr; |
function "or"
( | l | : Boolean; |
r | : Boolean_Ptr ) return Boolean_Ptr; |
function "xor"
( | l | : Boolean; |
r | : Boolean_Ptr ) return Boolean_Ptr; |