// @(#)$Id: default_copy_ctor.lh,v 1.3 1998/08/27 22:56:50 leavens Exp $
#include "default_interfaces.lh"

T::T(const T& arg) throw();
//@ behavior {
//@   requires assigned(arg, any) /\ assigned(arg\any, any);
//@   constructs self;
//@   ensures self'' = arg\any\any;
//@   ensures redundantly assigned(self, post);
//@ }

[Index]

HTML generated using lcpp2html.