class
	TEST

create
	make

feature

	make is
		do
			test_tilde_between_basic_types
			test_not_tilde_between_basic_types
			test_tilde_basic_reference_types
			test_not_tilde_basic_reference_types
		end

	test_tilde_between_basic_types is
		local
			i1: INTEGER_8
			i2: INTEGER_16
			i4: INTEGER_32
			i8: INTEGER_64
			n1: NATURAL_8
			n2: NATURAL_16
			n4: NATURAL_32
			n8: NATURAL_64
			c1: CHARACTER_8
			c4: CHARACTER_32
			p: POINTER
			b: BOOLEAN
			r4: REAL_32
			r8: REAL_64
		do
			test_false_boolean (i1 ~ Void)
			test_true_boolean (i1 ~ i1)
			test_true_boolean (i1 ~ i2)
			test_true_boolean (i1 ~ i4)
			test_true_boolean (i1 ~ i8)
			test_false_boolean (i1 ~ n1)
			test_false_boolean (i1 ~ n2)
			test_false_boolean (i1 ~ n4)
			test_false_boolean (i1 ~ n8)
			test_false_boolean (i1 ~ c1)
			test_false_boolean (i1 ~ c4)
			test_false_boolean (i1 ~ p)
			test_false_boolean (i1 ~ b)
			test_true_boolean (i1 ~ r4)
			test_true_boolean (i1 ~ r8)

			test_false_boolean (i2 ~ Void)
			test_true_boolean (i2 ~ i1)
			test_true_boolean (i2 ~ i2)
			test_true_boolean (i2 ~ i4)
			test_true_boolean (i2 ~ i8)
			test_true_boolean (i2 ~ n1)
			test_false_boolean (i2 ~ n2)
			test_false_boolean (i2 ~ n4)
			test_false_boolean (i2 ~ n8)
			test_false_boolean (i2 ~ c1)
			test_false_boolean (i2 ~ c4)
			test_false_boolean (i2 ~ p)
			test_false_boolean (i2 ~ b)
			test_true_boolean (i2 ~ r4)
			test_true_boolean (i2 ~ r8)

			test_false_boolean (i4 ~ Void)
			test_true_boolean (i4 ~ i1)
			test_true_boolean (i4 ~ i2)
			test_true_boolean (i4 ~ i4)
			test_true_boolean (i4 ~ i8)
			test_true_boolean (i4 ~ n1)
			test_true_boolean (i4 ~ n2)
			test_false_boolean (i4 ~ n4)
			test_false_boolean (i4 ~ n8)
			test_false_boolean (i4 ~ c1)
			test_false_boolean (i4 ~ c4)
			test_false_boolean (i4 ~ p)
			test_false_boolean (i4 ~ b)
			test_true_boolean (i4 ~ r4)
			test_true_boolean (i4 ~ r8)

			test_false_boolean (i8 ~ Void)
			test_true_boolean (i8 ~ i1)
			test_true_boolean (i8 ~ i2)
			test_true_boolean (i8 ~ i4)
			test_true_boolean (i8 ~ i8)
			test_true_boolean (i8 ~ n1)
			test_true_boolean (i8 ~ n2)
			test_true_boolean (i8 ~ n4)
			test_false_boolean (i8 ~ n8)
			test_false_boolean (i8 ~ c1)
			test_false_boolean (i8 ~ c4)
			test_false_boolean (i8 ~ p)
			test_false_boolean (i8 ~ b)
			test_true_boolean (i8 ~ r4)
			test_true_boolean (i8 ~ r8)

			test_false_boolean (n1 ~ Void)
			test_false_boolean (n1 ~ i1)
			test_true_boolean (n1 ~ i2)
			test_true_boolean (n1 ~ i4)
			test_true_boolean (n1 ~ i8)
			test_true_boolean (n1 ~ n1)
			test_true_boolean (n1 ~ n2)
			test_true_boolean (n1 ~ n4)
			test_true_boolean (n1 ~ n8)
			test_false_boolean (n1 ~ c1)
			test_false_boolean (n1 ~ c4)
			test_false_boolean (n1 ~ p)
			test_false_boolean (n1 ~ b)
			test_true_boolean (n1 ~ r4)
			test_true_boolean (n1 ~ r8)

			test_false_boolean (n2 ~ Void)
			test_false_boolean (n2 ~ i1)
			test_false_boolean (n2 ~ i2)
			test_true_boolean (n2 ~ i4)
			test_true_boolean (n2 ~ i8)
			test_true_boolean (n2 ~ n1)
			test_true_boolean (n2 ~ n2)
			test_true_boolean (n2 ~ n4)
			test_true_boolean (n2 ~ n8)
			test_false_boolean (n2 ~ c1)
			test_false_boolean (n2 ~ c4)
			test_false_boolean (n2 ~ p)
			test_false_boolean (n2 ~ b)
			test_true_boolean (n2 ~ r4)
			test_true_boolean (n2 ~ r8)

			test_false_boolean (n4 ~ Void)
			test_false_boolean (n4 ~ i1)
			test_false_boolean (n4 ~ i2)
			test_false_boolean (n4 ~ i4)
			test_true_boolean (n4 ~ i8)
			test_true_boolean (n4 ~ n1)
			test_true_boolean (n4 ~ n2)
			test_true_boolean (n4 ~ n4)
			test_true_boolean (n4 ~ n8)
			test_false_boolean (n4 ~ c1)
			test_false_boolean (n4 ~ c4)
			test_false_boolean (n4 ~ p)
			test_false_boolean (n4 ~ b)
			test_true_boolean (n4 ~ r4)
			test_true_boolean (n4 ~ r8)

			test_false_boolean (n8 ~ Void)
			test_false_boolean (n8 ~ i1)
			test_false_boolean (n8 ~ i2)
			test_false_boolean (n8 ~ i4)
			test_false_boolean (n8 ~ i8)
			test_true_boolean (n8 ~ n1)
			test_true_boolean (n8 ~ n2)
			test_true_boolean (n8 ~ n4)
			test_true_boolean (n8 ~ n8)
			test_false_boolean (n8 ~ c1)
			test_false_boolean (n8 ~ c4)
			test_false_boolean (n8 ~ p)
			test_false_boolean (n8 ~ b)
			test_true_boolean (n8 ~ r4)
			test_true_boolean (n8 ~ r8)

			test_false_boolean (c1 ~ Void)
			test_false_boolean (c1 ~ i1)
			test_false_boolean (c1 ~ i2)
			test_false_boolean (c1 ~ i4)
			test_false_boolean (c1 ~ i8)
			test_false_boolean (c1 ~ n1)
			test_false_boolean (c1 ~ n2)
			test_false_boolean (c1 ~ n4)
			test_false_boolean (c1 ~ n8)
			test_true_boolean (c1 ~ c1)
			test_true_boolean (c1 ~ c4)
			test_false_boolean (c1 ~ p)
			test_false_boolean (c1 ~ b)
			test_false_boolean (c1 ~ r4)
			test_false_boolean (c1 ~ r8)

			test_false_boolean (c4 ~ Void)
			test_false_boolean (c4 ~ i1)
			test_false_boolean (c4 ~ i2)
			test_false_boolean (c4 ~ i4)
			test_false_boolean (c4 ~ i8)
			test_false_boolean (c4 ~ n1)
			test_false_boolean (c4 ~ n2)
			test_false_boolean (c4 ~ n4)
			test_false_boolean (c4 ~ n8)
			test_true_boolean (c4 ~ c1)
			test_true_boolean (c4 ~ c4)
			test_false_boolean (c4 ~ p)
			test_false_boolean (c4 ~ b)
			test_false_boolean (c4 ~ r4)
			test_false_boolean (c4 ~ r8)

			test_false_boolean (p ~ Void)
			test_false_boolean (p ~ i1)
			test_false_boolean (p ~ i2)
			test_false_boolean (p ~ i4)
			test_false_boolean (p ~ i8)
			test_false_boolean (p ~ n1)
			test_false_boolean (p ~ n2)
			test_false_boolean (p ~ n4)
			test_false_boolean (p ~ n8)
			test_false_boolean (p ~ c1)
			test_false_boolean (p ~ c4)
			test_true_boolean (p ~ p)
			test_false_boolean (p ~ b)
			test_false_boolean (p ~ r4)
			test_false_boolean (p ~ r8)

			test_false_boolean (b ~ Void)
			test_false_boolean (b ~ i1)
			test_false_boolean (b ~ i2)
			test_false_boolean (b ~ i4)
			test_false_boolean (b ~ i8)
			test_false_boolean (b ~ n1)
			test_false_boolean (b ~ n2)
			test_false_boolean (b ~ n4)
			test_false_boolean (b ~ n8)
			test_false_boolean (b ~ c1)
			test_false_boolean (b ~ c4)
			test_false_boolean (b ~ p)
			test_true_boolean (b ~ b)
			test_false_boolean (b ~ r4)
			test_false_boolean (b ~ r8)

			test_false_boolean (r4 ~ Void)
			test_true_boolean (r4 ~ i1)
			test_true_boolean (r4 ~ i2)
			test_true_boolean (r4 ~ i4)
			test_true_boolean (r4 ~ i8)
			test_true_boolean (r4 ~ n1)
			test_true_boolean (r4 ~ n2)
			test_true_boolean (r4 ~ n4)
			test_true_boolean (r4 ~ n8)
			test_false_boolean (r4 ~ c1)
			test_false_boolean (r4 ~ c4)
			test_false_boolean (r4 ~ p)
			test_false_boolean (r4 ~ b)
			test_true_boolean (r4 ~ r4)
			test_true_boolean (r4 ~ r8)

			test_false_boolean (r8 ~ Void)
			test_true_boolean (r8 ~ i1)
			test_true_boolean (r8 ~ i2)
			test_true_boolean (r8 ~ i4)
			test_true_boolean (r8 ~ i8)
			test_true_boolean (r8 ~ n1)
			test_true_boolean (r8 ~ n2)
			test_true_boolean (r8 ~ n4)
			test_true_boolean (r8 ~ n8)
			test_false_boolean (r8 ~ c1)
			test_false_boolean (r8 ~ c4)
			test_false_boolean (r8 ~ p)
			test_false_boolean (r8 ~ b)
			test_true_boolean (r8 ~ r4)
			test_true_boolean (r8 ~ r8)

			test_true_boolean (Void ~ Void)
			test_false_boolean (Void ~ i1)
			test_false_boolean (Void ~ i2)
			test_false_boolean (Void ~ i4)
			test_false_boolean (Void ~ i8)
			test_false_boolean (Void ~ n1)
			test_false_boolean (Void ~ n2)
			test_false_boolean (Void ~ n4)
			test_false_boolean (Void ~ n8)
			test_false_boolean (Void ~ c1)
			test_false_boolean (Void ~ c4)
			test_false_boolean (Void ~ p)
			test_false_boolean (Void ~ b)
			test_false_boolean (Void ~ r4)
			test_false_boolean (Void ~ r8)
		end

	test_not_tilde_between_basic_types is
		local
			i1: INTEGER_8
			i2: INTEGER_16
			i4: INTEGER_32
			i8: INTEGER_64
			n1: NATURAL_8
			n2: NATURAL_16
			n4: NATURAL_32
			n8: NATURAL_64
			c1: CHARACTER_8
			c4: CHARACTER_32
			p: POINTER
			b: BOOLEAN
			r4: REAL_32
			r8: REAL_64
		do
			io.do_nothing
			test_true_boolean (i1 /~ Void)
			test_false_boolean (i1 /~ i1)
			test_false_boolean (i1 /~ i2)
			test_false_boolean (i1 /~ i4)
			test_false_boolean (i1 /~ i8)
			test_true_boolean (i1 /~ n1)
			test_true_boolean (i1 /~ n2)
			test_true_boolean (i1 /~ n4)
			test_true_boolean (i1 /~ n8)
			test_true_boolean (i1 /~ c1)
			test_true_boolean (i1 /~ c4)
			test_true_boolean (i1 /~ p)
			test_true_boolean (i1 /~ b)
			test_false_boolean (i1 /~ r4)
			test_false_boolean (i1 /~ r8)

			test_true_boolean (i2 /~ Void)
			test_false_boolean (i2 /~ i1)
			test_false_boolean (i2 /~ i2)
			test_false_boolean (i2 /~ i4)
			test_false_boolean (i2 /~ i8)
			test_false_boolean (i2 /~ n1)
			test_true_boolean (i2 /~ n2)
			test_true_boolean (i2 /~ n4)
			test_true_boolean (i2 /~ n8)
			test_true_boolean (i2 /~ c1)
			test_true_boolean (i2 /~ c4)
			test_true_boolean (i2 /~ p)
			test_true_boolean (i2 /~ b)
			test_false_boolean (i2 /~ r4)
			test_false_boolean (i2 /~ r8)

			test_true_boolean (i4 /~ Void)
			test_false_boolean (i4 /~ i1)
			test_false_boolean (i4 /~ i2)
			test_false_boolean (i4 /~ i4)
			test_false_boolean (i4 /~ i8)
			test_false_boolean (i4 /~ n1)
			test_false_boolean (i4 /~ n2)
			test_true_boolean (i4 /~ n4)
			test_true_boolean (i4 /~ n8)
			test_true_boolean (i4 /~ c1)
			test_true_boolean (i4 /~ c4)
			test_true_boolean (i4 /~ p)
			test_true_boolean (i4 /~ b)
			test_false_boolean (i4 /~ r4)
			test_false_boolean (i4 /~ r8)

			test_true_boolean (i8 /~ Void)
			test_false_boolean (i8 /~ i1)
			test_false_boolean (i8 /~ i2)
			test_false_boolean (i8 /~ i4)
			test_false_boolean (i8 /~ i8)
			test_false_boolean (i8 /~ n1)
			test_false_boolean (i8 /~ n2)
			test_false_boolean (i8 /~ n4)
			test_true_boolean (i8 /~ n8)
			test_true_boolean (i8 /~ c1)
			test_true_boolean (i8 /~ c4)
			test_true_boolean (i8 /~ p)
			test_true_boolean (i8 /~ b)
			test_false_boolean (i8 /~ r4)
			test_false_boolean (i8 /~ r8)

			test_true_boolean (n1 /~ Void)
			test_true_boolean (n1 /~ i1)
			test_false_boolean (n1 /~ i2)
			test_false_boolean (n1 /~ i4)
			test_false_boolean (n1 /~ i8)
			test_false_boolean (n1 /~ n1)
			test_false_boolean (n1 /~ n2)
			test_false_boolean (n1 /~ n4)
			test_false_boolean (n1 /~ n8)
			test_true_boolean (n1 /~ c1)
			test_true_boolean (n1 /~ c4)
			test_true_boolean (n1 /~ p)
			test_true_boolean (n1 /~ b)
			test_false_boolean (n1 /~ r4)
			test_false_boolean (n1 /~ r8)

			test_true_boolean (n2 /~ Void)
			test_true_boolean (n2 /~ i1)
			test_true_boolean (n2 /~ i2)
			test_false_boolean (n2 /~ i4)
			test_false_boolean (n2 /~ i8)
			test_false_boolean (n2 /~ n1)
			test_false_boolean (n2 /~ n2)
			test_false_boolean (n2 /~ n4)
			test_false_boolean (n2 /~ n8)
			test_true_boolean (n2 /~ c1)
			test_true_boolean (n2 /~ c4)
			test_true_boolean (n2 /~ p)
			test_true_boolean (n2 /~ b)
			test_false_boolean (n2 /~ r4)
			test_false_boolean (n2 /~ r8)

			test_true_boolean (n4 /~ Void)
			test_true_boolean (n4 /~ i1)
			test_true_boolean (n4 /~ i2)
			test_true_boolean (n4 /~ i4)
			test_false_boolean (n4 /~ i8)
			test_false_boolean (n4 /~ n1)
			test_false_boolean (n4 /~ n2)
			test_false_boolean (n4 /~ n4)
			test_false_boolean (n4 /~ n8)
			test_true_boolean (n4 /~ c1)
			test_true_boolean (n4 /~ c4)
			test_true_boolean (n4 /~ p)
			test_true_boolean (n4 /~ b)
			test_false_boolean (n4 /~ r4)
			test_false_boolean (n4 /~ r8)

			test_true_boolean (n8 /~ Void)
			test_true_boolean (n8 /~ i1)
			test_true_boolean (n8 /~ i2)
			test_true_boolean (n8 /~ i4)
			test_true_boolean (n8 /~ i8)
			test_false_boolean (n8 /~ n1)
			test_false_boolean (n8 /~ n2)
			test_false_boolean (n8 /~ n4)
			test_false_boolean (n8 /~ n8)
			test_true_boolean (n8 /~ c1)
			test_true_boolean (n8 /~ c4)
			test_true_boolean (n8 /~ p)
			test_true_boolean (n8 /~ b)
			test_false_boolean (n8 /~ r4)
			test_false_boolean (n8 /~ r8)

			test_true_boolean (c1 /~ Void)
			test_true_boolean (c1 /~ i1)
			test_true_boolean (c1 /~ i2)
			test_true_boolean (c1 /~ i4)
			test_true_boolean (c1 /~ i8)
			test_true_boolean (c1 /~ n1)
			test_true_boolean (c1 /~ n2)
			test_true_boolean (c1 /~ n4)
			test_true_boolean (c1 /~ n8)
			test_false_boolean (c1 /~ c1)
			test_false_boolean (c1 /~ c4)
			test_true_boolean (c1 /~ p)
			test_true_boolean (c1 /~ b)
			test_true_boolean (c1 /~ r4)
			test_true_boolean (c1 /~ r8)

			test_true_boolean (c4 /~ Void)
			test_true_boolean (c4 /~ i1)
			test_true_boolean (c4 /~ i2)
			test_true_boolean (c4 /~ i4)
			test_true_boolean (c4 /~ i8)
			test_true_boolean (c4 /~ n1)
			test_true_boolean (c4 /~ n2)
			test_true_boolean (c4 /~ n4)
			test_true_boolean (c4 /~ n8)
			test_false_boolean (c4 /~ c1)
			test_false_boolean (c4 /~ c4)
			test_true_boolean (c4 /~ p)
			test_true_boolean (c4 /~ b)
			test_true_boolean (c4 /~ r4)
			test_true_boolean (c4 /~ r8)

			test_true_boolean (p /~ Void)
			test_true_boolean (p /~ i1)
			test_true_boolean (p /~ i2)
			test_true_boolean (p /~ i4)
			test_true_boolean (p /~ i8)
			test_true_boolean (p /~ n1)
			test_true_boolean (p /~ n2)
			test_true_boolean (p /~ n4)
			test_true_boolean (p /~ n8)
			test_true_boolean (p /~ c1)
			test_true_boolean (p /~ c4)
			test_false_boolean (p /~ p)
			test_true_boolean (p /~ b)
			test_true_boolean (p /~ r4)
			test_true_boolean (p /~ r8)

			test_true_boolean (b /~ Void)
			test_true_boolean (b /~ i1)
			test_true_boolean (b /~ i2)
			test_true_boolean (b /~ i4)
			test_true_boolean (b /~ i8)
			test_true_boolean (b /~ n1)
			test_true_boolean (b /~ n2)
			test_true_boolean (b /~ n4)
			test_true_boolean (b /~ n8)
			test_true_boolean (b /~ c1)
			test_true_boolean (b /~ c4)
			test_true_boolean (b /~ p)
			test_false_boolean (b /~ b)
			test_true_boolean (b /~ r4)
			test_true_boolean (b /~ r8)

			test_true_boolean (r4 /~ Void)
			test_false_boolean (r4 /~ i1)
			test_false_boolean (r4 /~ i2)
			test_false_boolean (r4 /~ i4)
			test_false_boolean (r4 /~ i8)
			test_false_boolean (r4 /~ n1)
			test_false_boolean (r4 /~ n2)
			test_false_boolean (r4 /~ n4)
			test_false_boolean (r4 /~ n8)
			test_true_boolean (r4 /~ c1)
			test_true_boolean (r4 /~ c4)
			test_true_boolean (r4 /~ p)
			test_true_boolean (r4 /~ b)
			test_false_boolean (r4 /~ r4)
			test_false_boolean (r4 /~ r8)

			test_true_boolean (r8 /~ Void)
			test_false_boolean (r8 /~ i1)
			test_false_boolean (r8 /~ i2)
			test_false_boolean (r8 /~ i4)
			test_false_boolean (r8 /~ i8)
			test_false_boolean (r8 /~ n1)
			test_false_boolean (r8 /~ n2)
			test_false_boolean (r8 /~ n4)
			test_false_boolean (r8 /~ n8)
			test_true_boolean (r8 /~ c1)
			test_true_boolean (r8 /~ c4)
			test_true_boolean (r8 /~ p)
			test_true_boolean (r8 /~ b)
			test_false_boolean (r8 /~ r4)
			test_false_boolean (r8 /~ r8)

			test_false_boolean (Void /~ Void)
			test_true_boolean (Void /~ i1)
			test_true_boolean (Void /~ i2)
			test_true_boolean (Void /~ i4)
			test_true_boolean (Void /~ i8)
			test_true_boolean (Void /~ n1)
			test_true_boolean (Void /~ n2)
			test_true_boolean (Void /~ n4)
			test_true_boolean (Void /~ n8)
			test_true_boolean (Void /~ c1)
			test_true_boolean (Void /~ c4)
			test_true_boolean (Void /~ p)
			test_true_boolean (Void /~ b)
			test_true_boolean (Void /~ r4)
			test_true_boolean (Void /~ r8)
		end

	test_tilde_basic_reference_types is
		local
			i1: INTEGER_8
			i2: INTEGER_16
			i4: INTEGER_32
			i8: INTEGER_64
			n1: NATURAL_8
			n2: NATURAL_16
			n4: NATURAL_32
			n8: NATURAL_64
			c1: CHARACTER_8
			c4: CHARACTER_32
			p: POINTER
			b: BOOLEAN
			r4: REAL_32
			r8: REAL_64
			a: ANY
		do
			test_true_boolean (a ~ Void)

			a := i1
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_true_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := i2
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_true_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := i4
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_true_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := i8
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_true_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := n1
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_true_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := n2
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_true_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := n4
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_true_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := n8
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_true_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := c1
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_true_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := c4
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_true_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := p
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_true_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := b
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_true_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := r4
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_true_boolean (a ~ r4)
			test_false_boolean (a ~ r8)

			a := r8
			test_false_boolean (a ~ Void)
			test_true_boolean (a ~ a)
			test_false_boolean (a ~ i1)
			test_false_boolean (a ~ i2)
			test_false_boolean (a ~ i4)
			test_false_boolean (a ~ i8)
			test_false_boolean (a ~ n1)
			test_false_boolean (a ~ n2)
			test_false_boolean (a ~ n4)
			test_false_boolean (a ~ n8)
			test_false_boolean (a ~ c1)
			test_false_boolean (a ~ c4)
			test_false_boolean (a ~ p)
			test_false_boolean (a ~ b)
			test_false_boolean (a ~ r4)
			test_true_boolean (a ~ r8)
		end

	test_not_tilde_basic_reference_types is
		local
			i1: INTEGER_8
			i2: INTEGER_16
			i4: INTEGER_32
			i8: INTEGER_64
			n1: NATURAL_8
			n2: NATURAL_16
			n4: NATURAL_32
			n8: NATURAL_64
			c1: CHARACTER_8
			c4: CHARACTER_32
			p: POINTER
			b: BOOLEAN
			r4: REAL_32
			r8: REAL_64
			a: ANY
		do
			test_false_boolean (a /~ Void)

			a := i1
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_false_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := i2
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_false_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := i4
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_false_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := i8
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_false_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := n1
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_false_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := n2
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_false_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := n4
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_false_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := n8
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_false_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := c1
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_false_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := c4
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_false_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := p
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_false_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := b
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_false_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := r4
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_false_boolean (a /~ r4)
			test_true_boolean (a /~ r8)

			a := r8
			test_true_boolean (a /~ Void)
			test_false_boolean (a /~ a)
			test_true_boolean (a /~ i1)
			test_true_boolean (a /~ i2)
			test_true_boolean (a /~ i4)
			test_true_boolean (a /~ i8)
			test_true_boolean (a /~ n1)
			test_true_boolean (a /~ n2)
			test_true_boolean (a /~ n4)
			test_true_boolean (a /~ n8)
			test_true_boolean (a /~ c1)
			test_true_boolean (a /~ c4)
			test_true_boolean (a /~ p)
			test_true_boolean (a /~ b)
			test_true_boolean (a /~ r4)
			test_false_boolean (a /~ r8)
		end

feature {NONE} -- Implementation

	test_true_boolean (b: BOOLEAN) is
		do
			if not b then
				print ("Not correct%N")
			end
		end

	test_false_boolean (b: BOOLEAN) is
		do
			if b then
				print ("Not correct%N")
			end
		end

end