Beispiel #1
0
def _get(v, c):
    '''

    :param v: state variable
    :param c: contract
    :return: 依赖的变量列表
    '''
    return list(set([d.name for d in get_dependencies(v, c) if not isinstance(d, (TemporaryVariable,
                                                                               ReferenceVariable))]))
Beispiel #2
0
def _get(v, c):
    return list({
        d.name
        for d in get_dependencies(v, c)
        if not isinstance(d, (TemporaryVariable, ReferenceVariable))
    })