public class MarinaUtils {
- /** StateWireState hides whether the state wire being high means FULL
- * or whether high means EMPTY */
- public static enum StateWireState {FULL, EMPTY};
+ /**
+ * StateWireState hides whether the state wire being high means FULL
+ * or whether high means EMPTY
+ */
+ public static enum StateWireState {
+ FULL, EMPTY
+ };
public static void fatal(boolean pred, String msg) {
if (pred) Infrastructure.fatal(msg);
}
+ /**
+ * Compare two lists of BitVectors
+ */
public static void compareItemsOrdered(List<BitVector> din, List<BitVector> dout) {
fatal(din.size()!=dout.size(),
"in count="+din.size()+" out count="+dout.size());
}
}
+ /**
+ * Convert an edu.berkeley.fleet.api.BitVector to a com.sun.async.test.BitVector
+ */
public static BitVector berkToSun(edu.berkeley.fleet.api.BitVector berkBits) {
BitVector sunBits = new BitVector(berkBits.length(), "berkToSun()");
for(int i=0; i<sunBits.getNumBits(); i++) sunBits.set(i, berkBits.get(i));
return sunBits;
}
+
+ /**
+ * Convert an a com.sun.async.test.BitVector to a edu.berkeley.fleet.api.BitVector
+ */
public static edu.berkeley.fleet.api.BitVector sunToBerk(BitVector sunBits) {
edu.berkeley.fleet.api.BitVector berkBits =
new edu.berkeley.fleet.api.BitVector(sunBits.getNumBits());