1 #ifndef GAUDIKERNEL_PROPTRAITS_H
2 #define GAUDIKERNEL_PROPTRAITS_H 1
55 static PVal
new_ (
const Type& right ) {
return new Type(right) ; }
57 static void dele ( PVal right ,
const bool own )
58 {
if ( own ) {
delete right ; } }
60 static PVal
copy ( PVal* right ,
const bool own )
62 if ( !own ) {
return right ; }
63 return new_ ( *right ) ;
66 static void assign ( Type& v1 , PRef v2 ) { v1 = v2 ; }
68 static bool less (
const Type& v1 ,
const Type& v2 )
79 #endif // GAUDIKERNEL_PROPTRAITS_H
helper structure to define the types for properties
static PVal new_()
some kind of default constructor
static void assign(Type &v1, PRef v2)
assignment
static bool less(const Type &v1, const Type &v2)
comparison (needed for bounded verifier)
static void dele(PVal right, const bool own)
"smart" destructor
static PVal copy(PVal *right, const bool own)
"smart" copy-constructor
Helper functions to set/get the application return code.
static PVal new_(const Type &right)
some kind of copy constructor