// Copyright 2019 The Fuchsia Authors
//
// Use of this source code is governed by a MIT-style
// license that can be found in the LICENSE file or at
// https://opensource.org/licenses/MIT

#include <lib/unittest/unittest.h>
#include <lib/userabi/userboot_internal.h>

#include <object/dispatcher.h>
#include <object/handle.h>
#include <object/resource.h>
#include <object/resource_dispatcher.h>

namespace {

bool GetRangedResourceTest() {
  BEGIN_TEST;
  HandleOwner rsrc_handle = get_resource_handle(ZX_RSRC_KIND_MMIO);
  auto rsrc_dispatcher = DownCastDispatcher<ResourceDispatcher>(rsrc_handle->dispatcher().get());

  ASSERT_TRUE(rsrc_dispatcher->get_kind() == ZX_RSRC_KIND_MMIO);
  ASSERT_TRUE(rsrc_dispatcher->get_base() == 0);
  ASSERT_TRUE(rsrc_dispatcher->get_size() == 0);
  ASSERT_TRUE(rsrc_dispatcher->IsRangedRoot(ZX_RSRC_KIND_MMIO));

  END_TEST;
}

}  // namespace

UNITTEST_START_TESTCASE(userboot_tests)
UNITTEST("get_ranged_resource", GetRangedResourceTest)
UNITTEST_END_TESTCASE(userboot_tests, "userboot", "userboot tests")