32 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
33 |
static private void p(String s) { System.out.println(s); } |
static private void p(String s) { System.out.println(s); } |
34 |
|
|
35 |
static private class TestVob extends Vob implements HBox { |
static private class TestVob extends HBox.VobHBox { |
36 |
TestVob() { super(); } |
TestVob() { super(); } |
37 |
public void render(Graphics g, |
public void render(Graphics g, |
38 |
boolean fast, |
boolean fast, |
43 |
public float getWidth(float scale) { return 20; } |
public float getWidth(float scale) { return 20; } |
44 |
public float getHeight(float scale) { return 20; } |
public float getHeight(float scale) { return 20; } |
45 |
public float getDepth(float scale) { return 20; } |
public float getDepth(float scale) { return 20; } |
|
public Vob getVob(float scale) { return this; } |
|
|
public Object getKey() { return null; } |
|
46 |
public void setPrev(HBox b) { } |
public void setPrev(HBox b) { } |
47 |
public void setPosition(int depth, int x, int y, int w, int h) { } |
public void setPosition(int depth, int x, int y, int w, int h) { } |
48 |
} |
} |