Class Condition
- java.lang.Object
-
- ru.ispras.microtesk.mmu.translator.codegen.spec.Condition
-
public final class Condition extends java.lang.Object
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Condition.Type
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Condition
and(Condition other)
static Condition
extract(ru.ispras.fortress.expression.Node expr)
java.util.List<ru.ispras.fortress.expression.Node>
getAtoms()
Condition.Type
getType()
boolean
isSingle()
Condition
not()
Condition
or(Condition other)
java.lang.String
toString()
-
-
-
Method Detail
-
isSingle
public boolean isSingle()
-
getType
public Condition.Type getType()
-
getAtoms
public java.util.List<ru.ispras.fortress.expression.Node> getAtoms()
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
extract
public static Condition extract(ru.ispras.fortress.expression.Node expr)
-
not
public Condition not()
-
-