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