SH::MetaData< T > Node1 SH::MetaData< T > + testInvariant() + MetaData() + MetaData() + ClassDef() Node2 T Node2->Node1 +value