#
# Currently this is just a dummy/placeholder file.
#
# Copyright © 2025 Samuel Lidén Borell <samuel@kodafritt.se>
#
# SPDX-License-Identifier: EUPL-1.2+ OR LGPL-2.1-or-later
#


# Problems:
#
# - Want to be able to have functions in the main file also,
#   so it has to be a class.
# - Should it be possible to pass around the Main object?
# - Should it be possible to support event-driven flows?
#   e.g. for GUI programs, or for phone apps (that can be stopped/
#   started by decisions by the OS), or for services (also start/stop),
#   or for socket-activated stuff (could allow multiple activations
#   per instance/process), or FastCGI, etc...
#
# Should the main file be:
#    1. a special case
#    2. an external extension of an abstract class
#    3. a standard class that has a `main` method that takes some
#       parameter with the main class?
#    4. a standard class that has a `start` method that takes the
#       main class (and e.g. stores it in an instance variable),
#       plus "event" methods? or the possibility to register events?

func testfunc
    String s
    SomeType st
returns
    bool res
code
    int x = 4321
    unsigned y = 1111
    wrapping z = 2222
    int w
    long l
    unsigned long vul!
    signed byte sgb
    aliased SomeType st_aliased
    return true and false
    return true or false
    return (true and false) or true
    return 123 == 999 or 123 == 123
    return not (true or (not false))
    f x (g y z) w
    # This is not allowed, since it would be ambiguous
    #g x - y
    # It should be written with parentheses
    signed m = -123
    g x (-m)
    g (x - y) y
    int use_return = g x (-m)
    while false
        while false
            # Not allowed, since it would shadow another variable
            #int x = 123
            break
        end
        break
    loopempty
        return false
    loopend
        return false
    end
    for Thing t in 123  # FIXME should be an array, iterator or iterable
        return 123 == 456
    end
    Thing t1
    bool b = get_bool
    assert false == false
    assert (1==2) == (3==4)
    assert (1==2) <> (3==3)
    assert (-1<>1) == true
    if false
        return true
    elif not (b == true)
        return false
    else
        return true
    end
    signed long lowest_int = -0x8000_0000_0000_0000
    unsigned long max_uint = 18446744073709551615
    String empty1 = ""
    String s1 = "test"
    String empty2 = ""
    String escapetest = "test\\ escapes «f?"
    String longstring = "loooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooong"
    assert 0xffff_ffff_ffff_fffe + 1 > 0
    assert 65536*65536*65536*65535 > 0
    assert 8 / 2 == 4
    assert -3 * 5 == -15
    assert 7 / (0 - 3 - -2) == -7
    byte byte1 = 0
    byte byte2 = 255
    int int1 = 0
    int int2 = 2147483647
    signed sint1 = -2147483648
    signed sint2 = 2147483647
    unsigned uint1 = 0
    unsigned uint2 = 4294967295
    wrapping wint1 = 0
    wrapping wint2 = 4294967295
    long long1 = 0
    long long2 = 9223372036854775807
    signed long slong1 = -9223372036854775808
    signed long slong2 = 9223372036854775807
    unsigned long ulong1 = 0
    unsigned long ulong2 = 18446744073709551615
    wrapping long wlong1 = 0
    wrapping long wlong2 = 18446744073709551615
    byte mod1 = 1000 mod 256
    byte mod2 = -1000 mod 256
    byte mod3 = 255 mod 1000
    signed mod4 = 1000 mod -256
    signed byte mod5 = 127 mod 321
    signed byte mod6 = -194 mod 321
    signed byte mod7 = 193 mod -321
    signed byte mod8 = -128 mod -321
    signed byte mod9 = 0 mod 1000
    int assign1!
    int assign2!
    assign1 = 123
    assign1 = assign2 = 456
    assert assign1 == 456
    #bool not_allowed = (assign1 = assign2)
    if true
    end
    switch max_uint
    end
    switch max_uint
    case 1
        return true
    case 2
        return false
    # TODO multi-valued cases
    # this is tricky to do safely, because `case 1` immediately followed by
    # `case 2` can happen if all statements in the block of `case 1` have
    # been commented out.
    # options:
    # 1. special handling if multiple cases appear on consecutive lines.
    # 2. multiple values separated by spaces
    # 3. multiple values in array literals? (this would make it impossible
    #    to add support for switching on arrays)
    end
    switch max_uint
    default
        return true
    end
    switch max_uint
    case 1
        return true
    default
        return false
    end
    assert -333 < 222
    assert 1+2 <> 3+4 and 5*6 == (711*511)-363291
    assert -321 <> 321
    assert 11 - 0x22 + 33 + 4_4 - (0b101 - (55 - 66)) == 38
    return true # TODO check for presence of return in all code paths
section sec1
    return true
    if true
        return false
    end
    return true
section done
    return false
    return true
section fail
    return false
end

# FIXME this one has no code. so no {} should be emitted in the C code
#       (or should it even be allowed at all?)
func other
    A a1
    A a2
    B b
returns
    A x
    B y
end

func noargs
end

func f
    int arg1
    int arg2
    int arg3
code
end

func f2
    int n
code
    assert n == 2
end

func g
    int x
    int y
returns
    int ret
code
    # TODO varstate tracking
    #assert y >= -0x3FFF_FFF8
    #assert y <= 0x3FFF_FFF8
    #assert x >= -0x10
    #assert x <= 0xF
    #return x + (2*y)
    return x
end

func get_bool
returns
    bool b
code
    return true
end