public final class ExternalSource
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ExternalSource.Kind |
Constructor and Description |
---|
ExternalSource(ExternalSource.Kind kind,
java.lang.String name,
java.util.List<java.math.BigInteger> args) |
Modifier and Type | Method and Description |
---|---|
java.util.List<java.math.BigInteger> |
getArgs() |
ExternalSource.Kind |
getKind() |
java.lang.String |
getName() |
java.lang.String |
toString() |
public ExternalSource(ExternalSource.Kind kind, java.lang.String name, java.util.List<java.math.BigInteger> args)
public ExternalSource.Kind getKind()
public java.lang.String getName()
public java.util.List<java.math.BigInteger> getArgs()
public java.lang.String toString()
toString
in class java.lang.Object