# A local variable (including parameters, automatic variables and self)
class Variable
	# The name of the variable (as used in the program)
	var name: String is writable

	# Alias of `name`
	redef fun to_s do return self.name

	# The declaration of the variable, if any
	var location: nullable Location = null is writable

	# Is the local variable not read and need a warning?
	var warn_unread = false is writable
end