001    package edu.rice.cs.cunit.record;
002    
003    import edu.rice.cs.cunit.util.IVerboseToString;
004    
005    /**
006     * Interface for a class with thread information.
007     * @author Mathias Ricken
008     */
009    public interface IThreadInfo extends IVerboseToString {
010        /**
011         * Returns the thread ID of the thread ($$$threadID$$$ field).
012         * @return thread ID
013         */
014        long getThreadID();
015    
016        /**
017         * Returns a string representation of the object.
018         * @return a string representation of the object.
019         */
020        String toString();
021    }