@Override public int compareTo(Declaration other) { if( !(other instanceof AssignedDeclaration)) return super.compareTo(other); AssignedDeclaration o = (AssignedDeclaration) other; int res = getOriginOrder() - o.getOriginOrder(); if (res == 0) return this.spec.compareTo(o.spec); else return res; }
@Override public int compareTo(Declaration other) { if( !(other instanceof AssignedDeclaration)) return super.compareTo(other); AssignedDeclaration o = (AssignedDeclaration) other; int res = getOriginOrder() - o.getOriginOrder(); if (res == 0) return this.spec.compareTo(o.spec); else return res; }
@Override public int compareTo(Declaration other) { if( !(other instanceof AssignedDeclaration)) return super.compareTo(other); AssignedDeclaration o = (AssignedDeclaration) other; int res = getOriginOrder() - o.getOriginOrder(); if (res == 0) return this.spec.compareTo(o.spec); else return res; }
@Override public int compareTo(Declaration other) { if( !(other instanceof AssignedDeclaration)) return super.compareTo(other); AssignedDeclaration o = (AssignedDeclaration) other; int res = getOriginOrder() - o.getOriginOrder(); if (res == 0) return this.spec.compareTo(o.spec); else return res; }