Class Region


  • public class Region
    extends Object
    INTERNAL:
    • Method Detail

      • getName

        public String getName()
      • getParent

        public Region getParent()
      • setParent

        public void setParent​(Region parent)
      • addText

        public void addText​(char[] ch,
                            int start,
                            int length)
      • addRegion

        public void addRegion​(Region child)
      • dump

        public void dump()
      • dump

        protected void dump​(int level)
      • visitTokens

        public void visitTokens​(TokenVisitor visitor)