Class Images


  • public class Images
    extends java.lang.Object
    Central class for images used in the reasoner core UI.
    Author:
    Holger Eichelberger
    • Constructor Summary

      Constructors 
      Constructor Description
      Images()  
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static org.eclipse.swt.graphics.Image getImage​(java.lang.String name)
      Returns the image for the specified name.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • Images

        public Images()
    • Method Detail

      • getImage

        public static org.eclipse.swt.graphics.Image getImage​(java.lang.String name)
        Returns the image for the specified name.
        Parameters:
        name - the name of the image (one of the constants specified in this class)
        Returns:
        the related image