/*
GeoGebra - Dynamic Mathematics for Everyone
http://www.geogebra.org
This file is part of GeoGebra.
This program is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by
the Free Software Foundation.
*/
package org.geogebra.common.kernel.advanced;
import org.geogebra.common.kernel.CircularDefinitionException;
import org.geogebra.common.kernel.Kernel;
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.geos.GeoLine;
import org.geogebra.common.kernel.prover.AlgoArePerpendicular;
import org.geogebra.common.main.MyError;
/**
* ArePerpendicular[<Line>, <Line>]
*
* @author Simon Weitzhofer 17th of may 2012
*
*/
public class CmdArePerpendicular extends CommandProcessor {
/**
* Create new command processor
*
* @param kernel
* kernel
*/
public CmdArePerpendicular(Kernel kernel) {
super(kernel);
}
@Override
public GeoElement[] process(Command c)
throws MyError, CircularDefinitionException {
int n = c.getArgumentNumber();
GeoElement[] arg;
arg = resArgs(c);
if (n == 2) {
if (!(arg[0] instanceof GeoLine)) {
throw argErr(app, c, arg[0]);
}
if (!(arg[1] instanceof GeoLine)) {
throw argErr(app, c, arg[1]);
}
AlgoArePerpendicular algo = new AlgoArePerpendicular(cons,
c.getLabel(), arg[0], arg[1]);
GeoElement[] ret = { algo.getResult() };
return ret;
}
throw argNumErr(app, c, n);
}
}