001package votorola.g.xml.stream; // Copyright 2009, Michael Allan.  Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Votorola Software"), to deal in the Votorola Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicence, and/or sell copies of the Votorola Software, and to permit persons to whom the Votorola Software is furnished to do so, subject to the following conditions: The preceding copyright notice and this permission notice shall be included in all copies or substantial portions of the Votorola Software. THE VOTOROLA SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE VOTOROLA SOFTWARE OR THE USE OR OTHER DEALINGS IN THE VOTOROLA SOFTWARE.
002
003import javax.xml.stream.*;
004import votorola.g.lang.*;
005
006
007/** An immutable location.
008  */
009public @ThreadSafe final class LocationI implements Location
010{
011
012
013    /** Copy-constructs a location.
014      */
015    public LocationI( final Location o )
016    {
017        characterOffset = o.getCharacterOffset();
018        columnNumber = o.getColumnNumber();
019        lineNumber = o.getLineNumber();
020        publicId = o.getPublicId();
021        systemId = o.getSystemId();
022    }
023
024
025
026   // - L o c a t i o n ------------------------------------------------------------------
027
028
029    public int getCharacterOffset() { return characterOffset; }
030
031
032        private final int characterOffset;
033
034
035
036    public int getColumnNumber() { return columnNumber; }
037
038
039        private final int columnNumber;
040
041
042
043    public int getLineNumber() { return lineNumber; }
044
045
046        private final int lineNumber;
047
048
049
050    public String getPublicId() { return publicId; }
051
052
053        private final String publicId;
054
055
056
057    public String getSystemId() { return systemId; }
058
059
060        private final String systemId;
061
062
063   // - O b j e c t ----------------------------------------------------------------------
064
065
066   public @Override final String toString() { return LocationX.toString( LocationI.this ); }
067
068
069
070}