Class Anchor


  • public final class Anchor
    extends Object
    An anchor column.
    • Constructor Detail

      • Anchor

        public Anchor​(String name,
                      double tolerance)
        Define an anchor with height tolerance.
      • Anchor

        public Anchor​(String name)
        Define an anchor with no tolerance.
    • Method Detail

      • getName

        public String getName()
      • getTolerance

        public double getTolerance()