public class ArrayUtil
extends java.lang.Object
Constructor and Description |
---|
ArrayUtil() |
Modifier and Type | Method and Description |
---|---|
static Pair<za.ac.sun.cs.green.expr.Expression,java.lang.String> |
constructArrayITE(za.ac.sun.cs.green.expr.Expression indexExpression,
int index,
Pair<za.ac.sun.cs.green.expr.Expression[],java.lang.String> valuesTypePair) |
static void |
doArrayStore(gov.nasa.jpf.vm.ThreadInfo ti,
ArrayExpressions arrayExpressions,
DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable) |
static Pair<za.ac.sun.cs.green.expr.Expression,java.lang.String> |
getArrayElement(gov.nasa.jpf.vm.ElementInfo ei,
int index) |
private static za.ac.sun.cs.green.expr.Expression |
getArrayElementInner(gov.nasa.jpf.vm.ElementInfo ei,
int index,
java.lang.String type) |
static int |
getArrayLength(gov.nasa.jpf.vm.ThreadInfo ti,
int ref) |
static Pair<za.ac.sun.cs.green.expr.Expression,java.lang.String> |
getExpression(gov.nasa.jpf.vm.ThreadInfo ti,
ArrayRef c,
Pair<za.ac.sun.cs.green.expr.Expression[],java.lang.String> valuesTypePair) |
static Pair<za.ac.sun.cs.green.expr.Expression[],java.lang.String> |
getInitialArrayValues(gov.nasa.jpf.vm.ThreadInfo ti,
int ref) |
public static Pair<za.ac.sun.cs.green.expr.Expression,java.lang.String> getExpression(gov.nasa.jpf.vm.ThreadInfo ti, ArrayRef c, Pair<za.ac.sun.cs.green.expr.Expression[],java.lang.String> valuesTypePair)
public static Pair<za.ac.sun.cs.green.expr.Expression,java.lang.String> constructArrayITE(za.ac.sun.cs.green.expr.Expression indexExpression, int index, Pair<za.ac.sun.cs.green.expr.Expression[],java.lang.String> valuesTypePair)
public static Pair<za.ac.sun.cs.green.expr.Expression,java.lang.String> getArrayElement(gov.nasa.jpf.vm.ElementInfo ei, int index)
private static za.ac.sun.cs.green.expr.Expression getArrayElementInner(gov.nasa.jpf.vm.ElementInfo ei, int index, java.lang.String type)
public static int getArrayLength(gov.nasa.jpf.vm.ThreadInfo ti, int ref)
public static Pair<za.ac.sun.cs.green.expr.Expression[],java.lang.String> getInitialArrayValues(gov.nasa.jpf.vm.ThreadInfo ti, int ref)
public static void doArrayStore(gov.nasa.jpf.vm.ThreadInfo ti, ArrayExpressions arrayExpressions, DynamicTable<za.ac.sun.cs.green.expr.Expression> constantsTable) throws StaticRegionException
StaticRegionException