cekfs.yaml

#
# CEKF - VM supporting amb
# Copyright (C) 2022-2024  Bill Hails
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program 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 General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <https://www.gnu.org/licenses/>.
#

config:
    name: cekfs
    description: The structures of the CEKFs machine
    parserInfo: false
    limited_includes:
        - builtins.h
        - builtins_debug.h
        - types.h
        - opaque.h


structs:
    CEKF:
        C: control
        E: Env
        K: Kont
        F: Fail
        S: Stack
        B: ByteCodeArray

    Env:
        S: Frame
        E: Env

    Kont:
        C: control
        E: Env
        S: Stack
        K: Kont

    Clo:
        pending: int
        C: control
        E: Env

    Fail:
        C: control
        E: Env
        K: Kont
        S: Stack
        F: Fail

inline:
    unions:
        Value:
            none: void_ptr
            stdint: int
            bigint: BigInt
            rational: Vec
            rational_imag: Vec
            irrational: double
            stdint_imag: int
            bigint_imag: BigInt
            rational_imag: Vec
            irrational_imag: double
            complex: Vec
            character: character
            clo: Clo
            pclo: Clo
            kont: Kont
            vec: Vec
            builtIn: BuiltInImplementation
            namespace: Vec
            opaque: opaque

    arrays:
        ByteCodeArray:
            entries: byte

arrays:
    CharacterArray:
        entries: character

    ByteArray:
        entries: byte

    Frame:
        entries: Value

vectors:
    Vec:
        entries: Value

stacks:
    Stack:
        entries: Value

enums:
    ByteCodes:
    - NONE
    - LAM
    - VAR
    - LVAR
    - PRIM_ADD
    - PRIM_SUB
    - PRIM_MUL
    - PRIM_DIV
    - PRIM_POW
    - PRIM_MOD
    - PRIM_EQ
    - PRIM_NE
    - PRIM_GT
    - PRIM_LT
    - PRIM_GE
    - PRIM_LE
    - PRIM_MAKEVEC
    - PRIM_VEC
    - MATCH
    - APPLY
    - IF
    - CHARCOND
    - INTCOND
    - LETREC
    - AMB
    - CUT
    - BACK
    - LET
    - CALLCC
    - STDINT
    - BIGINT
    - IRRATIONAL
    - CHAR
    - RETURN
    - JMP
    - PUSHN
    - DONE
    - ERROR
    - PRIM_CMP
    - STDINT_IMAG
    - BIGINT_IMAG
    - IRRATIONAL_IMAG
    - NS_START
    - NS_END
    - NS_FINISH
    - NS_PUSHSTACK
    - NS_PUSHENV
    - NS_POP

primitives: !include primitives.yaml

external:
    BuiltInImplementation:
        cname: "struct BuiltInImplementation *"
        printFn: printBuiltInImplementation
        markFn: markBuiltInImplementation
        valued: true