public class EventDecoder
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static char |
ALGORITHM_RESULT_EVENT |
static char[] |
CANNOT_BE_USED |
static char |
CHECK_IT_BUTTON |
static char |
COMPRESS |
static char |
DESELECTED |
static char |
EDGE_ADDED |
static char |
EDGE_REMOVED |
static char |
EXPAND |
static char |
GRAPH_MOVED |
static char |
HORIZONTAL_FLIP |
static char |
MULT_VERTEX_MULT_MOVE |
static char |
MULTI_EDGES_ADDED |
static char |
MULTI_EDGES_REMOVED |
static char |
MULTI_VERTEX_ADDED |
static char |
MULTI_VERTEX_MOVE |
static char |
MULTI_VERTEX_REMOVED |
static char |
REDO |
static char[] |
RESERVED |
static char |
RESET_LOCATIONS |
static char |
SELECTED |
static char |
SUBGRAPH_ADDED |
static char |
SUBGRAPH_REMOVED |
static char |
TRY_IT_BUTTON |
static char |
UNDO |
static char |
UNDO_RESET_LOCATIONS |
static char |
VERTEX_ADDED |
static char |
VERTEX_MOVED |
static char |
VERTEX_REMOVED |
static char |
VERTICAL_FLIP |
static char |
XY_FLIP |
Constructor and Description |
---|
EventDecoder() |
Modifier and Type | Method and Description |
---|---|
void |
addEventMapping(char c,
java.lang.Class<? extends BaseEvent> cl) |
BaseEvent |
createEvent(java.lang.String encoding,
PuzzleInstance game)
Create an event based on a character encoding and game/graph to which it belongs.
|
java.lang.Character |
getEncodingCharacter(java.lang.Class<? extends BaseEvent> eventClass) |
static EventDecoder |
getEventDecoder(PuzzleInstance pi)
A factory method to get an encoder for a given puzzle family.
|
java.lang.Class<? extends PuzzleInstance> |
getPuzzleClass() |
java.util.ArrayList<Event<?>> |
parseRunnableEvents(java.lang.String eventList,
PuzzleInstance game) |
void |
setPuzzleClass(java.lang.Class<? extends PuzzleInstance> puzzleClass) |
public static final char[] CANNOT_BE_USED
public static final char[] RESERVED
public static final char UNDO
public static final char REDO
public static final char CHECK_IT_BUTTON
public static final char TRY_IT_BUTTON
public static final char ALGORITHM_RESULT_EVENT
public static final char DESELECTED
public static final char SELECTED
public static final char EDGE_ADDED
public static final char EDGE_REMOVED
public static final char VERTEX_ADDED
public static final char VERTEX_REMOVED
public static final char VERTEX_MOVED
public static final char MULTI_VERTEX_REMOVED
public static final char MULTI_VERTEX_MOVE
public static final char MULTI_VERTEX_ADDED
public static final char MULT_VERTEX_MULT_MOVE
public static final char MULTI_EDGES_REMOVED
public static final char MULTI_EDGES_ADDED
public static final char SUBGRAPH_ADDED
public static final char SUBGRAPH_REMOVED
public static final char XY_FLIP
public static final char VERTICAL_FLIP
public static final char HORIZONTAL_FLIP
public static final char EXPAND
public static final char COMPRESS
public static final char RESET_LOCATIONS
public static final char UNDO_RESET_LOCATIONS
public static final char GRAPH_MOVED
public static EventDecoder getEventDecoder(PuzzleInstance pi)
public java.lang.Class<? extends PuzzleInstance> getPuzzleClass()
public void setPuzzleClass(java.lang.Class<? extends PuzzleInstance> puzzleClass)
public java.lang.Character getEncodingCharacter(java.lang.Class<? extends BaseEvent> eventClass)
public void addEventMapping(char c, java.lang.Class<? extends BaseEvent> cl)
public BaseEvent createEvent(java.lang.String encoding, PuzzleInstance game)
encoding
- public java.util.ArrayList<Event<?>> parseRunnableEvents(java.lang.String eventList, PuzzleInstance game)