*/
public void setDomainComponent(TraceDomainComponent domain);
+ /**
+ * @return true for Kernel domain. False for UST.
+ */
+ public boolean isKernel();
+
+
// ------------------------------------------------------------------------
// Operations
// ------------------------------------------------------------------------