class B_ATTRIBUTES

create
	default_values_for_attribute

feature

	integer_attribute: INTEGER
	natural_attribute: NATURAL
	real_attribute: REAL_64
	boolean_attribute: BOOLEAN
	any_attribute: ANY

	default_values_for_attribute
		note
			status: creator
		do
			check integer_attribute = 0 end
			check natural_attribute = 0 end
			check real_attribute = 0.0 end
			check boolean_attribute = False end
			check any_attribute = Void end
		end

	attribute_initialization
		do
			integer_attribute := 1
			natural_attribute := 2
			real_attribute := 3.4
			boolean_attribute := True
			any_attribute := Current

			check integer_attribute = 1 end
			check natural_attribute = 2 end
			check real_attribute = 3.4 end
			check boolean_attribute = True end
			check any_attribute = Current end
		end

	integer_attr2: INTEGER
	any_attr2: ANY

	attribute_assignment
		do
			integer_attribute := 1
			integer_attr2 := 2
			integer_attribute := integer_attr2
			check integer_attribute = 2 end
			any_attribute := Void
			any_attr2 := Current
			any_attribute := any_attr2
			check any_attribute = Current end
		end

	argument_assignment (a: INTEGER; b: ANY)
		require
			a = 3
			b = Current
		do
			integer_attribute := a
			check integer_attribute = 3 end
			any_attribute := b
			check any_attribute = Current end
		end

end