 In practice this is minor, as use of resources can usually fail for other reasons as well (for example, trying to read past the end of a file), so these methods already might fail, and not having a resource just adds another possible failure.A standard way to implement this is to add a boolean field to the object, called codice_32, which is set to true by codice_2, and checked by a guard clause to all methods (that use the resource), raising an exception (such as codice_34 in .NET) if the object has been disposed.Further, it is possible to call codice_2 on an object more than once.