progression :: ProgressionListener :: progressed
The operation progressed.progression :: ProgressionListener :: progression_max
The number that represents a completed operation.progression $ ProgressionListener :: SELF
Type of this instance, automatically specialized in every classcore :: Object :: class_factory
Implementation used byget_class to create the specific class.
			core :: Object :: defaultinit
core :: Object :: is_same_instance
Return true ifself and other are the same instance (i.e. same identity).
			core :: Object :: is_same_serialized
Isself the same as other in a serialization context?
			core :: Object :: is_same_type
Return true ifself and other have the same dynamic type.
			core :: Object :: output_class_name
Display class name on stdout (debug only).progression :: ProgressionListener :: progressed
The operation progressed.progression :: ProgressionListener :: progression_max
The number that represents a completed operation.
# Listens to the progression of a possibly long-running operation.
interface ProgressionListener
	# The number that represents a completed operation.
	fun progression_max: Int do return 100
	# The operation started.
	fun started do end
	# The operation progressed.
	#
	# Parameter:
	#
	# * `progression`: Indicator of the progession, between `0` and
	# `progression_max`.
	fun progressed(progression: Int) do end
	# The operation is done.
	fun done do end
end
					lib/progression/progression.nit:50,1--68,3