10.24.6.24 undefine_method/3

Synopsis

undefine_method(+Obj, +Name, +Arity)

Arguments

Obj

object

Name

atom

Arity

integer

Description

Removes Obj’s current instance method for the Name/Arity message. After executing this goal, sending this message to Obj executes the class’s default method for the message.

Name/Arity must have been declared to be an instance method for the class of Obj.

If Obj has no current instance method for the Name/Arity message, then the predicate has no effect.

Exceptions

instantiation_error

any argument is unbound.

type_error

Obj is not a compound term, Name is not an atom, or Arity is not an integer.

domain_error

Message does not specify an instance method for the class of Obj.

See Also

define_method/3, instance_method/1