visit_destructor


Description:

public virtual void visit_destructor (Destructor d)

Visit operation called for destructors.

Parameters:

d

a destructor