edu.princeton.repeatedgames.rgsolve.utilities.gamecompiler
Class GameWriter
java.lang.Object
edu.princeton.repeatedgames.rgsolve.utilities.gamecompiler.GameWriter
public class GameWriter
- extends java.lang.Object
GUI component for constructing GameCodeData
objects
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
fields
static GameWriter.TextArea fields
constructor
static GameWriter.TextArea constructor
payoff1
static GameWriter.TextArea payoff1
payoff2
static GameWriter.TextArea payoff2
gameNotes
static GameWriter.TextArea gameNotes
numAct1
static GameWriter.TextArea numAct1
numAct2
static GameWriter.TextArea numAct2
discount
static GameWriter.TextArea discount
name
static GameWriter.TextArea name
unInitialized
static boolean unInitialized
width
static final int width
- See Also:
- Constant Field Values
height
static final int height
- See Also:
- Constant Field Values
DEFAULT_DATA
static GameCodeData DEFAULT_DATA
GameWriter
private GameWriter()
getGame
public static RGSolveIO.OpenGameReturnObject getGame()
compileGame
public static java.lang.Class compileGame(java.lang.String src)
compileGame
public static java.lang.Class compileGame(GameCodeData gmcode)
loadGame
public static TempGameHolder loadGame(GameCodeData gmcode)
setState
public static void setState(GameCodeData gmcode)