view src/samer/core_/viewers/DoubleViewer.java @ 5:b67a33c44de7

Remove some crap, etc
author samer
date Fri, 05 Apr 2019 21:34:25 +0100
parents bf79fb79ee13
children
line wrap: on
line source
/*
 *	DoubleViewer.java	
 *
 *	Copyright (c) 2000, Samer Abdallah, King's College London.
 *	All rights reserved.
 *
 *	This software is provided AS iS and WITHOUT ANY WARRANTY; 
 *	without even the implied warranty of MERCHANTABILITY or 
 *	FITNESS FOR A PARTICULAR PURPOSE.
 */

package samer.core.viewers;
import  samer.core.types.*;
import  samer.core.util.*;
import  samer.core.*;
import  java.awt.*;

public class DoubleViewer extends NumberViewer
{
	VDouble		model;
	Scrollbar	s;
	double		max;

	public DoubleViewer(Viewable v) { this((VDouble)v); }
	public DoubleViewer(VDouble model) 
	{ 
		super(model);
		this.model = model;
		this.max   = model.value*2;
		init();
	}

	protected Component createSlider() {
		s=new Scrollbar( Scrollbar.HORIZONTAL, 0, 10, 0, 110);
		return s;
	}

	protected void setText()	{ t.setText(model.string()); }
	protected void getText()   { model.decode(t.getText()); }
	protected void setSlider() { s.setValue( (int)(100*(model.value/max))); }
	protected void getSlider() { model.value = max*s.getValue()/100.0; }

	public void getCommands(Agent.Registry r) {
		r.add("print").add("set");
		r.add("double range").add("halve range").add("negate range").add("calibrate");
		r.group();
		super.getCommands(r);
	}

	public void execute(String cmd, Environment env) throws Exception
	{
		if (cmd.equals("print")) Shell.print(model.toString());
		else if (cmd.equals("set"))
			model.set(X._double(env.datum(model.getNode().fullName()),model.get()));
		else if (cmd.equals("double range"))	{ max*=2; setSlider();	}
		else if (cmd.equals("halve range"))		{ max/=2; setSlider();	}
		else if (cmd.equals("negate range"))	{ max=-max; setSlider(); }
		else if (cmd.equals("calibrate")) { max=model.value*2; setSlider(); }
		else super.execute(cmd,env);
	}
}