}
public void testConstructor2(TestHarness harness)
{
harness.checkPoint("(float, int, int)");
TabStop ts1 = new TabStop(1.0f, TabStop.ALIGN_DECIMAL, TabStop.LEAD_DOTS);
harness.check(ts1.getPosition(), 1.0f);
harness.check(ts1.getAlignment(), TabStop.ALIGN_DECIMAL);
harness.check(ts1.getLeader(), TabStop.LEAD_DOTS);
// try bad alignment
ts1 = new TabStop(1.0f, 99, TabStop.LEAD_DOTS);
harness.check(ts1.getPosition(), 1.0f);
harness.check(ts1.getAlignment(), 99);
harness.check(ts1.getLeader(), TabStop.LEAD_DOTS);
// try bad lead
ts1 = new TabStop(1.0f, TabStop.ALIGN_DECIMAL, 99);
harness.check(ts1.getPosition(), 1.0f);
harness.check(ts1.getAlignment(), TabStop.ALIGN_DECIMAL);
harness.check(ts1.getLeader(), 99);
}