Class ExternalSource
- java.lang.Object
-
- ru.ispras.microtesk.mmu.translator.ir.ExternalSource
-
public final class ExternalSource extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
ExternalSource.Kind
-
Constructor Summary
Constructors Constructor Description ExternalSource(ExternalSource.Kind kind, java.lang.String name, java.util.List<java.math.BigInteger> args)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<java.math.BigInteger>
getArgs()
ExternalSource.Kind
getKind()
java.lang.String
getName()
java.lang.String
toString()
-
-
-
Constructor Detail
-
ExternalSource
public ExternalSource(ExternalSource.Kind kind, java.lang.String name, java.util.List<java.math.BigInteger> args)
-
-
Method Detail
-
getKind
public ExternalSource.Kind getKind()
-
getName
public java.lang.String getName()
-
getArgs
public java.util.List<java.math.BigInteger> getArgs()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-