Class PGFElement


  • public class PGFElement
    extends RefElement
    Font Catalog element. This is the reference lookup element for fonts in the MIF document.
    • Constructor Detail

      • PGFElement

        public PGFElement()
        Creates a new font catalog element.
    • Method Detail

      • lookupElement

        public MIFElement lookupElement​(java.lang.Object key)
        Overrides:
        lookupElement in class RefElement
        Parameters:
        key - an object
        Returns:
        an MIF element