Class KnownAgent


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

      • port

        private final int port
      • pid

        private final int pid
      • host

        private final java.lang.String host
      • owner

        private final long owner
      • deadSince

        private java.lang.Long deadSince
    • Method Detail

      • isLive

        public boolean isLive()
      • getPid

        public int getPid()
      • getPort

        public int getPort()
      • getHost

        public java.lang.String getHost()
      • getOwner

        public long getOwner()
      • matches

        public boolean matches​(java.lang.String hostname,
                               int listenPort,
                               int vmPid)
      • toString

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

        public java.lang.String toPrint()
      • verify

        public boolean verify()
      • equals

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

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

        public void markKilled()