c_ptr.sa


Generated by gen_html_sa_files from ICSI. Contact gomes@icsi.berkeley.edu for details
 
---------------------------> Sather 1.1 source file <--------------------------
-- Copyright (C) International Computer Science Institute, 1995.  COPYRIGHT  --
-- NOTICE: This code is provided "AS IS" WITHOUT ANY WARRANTY and is subject --
-- to the terms of the SATHER LIBRARY GENERAL PUBLIC LICENSE contained in    --
-- the file "Doc/License" of the Sather distribution.  The license is also   --
-- available from ICSI, 1947 Center St., Suite 600, Berkeley CA 94704, USA.  --
--------> Please email comments to sather-bugs@icsi.berkeley.edu. <----------

---------------------------- C PTR types ---------------------------
-- Pointer arithmetics is missing for C pointer types. Feel free to
-- add it if it becomes necessary

immutable class C_PTR

immutable class C_PTR is include COMPARABLE; -- create(p:C_CHAR_PTR):SAME is -- builtin C_PTR_CREATE_C_CHAR_PTR; -- end; -- create(p:C_UNSIGNED_CHAR_PTR):SAME is -- builtin C_PTR_CREATE_C_UNSIGNED_CHAR_PTR; -- end; -- create(p:C_SIGNED_CHAR_PTR):SAME is -- builtin C_PTR_CREATE_C_SIGNED_CHAR_PTR; -- end; -- create(p:C_SHORT_PTR):SAME is -- builtin C_PTR_CREATE_C_SHORT_PTR; -- end; -- create(p:C_INT_PTR):SAME is -- builtin C_PTR_CREATE_C_INT_PTR; -- end; -- create(p:C_LONG_PTR):SAME is -- builtin C_PTR_CREATE_C_LONG_PTR; -- end; -- create(p:C_UNSIGNED_SHORT_PTR):SAME is -- builtin C_PTR_CREATE_C_UNSIGNED_SHORT_PTR; -- end; -- create(p:C_UNSIGNED_INT_PTR):SAME is -- builtin C_PTR_CREATE_C_UNSIGNED_INT_PTR; -- end; -- create(p:C_UNSIGNED_LONG_PTR):SAME is -- builtin C_PTR_CREATE_C_UNSIGNED_LONG_PTR; -- end; -- create(p:C_FLOAT_PTR):SAME is -- builtin C_PTR_CREATE_C_FLOAT_PTR; -- end; -- create(p:C_DOUBLE_PTR):SAME is -- builtin C_PTR_CREATE_C_DOUBLE_PTR; -- end; -- create(p:C_LONG_DOUBLE_PTR):SAME is -- builtin C_PTR_CREATE_C_LONG_DOUBLE_PTR; -- end; -- zero:SAME is builtin C_PTR_ZERO; end; is_eq(p:SAME):BOOL is builtin C_PTR_IS_EQ; end; end;