/* * PuzzleApplet.java: NestedVM applet for the puzzle collection */ import java.awt.*; import java.awt.event.*; import java.awt.image.BufferedImage; import java.util.*; import javax.swing.*; import javax.swing.border.BevelBorder; import javax.swing.Timer; import java.util.List; import org.ibex.nestedvm.Runtime; public class PuzzleApplet extends JApplet implements Runtime.CallJavaCB { private static final long serialVersionUID = 1L; private static final int CFG_SETTINGS = 0, CFG_SEED = 1, CFG_DESC = 2, LEFT_BUTTON = 0x0200, MIDDLE_BUTTON = 0x201, RIGHT_BUTTON = 0x202, LEFT_DRAG = 0x203, MIDDLE_DRAG = 0x204, RIGHT_DRAG = 0x205, LEFT_RELEASE = 0x206, CURSOR_UP = 0x209, CURSOR_DOWN = 0x20a, CURSOR_LEFT = 0x20b, CURSOR_RIGHT = 0x20c, MOD_CTRL = 0x1000, MOD_SHFT = 0x2000, MOD_NUM_KEYPAD = 0x4000, ALIGN_VCENTRE = 0x100, ALIGN_HCENTRE = 0x001, ALIGN_HRIGHT = 0x002, C_STRING = 0, C_CHOICES = 1, C_BOOLEAN = 2; private JFrame mainWindow; private JMenu typeMenu; private JMenuItem solveCommand; private Color[] colors; private JLabel statusBar; private PuzzlePanel pp; private Runtime runtime; private String[] puzzle_args; private Graphics2D gg; private Timer timer; private int xarg1, xarg2, xarg3; private int[] xPoints, yPoints; private BufferedImage[] blitters = new BufferedImage[512]; private ConfigDialog dlg; static { try { UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName()); } catch (Exception ex) { ex.printStackTrace(); } } public void init() { try { Container cp = getContentPane(); cp.setLayout(new BorderLayout()); runtime = (Runtime) Class.forName("PuzzleEngine").newInstance(); runtime.setCallJavaCB(this); JMenuBar menubar = new JMenuBar(); JMenu jm; menubar.add(jm = new JMenu("Game")); addMenuItemWithKey(jm, "New", 'n'); addMenuItemCallback(jm, "Restart", "jcallback_restart_event"); addMenuItemCallback(jm, "Specific...", "jcallback_config_event", CFG_DESC); addMenuItemCallback(jm, "Random Seed...", "jcallback_config_event", CFG_SEED); jm.addSeparator(); addMenuItemWithKey(jm, "Undo", 'u'); addMenuItemWithKey(jm, "Redo", 'r'); jm.addSeparator(); solveCommand = addMenuItemCallback(jm, "Solve", "jcallback_solve_event"); solveCommand.setEnabled(false); if (mainWindow != null) { jm.addSeparator(); addMenuItemWithKey(jm, "Exit", 'q'); } menubar.add(typeMenu = new JMenu("Type")); typeMenu.setVisible(false); menubar.add(jm = new JMenu("Help")); addMenuItemCallback(jm, "About", "jcallback_about_event"); setJMenuBar(menubar); cp.add(pp = new PuzzlePanel(), BorderLayout.CENTER); pp.addKeyListener(new KeyAdapter() { public void keyPressed(KeyEvent e) { int key = -1; int shift = e.isShiftDown() ? MOD_SHFT : 0; int ctrl = e.isControlDown() ? MOD_CTRL : 0; switch (e.getKeyCode()) { case KeyEvent.VK_LEFT: case KeyEvent.VK_KP_LEFT: key = shift | ctrl | CURSOR_LEFT; break; case KeyEvent.VK_RIGHT: case KeyEvent.VK_KP_RIGHT: key = shift | ctrl | CURSOR_RIGHT; break; case KeyEvent.VK_UP: case KeyEvent.VK_KP_UP: key = shift | ctrl | CURSOR_UP; break; case KeyEvent.VK_DOWN: case KeyEvent.VK_KP_DOWN: key = shift | ctrl | CURSOR_DOWN; break; case KeyEvent.VK_PAGE_UP: /* ** $Id$ ** String table (keep all strings handled by Lua) ** See Copyright Notice in lua.h */ #ifndef lstring_h #define lstring_h #include "lgc.h" #include "lobject.h" #include "lstate.h" #define sizestring(s) (sizeof(union TString)+((s)->len+1)*sizeof(char)) #define sizeudata(u) (sizeof(union Udata)+(u)->len) #define luaS_new(L, s) (luaS_newlstr(L, s, strlen(s))) #define luaS_newliteral(L, s) (luaS_newlstr(L, "" s, \ (sizeof(s)/sizeof(char))-1)) #define luaS_fix(s) l_setbit((s)->tsv.marked, FIXEDBIT) LUAI_FUNC void luaS_resize (lua_State *L, int newsize); LUAI_FUNC Udata *luaS_newudata (lua_State *L, size_t s, Table *e); LUAI_FUNC TString *luaS_newlstr (lua_State *L, const char *str, size_t l); #endif
generated by cgit v1.1 at 2026-04-27 11:21:28 +0000
int button; if ((e.getModifiers() & (InputEvent.BUTTON2_MASK | InputEvent.SHIFT_MASK)) != 0) button = MIDDLE_DRAG; else if ((e.getModifiers() & (InputEvent.BUTTON3_MASK | InputEvent.ALT_MASK)) != 0) button = RIGHT_DRAG; else button = LEFT_DRAG; runtimeCall("jcallback_key_event", new int[] {e.getX(), e.getY(), button}); } }); pp.addComponentListener(new ComponentAdapter() { public void componentResized(ComponentEvent e) { handleResized(); } }); pp.setFocusable(true); pp.requestFocus(); timer = new Timer(20, new ActionListener() { public void actionPerformed(ActionEvent e) { runtimeCall("jcallback_timer_func", new int[0]); } }); String gameid; try { gameid = getParameter("game_id"); } catch (java.lang.NullPointerException ex) { gameid = null; } if (gameid == null) { puzzle_args = null; } else { puzzle_args = new String[2]; puzzle_args[0] = "puzzle"; puzzle_args[1] = gameid; } SwingUtilities.invokeLater(new Runnable() { public void run() { runtime.start(puzzle_args); runtime.execute(); } }); } catch (Exception ex) { ex.printStackTrace(); } } public void destroy() { SwingUtilities.invokeLater(new Runnable() { public void run() { runtime.execute(); if (mainWindow != null) { mainWindow.dispose(); System.exit(0); } } }); } protected void handleResized() { pp.createBackBuffer(pp.getWidth(), pp.getHeight(), colors[0]); runtimeCall("jcallback_resize", new int[] {pp.getWidth(), pp.getHeight()}); } private void addMenuItemWithKey(JMenu jm, String name, int key) { addMenuItemCallback(jm, name, "jcallback_menu_key_event", key); } private JMenuItem addMenuItemCallback(JMenu jm, String name, final String callback, final int arg) { return addMenuItemCallback(jm, name, callback, new int[] {arg}); } private JMenuItem addMenuItemCallback(JMenu jm, String name, final String callback) { return addMenuItemCallback(jm, name, callback, new int[0]); } private JMenuItem addMenuItemCallback(JMenu jm, String name, final String callback, final int[] args) { JMenuItem jmi; if (jm == typeMenu) typeMenu.add(jmi = new JCheckBoxMenuItem(name)); else jm.add(jmi = new JMenuItem(name)); jmi.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { runtimeCall(callback, args); } }); return jmi; } protected void runtimeCall(String func, int[] args) { if (runtimeCallWithResult(func, args) == 42 && mainWindow != null) { destroy(); } } protected int runtimeCallWithResult(String func, int[] args) { try { return runtime.call(func, args); } catch (Runtime.CallException ex) { ex.printStackTrace(); return 42; } } private void buildConfigureMenuItem() { if (typeMenu.isVisible()) { typeMenu.addSeparator(); } else { typeMenu.setVisible(true); } addMenuItemCallback(typeMenu, "Custom...", "jcallback_config_event", CFG_SETTINGS); } private void addTypeItem(String name, final int ptrGameParams) { typeMenu.setVisible(true); addMenuItemCallback(typeMenu, name, "jcallback_preset_event", ptrGameParams); } public int call(int cmd, int arg1, int arg2, int arg3) { try { switch(cmd) { case 0: // initialize if (mainWindow != null) mainWindow.setTitle(runtime.cstring(arg1)); if ((arg2 & 1) != 0) buildConfigureMenuItem(); if ((arg2 & 2) != 0) addStatusBar(); if ((arg2 & 4) != 0) solveCommand.setEnabled(true); colors = new Color[arg3]; return 0; case 1: // Type menu item addTypeItem(runtime.cstring(arg1), arg2); return 0; case 2: // MessageBox JOptionPane.showMessageDialog(this, runtime.cstring(arg2), runtime.cstring(arg1), arg3 == 0 ? JOptionPane.INFORMATION_MESSAGE : JOptionPane.ERROR_MESSAGE); return 0; case 3: // Resize pp.setPreferredSize(new Dimension(arg1, arg2)); if (mainWindow != null) mainWindow.pack(); handleResized(); if (mainWindow != null) mainWindow.setVisible(true); return 0; case 4: // drawing tasks switch(arg1) { case 0: String text = runtime.cstring(arg2); if (text.equals("")) text = " "; statusBar.setText(text); break; case 1: gg = pp.backBuffer.createGraphics(); if (arg2 != 0 || arg3 != 0 || arg2 + xarg2 != getWidth() || arg3 + xarg3 != getHeight()) { int left = arg2, right = arg2 + xarg2; int top = arg3, bottom = arg3 + xarg3; int width = getWidth(), height = getHeight(); gg.setColor(colors != null ? colors[0] : Color.black); gg.fillRect(0, 0, left, height); gg.fillRect(right, 0, width-right, height); gg.fillRect(0, 0, width, top); gg.fillRect(0, bottom, width, height-bottom); gg.setClip(left, top, right-left, bottom-top); } break; case 2: gg.dispose(); pp.repaint(); break; case 3: gg.setClip(arg2, arg3, xarg1, xarg2); break; case 4: if (arg2 == 0 && arg3 == 0) { gg.setClip(0, 0, getWidth(), getHeight()); } else { gg.setClip(arg2, arg3, getWidth()-2*arg2, getHeight()-2*arg3); } break; case 5: gg.setColor(colors[xarg3]); gg.fillRect(arg2, arg3, xarg1, xarg2); break; case 6: gg.setColor(colors[xarg3]); gg.drawLine(arg2, arg3, xarg1, xarg2); break; case 7: xPoints = new int[arg2]; yPoints = new int[arg2]; break; case 8: if (arg3 != -1) { gg.setColor(colors[arg3]); gg.fillPolygon(xPoints, yPoints, xPoints.length); } gg.setColor(colors[arg2]); gg.drawPolygon(xPoints, yPoints, xPoints.length); break; case 9: if (arg3 != -1) { gg.setColor(colors[arg3]); gg.fillOval(xarg1-xarg3, xarg2-xarg3, xarg3*2, xarg3*2); } gg.setColor(colors[arg2]); gg.drawOval(xarg1-xarg3, xarg2-xarg3, xarg3*2, xarg3*2); break; case 10: for(int i=0; i= 1024 && cmd < 2048) { // palette colors[cmd-1024] = new Color(arg1, arg2, arg3); } if (cmd == 1024) { pp.setBackground(colors[0]); if (statusBar != null) statusBar.setBackground(colors[0]); this.setBackground(colors[0]); } return 0; } } catch (Throwable ex) { ex.printStackTrace(); System.exit(-1); return 0; } } private void addStatusBar() { statusBar = new JLabel("test"); statusBar.setBorder(new BevelBorder(BevelBorder.LOWERED)); getContentPane().add(BorderLayout.SOUTH,statusBar); } // Standalone runner public static void main(String[] args) { final PuzzleApplet a = new PuzzleApplet(); JFrame jf = new JFrame("Loading..."); jf.getContentPane().setLayout(new BorderLayout()); jf.getContentPane().add(a, BorderLayout.CENTER); a.mainWindow=jf; a.init(); a.start(); jf.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE); jf.addWindowListener(new WindowAdapter() { public void windowClosing(WindowEvent e) { a.stop(); a.destroy(); } }); jf.setVisible(true); } public static class PuzzlePanel extends JPanel { private static final long serialVersionUID = 1L; protected BufferedImage backBuffer; public PuzzlePanel() { setPreferredSize(new Dimension(100,100)); createBackBuffer(100,100, Color.black); } public void createBackBuffer(int w, int h, Color bg) { if (w > 0 && h > 0) { backBuffer = new BufferedImage(w,h, BufferedImage.TYPE_3BYTE_BGR); Graphics g = backBuffer.createGraphics(); g.setColor(bg); g.fillRect(0, 0, w, h); g.dispose(); } } protected void paintComponent(Graphics g) { g.drawImage(backBuffer, 0, 0, this); } } public static class ConfigComponent { public int type; public int configItemPointer; public JComponent component; public ConfigComponent(int type, int configItemPointer, JComponent component) { this.type = type; this.configItemPointer = configItemPointer; this.component = component; } } public class ConfigDialog extends JDialog { private GridBagConstraints gbcLeft = new GridBagConstraints( GridBagConstraints.RELATIVE, GridBagConstraints.RELATIVE, 1, 1, 0, 0, GridBagConstraints.WEST, GridBagConstraints.NONE, new Insets(0, 0, 0, 0), 0, 0); private GridBagConstraints gbcRight = new GridBagConstraints( GridBagConstraints.RELATIVE, GridBagConstraints.RELATIVE, GridBagConstraints.REMAINDER, 1, 1.0, 0, GridBagConstraints.CENTER, GridBagConstraints.HORIZONTAL, new Insets(5, 5, 5, 5), 0, 0); private GridBagConstraints gbcBottom = new GridBagConstraints( GridBagConstraints.RELATIVE, GridBagConstraints.RELATIVE, GridBagConstraints.REMAINDER, GridBagConstraints.REMAINDER, 1.0, 1.0, GridBagConstraints.CENTER, GridBagConstraints.HORIZONTAL, new Insets(5, 5, 5, 5), 0, 0); private static final long serialVersionUID = 1L; private List components = new ArrayList(); public ConfigDialog(JApplet parent, String title) { super(JOptionPane.getFrameForComponent(parent), title, true); getContentPane().setLayout(new GridBagLayout()); } public void addTextBox(int ptr, String name, String value) { getContentPane().add(new JLabel(name), gbcLeft); JComponent c = new JTextField(value, 25); getContentPane().add(c, gbcRight); components.add(new ConfigComponent(C_STRING, ptr, c)); } public void addCheckBox(int ptr, String name, boolean selected) { JComponent c = new JCheckBox(name, selected); getContentPane().add(c, gbcRight); components.add(new ConfigComponent(C_BOOLEAN, ptr, c)); } public void addComboBox(int ptr, String name, String values, int selected) { getContentPane().add(new JLabel(name), gbcLeft); StringTokenizer st = new StringTokenizer(values.substring(1), values.substring(0,1)); JComboBox c = new JComboBox(); c.setEditable(false); while(st.hasMoreTokens()) c.addItem(st.nextToken()); c.setSelectedIndex(selected); getContentPane().add(c, gbcRight); components.add(new ConfigComponent(C_CHOICES, ptr, c)); } public void finish() { JPanel buttons = new JPanel(new GridLayout(1, 2, 5, 5)); getContentPane().add(buttons, gbcBottom); JButton b; buttons.add(b=new JButton("OK")); b.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { save(); dispose(); } }); getRootPane().setDefaultButton(b); buttons.add(b=new JButton("Cancel")); b.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent e) { dispose(); } }); setDefaultCloseOperation(DISPOSE_ON_CLOSE); pack(); setLocationRelativeTo(null); setVisible(true); } private void save() { for (int i = 0; i < components.size(); i++) { ConfigComponent cc = (ConfigComponent) components.get(i); switch(cc.type) { case C_STRING: JTextField jtf = (JTextField)cc.component; runtimeCall("jcallback_config_set_string", new int[] {cc.configItemPointer, runtime.strdup(jtf.getText())}); break; case C_BOOLEAN: JCheckBox jcb = (JCheckBox)cc.component; runtimeCall("jcallback_config_set_boolean", new int[] {cc.configItemPointer, jcb.isSelected()?1:0}); break; case C_CHOICES: JComboBox jcm = (JComboBox)cc.component; runtimeCall("jcallback_config_set_choice", new int[] {cc.configItemPointer, jcm.getSelectedIndex()}); break; } } runtimeCall("jcallback_config_ok", new int[0]); } } }