public final class IntegerCast
extends java.lang.Object
Constructor and Description |
---|
IntegerCast() |
Modifier and Type | Method and Description |
---|---|
static ru.ispras.fortress.expression.Node |
cast(ru.ispras.fortress.expression.Node origin,
ru.ispras.fortress.data.DataType type) |
static ru.ispras.fortress.expression.Node |
cast(ru.ispras.fortress.expression.Node origin,
ru.ispras.fortress.data.DataType nodeType,
ru.ispras.fortress.data.DataType type) |
static int |
compare(ru.ispras.fortress.data.DataType lhs,
ru.ispras.fortress.data.DataType rhs) |
static ru.ispras.fortress.data.DataType |
findCommonType(java.util.Collection<? extends ru.ispras.fortress.expression.Node> nodes) |
static int |
getBitVectorOperandIndex(ru.ispras.fortress.expression.Node node,
int start) |
static int |
getIntegerOperandIndex(ru.ispras.fortress.expression.Node node,
int start) |
static boolean |
hasTypeMismatch(java.util.Collection<? extends ru.ispras.fortress.expression.Node> nodes) |
static boolean |
nodeIsInteger(ru.ispras.fortress.expression.Node node) |
static java.util.Map<java.lang.Enum<?>,ru.ispras.fortress.transformer.TransformerRule> |
rules() |
public static java.util.Map<java.lang.Enum<?>,ru.ispras.fortress.transformer.TransformerRule> rules()
public static ru.ispras.fortress.expression.Node cast(ru.ispras.fortress.expression.Node origin, ru.ispras.fortress.data.DataType type)
public static ru.ispras.fortress.expression.Node cast(ru.ispras.fortress.expression.Node origin, ru.ispras.fortress.data.DataType nodeType, ru.ispras.fortress.data.DataType type)
public static int getIntegerOperandIndex(ru.ispras.fortress.expression.Node node, int start)
public static int getBitVectorOperandIndex(ru.ispras.fortress.expression.Node node, int start)
public static boolean nodeIsInteger(ru.ispras.fortress.expression.Node node)
public static ru.ispras.fortress.data.DataType findCommonType(java.util.Collection<? extends ru.ispras.fortress.expression.Node> nodes)
public static int compare(ru.ispras.fortress.data.DataType lhs, ru.ispras.fortress.data.DataType rhs)
public static boolean hasTypeMismatch(java.util.Collection<? extends ru.ispras.fortress.expression.Node> nodes)