예제 #1
0
def argv_catch_int_list(Cl, VariableName, Option, Default):
    """RETURNS: list of integers built from the list of no-minus followers of 
    the given option.
    """
    return [
        get_integer_parameter_value(str(Option)[1:-1], x)
        for x in argv_catch_list(Cl, Option, Default)
    ]
예제 #2
0
파일: core.py 프로젝트: xxyzzzq/quex 
def argv_catch_int_list(Cl, VariableName, Option, Default):
    """RETURNS: list of integers built from the list of no-minus followers of 
    the given option.
    """
    return [
        get_integer_parameter_value(str(Option)[1:-1], x)
        for x in argv_catch_list(Cl, Option, Default)
    ]
예제 #3
0
def argv_catch_int(Cl, Option, Default):
    """RETURNS: Integer for the given variable name.
    """
    return get_integer_parameter_value(
        str(Option)[1:-1], Cl.follow("%i" % Default, Option))
예제 #4
0
파일: core.py 프로젝트: xxyzzzq/quex 
def argv_catch_int(Cl, Option, Default):
    """RETURNS: Integer for the given variable name.
    """
    return get_integer_parameter_value(str(Option)[1:-1], Cl.follow("%i" % Default, Option))