示例#1
0
def map_type(viper_ast: ViperAST, key_type, value_type):
    type_vars = _map_type_var_map(viper_ast, key_type, value_type)
    return viper_ast.DomainType(mangled.MAP_DOMAIN, type_vars,
                                type_vars.keys())
示例#2
0
def struct_type(viper_ast: ViperAST):
    return viper_ast.DomainType(mangled.STRUCT_DOMAIN, {}, [])
示例#3
0
def wrapped_int_type(viper_ast: ViperAST):
    return viper_ast.DomainType(mangled.WRAPPED_INT_DOMAIN, {}, [])