Class DelimiterFactory


  • public class DelimiterFactory
    extends java.lang.Object
    Responsible for creating a box containing a delimiter symbol that exists in different sizes.
    • Constructor Detail

      • DelimiterFactory

        public DelimiterFactory()
    • Method Detail

      • create

        public static Box create​(java.lang.String symbol,
                                 TeXEnvironment env,
                                 float minHeight)
        Parameters:
        symbol - the name of the delimiter symbol
        env - the TeXEnvironment in which to create the delimiter box
        minHeight - the minimum required total height of the box (height + depth).
        Returns:
        the box representing the delimiter variant that fits best according to the required minimum size.