Class Trace


  • public class Trace
    extends java.lang.Object
    • Field Detail

      • locations

        public final java.util.List<TextLocation> locations
      • traceLinks

        public final java.util.Set<TraceLink> traceLinks
      • destination

        public java.lang.String destination
    • Constructor Detail

      • Trace

        public Trace()
    • Method Detail

      • getTraceLinks

        public java.util.Set<TraceLink> getTraceLinks()
      • getLocations

        public java.util.List<TextLocation> getLocations()
      • getAllContents

        public java.util.Collection<? extends java.lang.Object> getAllContents()
      • getDestination

        public java.lang.String getDestination()
      • setDestination

        public void setDestination​(java.lang.String attribute)
      • equals

        public boolean equals​(java.lang.Object object)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object