Class Atom
- java.lang.Object
-
- ru.ispras.microtesk.mmu.translator.codegen.spec.Atom
-
public final class Atom extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Atom.Kind
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Atom.Kind
getKind()
java.lang.Object
getObject()
static Atom
newConcat(ru.ispras.fortress.expression.Node concat)
static Atom
newField(ru.ispras.fortress.expression.Node extract)
static Atom
newGroup(Var group)
static Atom
newValue(java.math.BigInteger value)
static Atom
newVariable(ru.ispras.fortress.data.Variable variable)
java.lang.String
toString()
-
-
-
Constructor Detail
-
Atom
public Atom(Atom.Kind kind, java.lang.Object object)
-
-
Method Detail
-
newValue
public static Atom newValue(java.math.BigInteger value)
-
newVariable
public static Atom newVariable(ru.ispras.fortress.data.Variable variable)
-
newField
public static Atom newField(ru.ispras.fortress.expression.Node extract)
-
newConcat
public static Atom newConcat(ru.ispras.fortress.expression.Node concat)
-
getKind
public Atom.Kind getKind()
-
getObject
public java.lang.Object getObject()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-