public interface DetailViewer
| Modifier and Type | Method and Description | 
|---|---|
| void | addKeyedItem(String name,
            boolean value)Adds a key-value paired information item for boolean data. | 
| void | addKeyedItem(String name,
            double value)Adds a key-value paired information item for double data. | 
| void | addKeyedItem(String name,
            float value)Adds a key-value paired information item for float data. | 
| void | addKeyedItem(String name,
            int value)Adds a key-value paired information item for int data. | 
| void | addKeyedItem(String name,
            long value)Adds a key-value paired information item for long data. | 
| void | addKeyedItem(String name,
            Object value)Adds a key-value paired information item for Object data. | 
| void | addKeyedItem(String name,
            String value)Adds a key-value paired information item for string data. | 
| void | addPane(String title,
       Component comp)Adds a component for optional display within this viewer. | 
| void | addPane(String title,
       ComponentMaker maker)Adds a deferred-construction component for optional display within
 this viewer. | 
| void | addScalingPane(String title,
              ComponentMaker maker)Adds a new deferred-construction component which will 
 draw itself at a size appropriate to the size of its container. | 
| void | addSeparator()Adds a visible separator to the display. | 
| void | addSpace()Adds a small amount of space to the overview display. | 
| void | addSubHead(String text)Adds a subheading to the display. | 
| void | addText(String text)Adds unformatted text to the display. | 
| void | addTitle(String title)Adds a top-level title to the display. | 
| void | logError(Throwable err)Logs an error in supplying data in some visible fashion. | 
void addTitle(String title)
title - title textvoid addSubHead(String text)
text - subheading textvoid addKeyedItem(String name, String value)
name - key textvalue - valuevoid addKeyedItem(String name, Object value)
name - key textvalue - valuevoid addKeyedItem(String name, double value)
name - key textvalue - valuevoid addKeyedItem(String name, float value)
name - key textvalue - valuevoid addKeyedItem(String name, long value)
name - key textvalue - valuevoid addKeyedItem(String name, int value)
name - key textvalue - valuevoid addKeyedItem(String name, boolean value)
name - key textvalue - valuevoid logError(Throwable err)
err - errorvoid addSeparator()
void addSpace()
void addText(String text)
text - textvoid addPane(String title, Component comp)
title - title of the new componentcomp - componentvoid addPane(String title, ComponentMaker maker)
title - title of the new componentmaker - component deferred factoryvoid addScalingPane(String title, ComponentMaker maker)
JComponent returned by maker
 should generally have a paintComponent method
 which senses its actual size and draws itself accordingly,
 something like this:
 
     protected void paintComponent( Graphics g ) {
         super.paintComponent( g );
         doScaledPainting( getSize() );
     }
 
 or, perhaps for efficiency, more like this:
 
     private Dimension lastSize;
     protected void paintComponent( Graphics g ) {
         super.paintComponent( g );
         Dimension size = getSize();
         if ( ! size.equals( lastSize ) ) {
             setPreferredSize( size );
             reconfigureComponentToSize( size );
         }
         doPainting();
     }
 title - title of the new componentmaker - component deferred factoryCopyright © 2025 Central Laboratory of the Research Councils. All Rights Reserved.