view src/samer/core_/viewers/swing/ParameterViewer.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
/*
 *	ParameterViewer.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.swing;
import  samer.core.types.*;
import  samer.core.util.*;
import  samer.core.*;
import  javax.swing.*;

public class ParameterViewer extends NumberViewer
{
	DoubleModel iface;
	JSlider		s;
	double		max;

	public ParameterViewer(VParameter v) 
	{ 
		super(v); 
		this.iface = v.iface;
		this.max   = 2*iface.get();
		init();
	}

	protected JComponent createSlider() {
		s=new JSlider( JSlider.HORIZONTAL, 0, 100, 0);
		s.addChangeListener(this);
		return s;
	}

	protected void setText()	{ t.setText(X.string(iface.get())); }
	protected void getText()   { iface.set(X.parseDouble(t.getText())); }
	protected void setSlider() { s.setValue( (int)(100*(iface.get()/max))); }
	protected void getSlider() { iface.set( max*s.getValue()/100.0); }

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

	public void execute(String cmd, Environment env) throws Exception
	{
		if      (cmd.equals("double"))	{ max*=2; setSlider();	} 
		else if (cmd.equals("halve"))		{ max/=2; setSlider();	} 
		else if (cmd.equals("negate"))	{ max=-max; setSlider(); } 
		else if (cmd.equals("calibrate")) { max=iface.get()*2; setSlider(); }
		else super.execute(cmd,env);
	}
}