MemoryParameters.java

package javax.realtime;


public class MemoryParameters implements Cloneable {
	
	protected long maxMemoryArea;
	protected long maxImmortal;
	
	public static final long NO_MAX = -1L;

	public MemoryParameters(long maxMemoryArea, long maxImmortal) {
		if (maxMemoryArea < -1L)
			throw new IllegalArgumentException("maxMemoryArea not legal");
		if (maxImmortal < -1L)
			throw new IllegalArgumentException("maxImmortal not legal");
		
		this.maxMemoryArea = maxMemoryArea;
		this.maxImmortal = maxImmortal;
	}
	
	long getMaxMemoryArea() {
		return maxMemoryArea;
	}
	
	long getMaxImmortal() {
		return maxImmortal;
	}
	
	//used in JML annotation only (not public)
	static long getNO_MAX() {
		return MemoryParameters.NO_MAX;
	}
}