Python Spec Examples

Example #1

def mk_typelist(types):
    """
    Parameters
        types : list of Spec.Type
    """
    t = Spec.TypeList()
    t.types.extend(types)
    return t

Example #2

def mk_type_ntuple(sz):
    """
    Parameters
        sz : integer
    """
    t = Spec.Type()
    t.type = Spec.NTUPLE
    t.ntuple_size = sz
    return t

Example #3

def mk_type_list(tp):
    """
    Parameters
        t : Spec.Type
    """
    t = Spec.Type()
    t.type = Spec.LIST
    t.inner_type.CopyFrom(tp)
    return t

Example #4

def mk_type_cons():
    t = Spec.Type()
    t.type = Spec.CONS
    return t

Example #5

def mk_type_tuple():
    t = Spec.Type()
    t.type = Spec.TUPLE
    return t

Example #6

def mk_type_any():
    t = Spec.Type()
    t.type = Spec.ANY
    return t