Package jpicedt.format.output.pstricks

Class PstricksContentType

  • All Implemented Interfaces:
    ContentType
    public class PstricksContentType
extends java.lang.Object
implements ContentType
    ContentType for the Pstricks format.
    Version:
    $Id: PstricksContentType.java,v 1.8.2.1 2007/09/02 11:55:14 reynal Exp $
    Author:
    Sylvain Reynal

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected java.lang.String mime  
      protected java.lang.String name  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void configure​(java.util.Properties p)
      Configure the EditorKit and the FormatterFactory returned by the factory methods, from the given Properties
      AbstractCustomizer createCustomizer​(java.util.Properties props)
      Returns a customizer panel for this content-type
      FormatterFactory createFormatter()
      creates a FormatterFactory that's suited for this content-type default implementation returns null.
      ViewFactory createViewFactory()
      Creates a ViewFactory that's suited for this content-type
      java.lang.String getPresentationName()
      Return the presentation name of this content-type

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • name

        protected java.lang.String name

      • mime

        protected java.lang.String mime

    • Constructor Detail

      • PstricksContentType

        public PstricksContentType()

    • Method Detail

      • getPresentationName

        public java.lang.String getPresentationName()
        Description copied from interface: ContentType
        Return the presentation name of this content-type
        Specified by:
        getPresentationName in interface ContentType
        Returns:
        the presentation name of this content-type

      • createFormatter

        public FormatterFactory createFormatter()
        creates a FormatterFactory that's suited for this content-type default implementation returns null.
        Specified by:
        createFormatter in interface ContentType

      • createCustomizer

        public AbstractCustomizer createCustomizer​(java.util.Properties props)
        Returns a customizer panel for this content-type
        Specified by:
        createCustomizer in interface ContentType
        Parameters:
        props - used to init the UI component or to store user-preferences on demand
        Returns:
        null if no customizer is available for this content-type

      • configure

        public void configure​(java.util.Properties p)
        Configure the EditorKit and the FormatterFactory returned by the factory methods, from the given Properties
        Specified by:
        configure in interface ContentType