HTMLElement.java

   1 package org.simantics.document.linking.report.html;\r
   2 \r
   3 import org.simantics.document.linking.report.DocumentElement;\r
   4 \r
   5 public interface HTMLElement extends DocumentElement{\r
   6         \r
   7         public String getId();\r
   8 }\r