Lichen

lib/native/list.py

932:c07b0dd14f85
11 months ago Paul Boddie Moved integer instantiation support to library functions.
     1 #!/usr/bin/env python     2      3 """     4 Native library functions for lists.     5      6 None of these are actually defined here. Instead, native implementations are     7 substituted when each program is built. It is, however, important to declare     8 non-core exceptions used by the native functions because they need to be     9 identified as being needed by the program.    10     11 Copyright (C) 2011, 2015, 2016, 2017 Paul Boddie <paul@boddie.org.uk>    12     13 This program is free software; you can redistribute it and/or modify it under    14 the terms of the GNU General Public License as published by the Free Software    15 Foundation; either version 3 of the License, or (at your option) any later    16 version.    17     18 This program is distributed in the hope that it will be useful, but WITHOUT    19 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS    20 FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more    21 details.    22     23 You should have received a copy of the GNU General Public License along with    24 this program.  If not, see <http://www.gnu.org/licenses/>.    25 """    26     27 # NOTE: Example values used to provide type information.    28     29 def list_init(size): pass    30 def list_setsize(self, size): pass    31 def list_append(self, value): pass    32 def list_concat(self, other): pass    33 def list_len(self): return 0    34 def list_nonempty(self): return True or False    35 def list_element(self, index): pass    36 def list_setelement(self, index, value): pass    37     38 # vim: tabstop=4 expandtab shiftwidth=4