@Test
    public void testIsSuccessor() {

		assertTrue(space.isSuccessor(addr(3, 4), addr(3, 5)));
		assertTrue(space.isSuccessor(addr(0, 0xffff), addr(0x1000, 0)));
		assertTrue(space.isSuccessor(addr(0x1000, 0x2345), addr(0x1200, 0x0346)));

		assertTrue(!space.isSuccessor(addr(3, 5), addr(3, 4)));
		assertTrue(!space.isSuccessor(addr(3, 4), addr(3, 6)));
		assertTrue(!space.isSuccessor(addr(2, 5), addr(3, 5)));
		assertTrue(!space.isSuccessor(addr(2, 5), addr(3, 6)));

		Address a = new SegmentedAddress(space, 0, 0);
		Address b = new SegmentedAddress(space, 1, 0);
		assertTrue(!space.isSuccessor(a, b));

	}
To change this generated comment edit the template variable "typecomment":
Window>Preferences>Java>Templates.
Ghidra/Framework/SoftwareModeling/src/test/java/ghidra/program/model/address/SegmentedAddressSpaceTest.java