public final class MmuCondition
extends java.lang.Object
MmuCondition
represents a set of AND
- or OR
-connected equalities or
inequalities (MmuConditionAtom
).Modifier and Type | Class and Description |
---|---|
static class |
MmuCondition.Type |
Modifier | Constructor and Description |
---|---|
protected |
MmuCondition(MmuCondition.Type type,
java.util.List<MmuConditionAtom> atoms) |
protected |
MmuCondition(MmuCondition condition) |
protected |
MmuCondition(MmuConditionAtom atom) |
Modifier and Type | Method and Description |
---|---|
static MmuCondition |
and(java.util.List<MmuConditionAtom> equalities) |
static MmuCondition |
and(MmuConditionAtom... equalities) |
static MmuCondition |
eq(IntegerField field) |
static MmuCondition |
eq(IntegerField field,
java.math.BigInteger value) |
static MmuCondition |
eq(IntegerVariable variable) |
static MmuCondition |
eq(IntegerVariable variable,
java.math.BigInteger value) |
static MmuCondition |
eq(MmuExpression expression) |
static MmuCondition |
eq(MmuExpression expression,
java.math.BigInteger value) |
static MmuCondition |
eq(MmuStruct struct) |
static MmuCondition |
eq(MmuStruct lhsStruct,
MmuStruct rhsStruct) |
static MmuCondition |
eqReplaced(IntegerField field) |
static MmuCondition |
eqReplaced(IntegerVariable variable) |
static MmuCondition |
eqReplaced(MmuExpression expression) |
java.util.List<MmuConditionAtom> |
getAtoms() |
MmuCondition |
getInstance(int instanceId,
MemoryAccessContext context) |
MmuCondition.Type |
getType() |
static MmuCondition |
neq(IntegerField field) |
static MmuCondition |
neq(IntegerField field,
java.math.BigInteger value) |
static MmuCondition |
neq(IntegerVariable variable) |
static MmuCondition |
neq(IntegerVariable variable,
java.math.BigInteger value) |
static MmuCondition |
neq(MmuExpression expression) |
static MmuCondition |
neq(MmuExpression expression,
java.math.BigInteger value) |
static MmuCondition |
neq(MmuStruct struct) |
static MmuCondition |
neq(MmuStruct lhsStruct,
MmuStruct rhsStruct) |
static MmuCondition |
neqReplaced(IntegerField field) |
static MmuCondition |
neqReplaced(IntegerVariable variable) |
static MmuCondition |
neqReplaced(MmuExpression expression) |
static MmuCondition |
not(MmuCondition condition) |
static MmuCondition |
nrange(IntegerField field,
java.math.BigInteger min,
java.math.BigInteger max) |
static MmuCondition |
nrange(IntegerVariable variable,
java.math.BigInteger min,
java.math.BigInteger max) |
static MmuCondition |
nrange(MmuExpression expression,
java.math.BigInteger min,
java.math.BigInteger max) |
static MmuCondition |
or(java.util.List<MmuConditionAtom> equalities) |
static MmuCondition |
or(MmuConditionAtom... equalities) |
static MmuCondition |
range(IntegerField field,
java.math.BigInteger min,
java.math.BigInteger max) |
static MmuCondition |
range(IntegerVariable variable,
java.math.BigInteger min,
java.math.BigInteger max) |
static MmuCondition |
range(MmuExpression expression,
java.math.BigInteger min,
java.math.BigInteger max) |
java.lang.String |
toString() |
protected MmuCondition(MmuCondition.Type type, java.util.List<MmuConditionAtom> atoms)
protected MmuCondition(MmuCondition condition)
protected MmuCondition(MmuConditionAtom atom)
public static MmuCondition not(MmuCondition condition)
public static MmuCondition and(java.util.List<MmuConditionAtom> equalities)
public static MmuCondition or(java.util.List<MmuConditionAtom> equalities)
public static MmuCondition and(MmuConditionAtom... equalities)
public static MmuCondition or(MmuConditionAtom... equalities)
public static MmuCondition eq(MmuStruct struct)
public static MmuCondition eq(MmuExpression expression)
public static MmuCondition eq(IntegerField field)
public static MmuCondition eq(IntegerVariable variable)
public static MmuCondition eq(MmuExpression expression, java.math.BigInteger value)
public static MmuCondition eq(IntegerField field, java.math.BigInteger value)
public static MmuCondition eq(IntegerVariable variable, java.math.BigInteger value)
public static MmuCondition eq(MmuStruct lhsStruct, MmuStruct rhsStruct)
public static MmuCondition range(MmuExpression expression, java.math.BigInteger min, java.math.BigInteger max)
public static MmuCondition range(IntegerField field, java.math.BigInteger min, java.math.BigInteger max)
public static MmuCondition range(IntegerVariable variable, java.math.BigInteger min, java.math.BigInteger max)
public static MmuCondition eqReplaced(MmuExpression expression)
public static MmuCondition eqReplaced(IntegerField field)
public static MmuCondition eqReplaced(IntegerVariable variable)
public static MmuCondition neq(MmuStruct struct)
public static MmuCondition neq(MmuExpression expression)
public static MmuCondition neq(IntegerField field)
public static MmuCondition neq(IntegerVariable variable)
public static MmuCondition neq(MmuExpression expression, java.math.BigInteger value)
public static MmuCondition neq(IntegerField field, java.math.BigInteger value)
public static MmuCondition neq(IntegerVariable variable, java.math.BigInteger value)
public static MmuCondition neq(MmuStruct lhsStruct, MmuStruct rhsStruct)
public static MmuCondition nrange(MmuExpression expression, java.math.BigInteger min, java.math.BigInteger max)
public static MmuCondition nrange(IntegerField field, java.math.BigInteger min, java.math.BigInteger max)
public static MmuCondition nrange(IntegerVariable variable, java.math.BigInteger min, java.math.BigInteger max)
public static MmuCondition neqReplaced(MmuExpression expression)
public static MmuCondition neqReplaced(IntegerField field)
public static MmuCondition neqReplaced(IntegerVariable variable)
public MmuCondition.Type getType()
public java.util.List<MmuConditionAtom> getAtoms()
public MmuCondition getInstance(int instanceId, MemoryAccessContext context)
public java.lang.String toString()
toString
in class java.lang.Object