(state, element_type, size)
return SimSootValue_ArrayBaseRef(heap_alloc_id=state.javavm_memory.get_new_uuid(),
                                         element_type=element_type,
                                         size=size_bounded)
Allocates a new array in memory and returns the reference to the base.
Allocates a new array in memory and returns the reference to the base.
Allocates a new array in memory and returns the reference to the base .
def new_array(state, element_type, size):
        """
        Allocates a new array in memory and returns the reference to the base.
        """
        size_bounded = SimSootExpr_NewArray._bound_array_size(state, size)
        # return the reference of the array base
        # => elements getting lazy initialized in the javavm memory
        return SimSootValue_ArrayBaseRef(heap_alloc_id=state.javavm_memory.get_new_uuid(),
                                         element_type=element_type,
                                         size=size_bounded)
def new_array ( state , element_type , size ) : size_bounded = SimSootExpr_NewArray . _bound_array_size ( state , size ) # return the reference of the array base # => elements getting lazy initialized in the javavm memory return SimSootValue_ArrayBaseRef ( heap_alloc_id = state . javavm_memory . get_new_uuid ( ) , element_type = element_type , size = size_bounded )