def splitext(path):
    i = 0
    n = -1
    for c in path:
        if c == '.': n = i
        i = i+1
    if n < 0:
        return (path, "")
    else:
        return (path[:n], path[n:])
Split the extension from a pathname.
dataset/ETHPy150Open azoft-dev-team/imagrium/env/Lib/javapath.py/splitext