Lichen

Annotated templates/native/identity.c

911:5c96e5ca1036
2020-08-03 Paul Boddie Changed diagram font to sans-serif.
paul@354 1
/* Native functions for identity operations.
paul@354 2
paul@758 3
Copyright (C) 2016, 2017 Paul Boddie <paul@boddie.org.uk>
paul@354 4
paul@354 5
This program is free software; you can redistribute it and/or modify it under
paul@354 6
the terms of the GNU General Public License as published by the Free Software
paul@354 7
Foundation; either version 3 of the License, or (at your option) any later
paul@354 8
version.
paul@354 9
paul@354 10
This program is distributed in the hope that it will be useful, but WITHOUT
paul@354 11
ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
paul@354 12
FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
paul@354 13
details.
paul@354 14
paul@354 15
You should have received a copy of the GNU General Public License along with
paul@354 16
this program.  If not, see <http://www.gnu.org/licenses/>.
paul@354 17
*/
paul@354 18
paul@354 19
#include "types.h"
paul@354 20
#include "exceptions.h"
paul@354 21
#include "ops.h"
paul@354 22
#include "progconsts.h"
paul@354 23
#include "progops.h"
paul@354 24
#include "progtypes.h"
paul@354 25
#include "main.h"
paul@354 26
paul@354 27
/* Identity testing. */
paul@354 28
paul@664 29
__attr __fn_native_identity_is_(__attr __self, __attr x, __attr y)
paul@354 30
{
paul@758 31
    /* NOTE: value member assumed equivalent to intvalue for comparison. */
paul@758 32
paul@664 33
    return x.value == y.value ? __builtins___boolean_True : __builtins___boolean_False;
paul@354 34
}
paul@354 35
paul@664 36
__attr __fn_native_identity_is_not(__attr __self, __attr x, __attr y)
paul@354 37
{
paul@758 38
    /* NOTE: value member assumed equivalent to intvalue for comparison. */
paul@758 39
paul@664 40
    return x.value != y.value ? __builtins___boolean_True : __builtins___boolean_False;
paul@354 41
}
paul@354 42
paul@354 43
/* Module initialisation. */
paul@354 44
paul@354 45
void __main_native_identity()
paul@354 46
{
paul@354 47
}