@Test public void testDefaultCaseLabel() { assertEquals("default:\n", new DefaultCaseLabel().getText()); final DefaultCaseLabel defaultCaseLabel = new DefaultCaseLabel(); assertNotSame(defaultCaseLabel, defaultCaseLabel.clone()); }
@Override public DefaultCaseLabel clone() { return new DefaultCaseLabel(); }
DefaultCaseLabel extends CaseLabel { @Override public DefaultCaseLabel clone() { return new DefaultCaseLabel(); } }
DefaultCaseLabel extends CaseLabel { @Override public DefaultCaseLabel clone() { return new DefaultCaseLabel(); }  }
DefaultCaseLabel extends CaseLabel { @Override public DefaultCaseLabel clone() { return new DefaultCaseLabel(); }  @Override void accept(IAstVisitor visitor); @Override DefaultCaseLabel clone(); }
DefaultCaseLabel extends CaseLabel { @Override public DefaultCaseLabel clone() { return new DefaultCaseLabel(); }  @Override void accept(IAstVisitor visitor); @Override DefaultCaseLabel clone();  }