+
Point of view
All features
deferred class ENUM
Summary
top
A wrapper for an enumeration
copyright
Copyright (C) 2008-2022: Paolo Redaelli This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details. You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
Direct parents
Insert list: ANY
Known children
Insert list: FFI_ABI_ENUM, FFI_STATUS_ENUM, IDTYPE_T_ENUM, LIB_VERSION_TYPE_ENUM, PID_TYPE_ENUM, PRIORITY_WHICH_ENUM, REG_ERRCODE_T_ENUM, RLIMIT_RESOURCE_ENUM, RUSAGE_WHO_ENUM, SOCKET_TYPE_ENUM, TCP_CA_STATE_ENUM, UNDO_CODE_ENUM
Class invariant
top
Overview
top
Features
{ANY}
{WRAPPER_HANDLER}
is_valid_state: BOOLEAN
effective function
{ANY}
top
Is the value of the enumeration valid?
value: INTEGER_32
writable attribute
{WRAPPER_HANDLER}
top
The current value of the enumeration.
set (a_value: INTEGER_32)
effective procedure
{WRAPPER_HANDLER}
top
require
change_value (a_value: INTEGER_32)
effective procedure
{WRAPPER_HANDLER}
top
require
is_valid_value (a_value: INTEGER_32): BOOLEAN
deferred function
{WRAPPER_HANDLER}
top
Can a_value be used in a set_value feature call?