3 #ifndef GAUDIKERNEL_PROPTRAITS_H
4 #define GAUDIKERNEL_PROPTRAITS_H 1
57 static PVal
new_ (
const Type& right ) {
return new Type(right) ; }
59 static void dele ( PVal right ,
const bool own )
60 {
if ( own ) {
delete right ; } }
62 static PVal
copy ( PVal* right ,
const bool own )
64 if ( !own ) {
return right ; }
65 return new_ ( *right ) ;
68 static void assign ( Type& v1 , PRef v2 ) { v1 = v2 ; }
70 static bool less (
const Type& v1 ,
const Type& v2 )
81 #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