Package jason.runtime

Class MASConsoleGUI

java.lang.Object

jason.runtime.MASConsoleGUI

Direct Known Subclasses:

MASConsoleColorGUI

public class MASConsoleGUI
extends Object

the GUI console to output log messages

Field Summary

Fields

Modifier and Type	Field	Description
protected Map<String,JTextArea>	agsTextArea
protected JFrame	frame
protected boolean	inPause
static String	isTabbedPropField
protected static MASConsoleGUI	masConsole
protected OutputStreamAdapter	out
protected JTextArea	output
protected JPanel	pBt
protected JPanel	pcenter
protected JTabbedPane	tabPane

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	MASConsoleGUI(String title)

Method Summary

Modifier and Type	Method	Description
void	addButton(JButton jb)
void	append(String s)
void	append(String agName, String s)
void	cleanConsole()
void	close()
static MASConsoleGUI	get()	for singleton pattern
JFrame	getFrame()
static boolean	hasConsole()
protected void	initButtonPanel()
protected void	initFrame(String title)
protected void	initMainPanel()
protected void	initOutput()
boolean	isPause()
boolean	isTabbed()
void	setAsDefaultOut()
void	setPause(boolean b)
void	setTitle(String s)

Methods inherited from class java.lang.Object

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

Field Details

masConsole

protected static MASConsoleGUI masConsole

isTabbedPropField

public static String isTabbedPropField

agsTextArea

protected Map<String,JTextArea> agsTextArea

tabPane

protected JTabbedPane tabPane

frame

protected JFrame frame

output

protected JTextArea output

pBt

protected JPanel pBt

pcenter

protected JPanel pcenter

out

protected OutputStreamAdapter out

inPause

protected boolean inPause

Constructor Details

MASConsoleGUI

protected MASConsoleGUI(String title)

Method Details

get

public static MASConsoleGUI get()

for singleton pattern

hasConsole

public static boolean hasConsole()

initFrame

protected void initFrame(String title)

initMainPanel

protected void initMainPanel()

initOutput

protected void initOutput()

cleanConsole

public void cleanConsole()

initButtonPanel

protected void initButtonPanel()

setTitle

public void setTitle(String s)

getFrame

public JFrame getFrame()

addButton

public void addButton(JButton jb)

setPause

public void setPause(boolean b)

isTabbed

public boolean isTabbed()

isPause

public boolean isPause()

append

public void append(String s)

append

public void append(String agName,
 String s)

close

public void close()

setAsDefaultOut

public void setAsDefaultOut()