/* (non-Javadoc) * @see java.lang.Object#equals(java.lang.Object) * Returns true if the IDs and values are equal. Values can be unassigned, but then both have to be unassigned */ public boolean equals(Object to) { if (to != null && to instanceof Assignment) { Assignment other = (Assignment) to; if (variableId.equals(other.getVariableId())) if ((value == null && other.getValue() == null) || value.equals(other.getValue())) return true; } return false; }
/** * @param arg0 * @return a comparison of the IDs of the variables (values are ignored) */ public int compareTo(Object arg0) { Assignment new_name = (Assignment) arg0; int vidcmp = variableId.compareTo(new_name.getVariableId()); if (vidcmp == 0) return value.compareTo(new_name.value); else return vidcmp; }