Python to_int Examples

Example #1

File: strings.py Project: paulfchristiano/interpreter

def to_char(asker, c):
    if c.to_char() is not None:
        return c.to_char()
    result = char_literalizer.dispatch(asker, c)
    if result is not None:
        return result
    else:
        k = asker.ask_firmly(ascii_code(c))
        return chr(ints.to_int(k))

Example #2

File: views.py Project: paulfchristiano/interpreter

def render_int(asker, x):
    return asker.reply(answer=T.from_str(str(ints.to_int(asker, x))))

Example #3

File: strings.py Project: paulfchristiano/interpreter

def literalize_simple_char(asker, x):
    return chr(ints.to_int(asker, x))