/** * Constructs an instance. * * @param lineNumbers {@code non-null;} list of line number entries */ public AttLineNumberTable(LineNumberList lineNumbers) { super(ATTRIBUTE_NAME); try { if (lineNumbers.isMutable()) { throw new MutabilityException("lineNumbers.isMutable()"); } } catch (NullPointerException ex) { // Translate the exception. throw new NullPointerException("lineNumbers == null"); } this.lineNumbers = lineNumbers; }
/** * Constructs an instance. * * @param lineNumbers {@code non-null;} list of line number entries */ public AttLineNumberTable(LineNumberList lineNumbers) { super(ATTRIBUTE_NAME); try { if (lineNumbers.isMutable()) { throw new MutabilityException("lineNumbers.isMutable()"); } } catch (NullPointerException ex) { // Translate the exception. throw new NullPointerException("lineNumbers == null"); } this.lineNumbers = lineNumbers; }
/** * Constructs an instance. * * @param lineNumbers {@code non-null;} list of line number entries */ public AttLineNumberTable(LineNumberList lineNumbers) { super(ATTRIBUTE_NAME); try { if (lineNumbers.isMutable()) { throw new MutabilityException("lineNumbers.isMutable()"); } } catch (NullPointerException ex) { // Translate the exception. throw new NullPointerException("lineNumbers == null"); } this.lineNumbers = lineNumbers; }
/** * Constructs an instance. * * @param lineNumbers {@code non-null;} list of line number entries */ public AttLineNumberTable(LineNumberList lineNumbers) { super(ATTRIBUTE_NAME); try { if (lineNumbers.isMutable()) { throw new MutabilityException("lineNumbers.isMutable()"); } } catch (NullPointerException ex) { // Translate the exception. throw new NullPointerException("lineNumbers == null"); } this.lineNumbers = lineNumbers; }
/** * Constructs an instance. * * @param lineNumbers {@code non-null;} list of line number entries */ public AttLineNumberTable(LineNumberList lineNumbers) { super(ATTRIBUTE_NAME); try { if (lineNumbers.isMutable()) { throw new MutabilityException("lineNumbers.isMutable()"); } } catch (NullPointerException ex) { // Translate the exception. throw new NullPointerException("lineNumbers == null"); } this.lineNumbers = lineNumbers; }
/** * Constructs an instance. * * @param lineNumbers {@code non-null;} list of line number entries */ public AttLineNumberTable(LineNumberList lineNumbers) { super(ATTRIBUTE_NAME); try { if (lineNumbers.isMutable()) { throw new MutabilityException("lineNumbers.isMutable()"); } } catch (NullPointerException ex) { // Translate the exception. throw new NullPointerException("lineNumbers == null"); } this.lineNumbers = lineNumbers; }