1 56 57 package org.jdom.contrib.input; 58 59 import org.jdom.Element; 60 import org.jdom.Namespace; 61 62 72 public class LineNumberElement extends Element 73 { 74 private int _startLine; 75 private int _endLine; 76 77 public LineNumberElement(String name) { 78 super(name); 79 } 80 81 public LineNumberElement() 82 { 83 super(); 84 } 85 86 public LineNumberElement(String name, String uri) 87 { 88 super(name, uri); 89 } 90 91 public LineNumberElement(String name, String prefix, String uri) 92 { 93 super(name, prefix, uri); 94 } 95 96 public LineNumberElement(String name, Namespace namespace) { 97 super(name, namespace); 98 } 99 100 101 102 public int getEndLine() 103 { 104 return _endLine; 105 } 106 107 public int getStartLine() 108 { 109 return _startLine; 110 } 111 112 public void setEndLine(int i) 113 { 114 _endLine = i; 115 } 116 117 public void setStartLine(int i) 118 { 119 _startLine = i; 120 } 121 122 } 123 | Popular Tags |