@Override public boolean isTop(FrameType fact) { return fact.isTop(); }
/** * Is the frame valid (meaning it is not TOP or BOTTOM)? */ public boolean isValid() { return !isTop() && !isBottom(); }
@Override public boolean sameAs(Frame<ValueNumber> other) { if(!super.sameAs(other)) { return false; } if (isTop() && other.isTop() || isBottom() && other.isBottom()) { return true; } ValueNumberFrame o = (ValueNumberFrame)other; if(availableLoadMap.size() != o.availableLoadMap.size()) { return false; } for(Entry<AvailableLoad, ValueNumber[]> entry : availableLoadMap.entrySet()) { ValueNumber[] oValue = o.availableLoadMap.get(entry.getKey()); if(!Arrays.equals(entry.getValue(), oValue)) { return false; } } return true; }
if (isTop()) { return "[TOP]";
@Override public boolean isTop(FrameType fact) { return fact.isTop(); }
/** * Is the frame valid (meaning it is not TOP or BOTTOM)? */ public boolean isValid() { return !isTop() && !isBottom(); }
@Override public boolean sameAs(Frame<ValueNumber> other) { if(!super.sameAs(other)) { return false; } if (isTop() && other.isTop() || isBottom() && other.isBottom()) { return true; } ValueNumberFrame o = (ValueNumberFrame)other; if(availableLoadMap.size() != o.availableLoadMap.size()) { return false; } for(Entry<AvailableLoad, ValueNumber[]> entry : availableLoadMap.entrySet()) { ValueNumber[] oValue = o.availableLoadMap.get(entry.getKey()); if(!Arrays.equals(entry.getValue(), oValue)) { return false; } } return true; }
if (isTop()) { return "[TOP]";