package org.geogebra.common.kernel.advanced;
import org.geogebra.common.kernel.Kernel;
import org.geogebra.common.kernel.arithmetic.BooleanValue;
import org.geogebra.common.kernel.arithmetic.Command;
import org.geogebra.common.kernel.commands.CommandProcessor;
import org.geogebra.common.kernel.geos.GeoElement;
import org.geogebra.common.kernel.prover.AlgoProveDetails;
import org.geogebra.common.main.MyError;
/**
* ToolImage
*/
public class CmdProveDetails extends CommandProcessor {
/**
* Create new command processor
*
* @param kernel
* kernel
*/
public CmdProveDetails(Kernel kernel) {
super(kernel);
}
@Override
public GeoElement[] process(Command c) throws MyError {
int n = c.getArgumentNumber();
GeoElement[] arg;
arg = resArgs(c);
switch (n) {
case 1:
if (arg[0] instanceof BooleanValue) {
AlgoProveDetails algo = new AlgoProveDetails(cons, c.getLabel(),
arg[0]);
GeoElement[] ret = { algo.getGeoList() };
return ret;
}
throw argErr(app, c, arg[0]);
default:
throw argNumErr(app, c, n);
}
}
}