Index

Package: Booleans

Description

package Values.Booleans is
Copyright (c) 2012-2013 Kevin Wellwood All rights reserved. This source code is distributed under the Modified BSD License. For terms and conditions, see license.txt.

Classes

Boolean_Value

type Boolean_Value is new Value with private;

Ancestors:

Primitive operations:

Compare (overriding Values.Compare)
Get_Type (overriding Values.Get_Type)
Value_Input (overriding Values.Value_Input)
Value_Read (overriding Values.Value_Read)
Value_Write (overriding Values.Value_Write)
Values.=."=" (Inherited)
Values.Delete (Inherited)

Boolean_Ptr

type Boolean_Ptr is new Value_Ptr with private;

Ancestors:

Immediate Children:

Primitive operations:

Values.<."<" (Inherited)
Values.<=."<=" (Inherited)
Values.=."=" (Inherited)
Values.>.">" (Inherited)
Values.>=.">=" (Inherited)
Values.Adjust (Inherited)
Values.Clone (Inherited)
Values.Finalize (Inherited)
Values.Get (Inherited)
Values.Set (Inherited)
Values.To_Ptr (Inherited)
Values.Value_Ptr (Inherited)
Values.Value_Ptr_Input (Inherited)
Values.Value_Ptr_Output (Inherited)
Values.Value_Ptr_Read (Inherited)
Values.Value_Ptr_Write (Inherited)

Constants & Global variables

Subprograms & Entries

Create

function Create
( val: Boolean ) return Boolean_Ptr;

Clone

function Clone
( this: access Boolean_Value ) return Value_Ptr'Class;

Compare

function Compare
( this: Boolean_Value;
other: Value'Class ) return Integer;

Get_Type

function Get_Type
( this: Boolean_Value ) return Value_Type;

Image

function Image
( this: Boolean_Value ) return String;

To_Boolean

function To_Boolean
( this: Boolean_Value ) return Boolean;
Access the internal value

"not"

function "not"
( l: Boolean_Value ) return Boolean_Ptr'Class;
Unary logical operators

"and"

function "and"
( l, r: Boolean_Value ) return Boolean_Ptr'Class;
Binary logical operators

"or"

function  "or"
( l, r: Boolean_Value ) return Boolean_Ptr'Class;

"xor"

function "xor"
( l, r: Boolean_Value ) return Boolean_Ptr'Class;

As_Boolean

function As_Boolean
( ptr: Value_Ptr'Class ) return Boolean_Ptr;
Casts a Value_Ptr down to a Boolean_Ptr. Returns Nul on failure.

As_Value

function As_Value
( this: Boolean_Ptr ) return Value_Ptr;
Casts a Boolean_Ptr up to a Value_Ptr.

Get

function Get
( this: Boolean_Ptr ) return access Boolean_Value'Class;
Returns an access to the Boolean_Ptr, or null if no target.

"not"

function "not"
( l: Boolean_Ptr ) return Boolean_Ptr;
The following logical operators are equivalent to "[op] l.Get" 'l' must have a target or the behavior is undefined.

"and"

function "and"
( l, r: Boolean_Ptr ) return Boolean_Ptr;
The following logical operators are equivalent to "l.Get [op] r.Get" Both 'l' and 'r' must have targets or the behavior is undefined.

"or"

function  "or"
( l, r: Boolean_Ptr ) return Boolean_Ptr;

"xor"

function "xor"
( l, r: Boolean_Ptr ) return Boolean_Ptr;

"="

function "="
( l: Boolean_Ptr;
r: Boolean ) return Boolean;
The following operators are useful for mixing Boolean_Ptrs with the primitive boolean type. Equivalent to: "l [op] Create( r )"

"and"

function "and"
( l: Boolean_Ptr;
r: Boolean ) return Boolean_Ptr;

"or"

function  "or"
( l: Boolean_Ptr;
r: Boolean ) return Boolean_Ptr;

"xor"

function "xor"
( l: Boolean_Ptr;
r: Boolean ) return Boolean_Ptr;

"="

function "="
( l: Boolean;
r: Boolean_Ptr ) return Boolean;

"and"

function "and"
( l: Boolean;
r: Boolean_Ptr ) return Boolean_Ptr;

"or"

function  "or"
( l: Boolean;
r: Boolean_Ptr ) return Boolean_Ptr;

"xor"

function "xor"
( l: Boolean;
r: Boolean_Ptr ) return Boolean_Ptr;