Class HandleTpl


  • public class HandleTpl
    extends java.lang.Object
    • Method Detail

      • getPtrSpace

        public ConstTpl getPtrSpace()
      • getPtrOffset

        public ConstTpl getPtrOffset()
      • getPtrSize

        public ConstTpl getPtrSize()
      • getTempSpace

        public ConstTpl getTempSpace()
      • getTempOffset

        public ConstTpl getTempOffset()
      • setSize

        public void setSize​(ConstTpl sz)
      • setPtrSize

        public void setPtrSize​(ConstTpl sz)
      • setPtrOffset

        public void setPtrOffset​(long val)
      • setTempOffset

        public void setTempOffset​(long val)
      • changeHandleIndex

        public void changeHandleIndex​(VectorSTL<java.lang.Integer> handmap)
      • saveXml

        public void saveXml​(java.io.PrintStream s)
      • restoreXml

        public void restoreXml​(org.jdom.Element el,
                               Translate trans)
      • dispose

        public void dispose()