1108 |
// joined with the previous element. |
// joined with the previous element. |
1109 |
if (specs.size() == 0) |
if (specs.size() == 0) |
1110 |
{ |
{ |
1111 |
if (attr.isEqual(prev.getAttributes())) |
if (prev.getAttributes().isEqual(attr)) |
1112 |
spec.setDirection(ElementSpec.JoinPreviousDirection); |
spec.setDirection(ElementSpec.JoinPreviousDirection); |
1113 |
} |
} |
1114 |
// Check if we could probably be joined with the next element. |
// Check if we could probably be joined with the next element. |
1115 |
else if (attr.isEqual(next.getAttributes())) |
else if (next.getAttributes().isEqual(attr)) |
1116 |
spec.setDirection(ElementSpec.JoinNextDirection); |
spec.setDirection(ElementSpec.JoinNextDirection); |
1117 |
|
|
1118 |
specs.add(spec); |
specs.add(spec); |