Class ElementId


  • public final class ElementId
    extends Object
    Simple container Object used to store information about id attribute values, and references to such (as of yet undefined) values.

    Instances can be in one of 2 modes: either in fully defined mode, in which case information refers to location where value was defined (ie. we had id as a value of ID type attribute); or in undefined mode, in which case information refers to the first reference.

    Note: this class is designed to be used with ElementIdMap, and as a result has some information specifically needed by the map implementation (such as collision links).

    • Method Detail

      • linkUndefined

        protected void linkUndefined​(ElementId undefined)
      • setNextColliding

        protected void setNextColliding​(ElementId nextColl)
      • getId

        public String getId()
      • getLocation

        public Location getLocation()
      • isDefined

        public boolean isDefined()
      • idMatches

        public boolean idMatches​(char[] buf,
                                 int start,
                                 int len)
      • idMatches

        public boolean idMatches​(String idStr)
      • nextUndefined

        public ElementId nextUndefined()
      • nextColliding

        public ElementId nextColliding()
      • markDefined

        public void markDefined​(Location defLoc)