Class EvoLudoWeb.GUIState

Object

GUIState

Enclosing class:

EvoLudoWeb

class EvoLudoWeb.GUIState
extends Object

Helper structure to store the current state of the GUI.

Field Summary

Fields

Modifier and Type	Field	Description
(package private) int	issues	The number of issues that have occurred during parsing
(package private) Model	model	The active model.
(package private) Module<?>	module	The active module.
(package private) Plist	plist	The the configuration to restore, if any.
(package private) boolean	resume	The flag to indicate whether to resume execution of the model.
(package private) AbstractView<?>	view	The active view.

Constructor Summary

Constructors

Constructor	Description
GUIState()	Create an empty GUI state snapshot.

Method Summary

Methods inherited from class Object

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

Field Details

module

Module<?> module

The active module.

model

Model model

The active model.

plist

Plist plist

The the configuration to restore, if any.

view

AbstractView<?> view

The active view.

resume

boolean resume

The flag to indicate whether to resume execution of the model.

issues

int issues

The number of issues that have occurred during parsing

Constructor Details

GUIState

GUIState()

Create an empty GUI state snapshot.