Package org.tweetyproject.commons

Class PlotterMultiFrame

java.lang.Object

org.tweetyproject.commons.Plotter

org.tweetyproject.commons.PlotterMultiFrame

public class PlotterMultiFrame
extends Plotter

This class is responsible for the behavior of a plotter with multiple frames. Closing one frame shall only exit the application, iff it was the last frame.

Version:

TweetyProject 1.23

Author:

Julian Sander

Constructor Summary

Constructors

Constructor	Description
PlotterMultiFrame()

Method Summary

Modifier and Type	Method	Description
void	createFrame(int frameWidth, int frameHeight)	Create a new main frame with specific proportions
void	show()	Show the frame after adding some plots

Methods inherited from class org.tweetyproject.commons.Plotter

add, addLabels, getFrame, getHGap, getVGap

Methods inherited from class java.lang.Object

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

Constructor Details

PlotterMultiFrame

public PlotterMultiFrame()

Method Details

createFrame

public void createFrame(int frameWidth,
 int frameHeight)

Create a new main frame with specific proportions

Overrides:

createFrame in class Plotter

Parameters:

frameWidth - the width of the frame

frameHeight - the height of the frame

show

public void show()

Description copied from class: Plotter

Show the frame after adding some plots

Overrides:

show in class Plotter