1 |
// (c): Tuomas J. Lukka |
//(c): Tuomas J. Lukka |
2 |
|
|
3 |
package gzz.gfx.gl; |
package gzz.gfx.gl; |
4 |
import java.util.*; |
import java.util.*; |
18 |
*/ |
*/ |
19 |
public class GLSpanner { |
public class GLSpanner { |
20 |
public static boolean dbg = false; |
public static boolean dbg = false; |
21 |
private static void pa(String s) { System.err.println(s); } |
private static void pa(String s) { System.out.println(s); } |
22 |
|
|
23 |
|
|
24 |
static MemoryPartitioner pool; |
static MemoryPartitioner pool; |
25 |
static { |
static { |
26 |
String mem_str = System.getProperty("GFX_MEM", "10"); |
String mem_str = System.getProperty("GFX_MEM", "16"); |
27 |
int mem = Integer.parseInt(mem_str); |
int mem = Integer.parseInt(mem_str); |
28 |
if (mem < 0) throw new Error("Negative memory! "+ mem); |
if (mem < 0) throw new Error("Negative memory! "+ mem); |
29 |
|
if (dbg) pa("Spoolable memory allocated = "+mem); |
30 |
pool = new MemoryPartitioner(mem * 1024 * 1024); |
pool = new MemoryPartitioner(mem * 1024 * 1024); |
31 |
} |
} |
32 |
|
|