Class ExternalSource


  • public final class ExternalSource
    extends java.lang.Object
    • Constructor Detail

      • ExternalSource

        public ExternalSource​(ExternalSource.Kind kind,
                              java.lang.String name,
                              java.util.List<java.math.BigInteger> args)
    • Method Detail

      • getName

        public java.lang.String getName()
      • getArgs

        public java.util.List<java.math.BigInteger> getArgs()
      • toString

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