/**
* Creates new random element algo
*
* @param cons
* @param label
* @param geoList
*/
public AlgoRandomElement(Construction cons, String label, GeoList geoList) {
super(cons);
this.geoList = geoList;
// init return element as copy of first list element
if (geoList.size() > 0) {
element = geoList.get(0).copyInternal(cons);
} else if (geoList.getTypeStringForXML() != null) {
// if the list was non-empty at some point before saving, get the
// same type of geo
// saved in XML from 4.1.131.0
element = kernel.createGeoElement(cons, geoList.getTypeStringForXML());
}
// desperate case: empty list
else {
// saved in XML from 4.0.18.0
element = cons.getOutputGeo();
}
setInputOutput();
compute();
element.setLabel(label);
cons.addRandomGeo(element);
}
/**
* Creates CAS algo, doesn't set any input, output or label
*
* @param cons construction
* @param f input function
*/
protected AlgoCasBase(Construction cons, CasEvaluableFunction f, Commands cmd) {
super(cons);
this.f = f;
this.cmd = cmd;
cons.addCASAlgo(this);
g = (CasEvaluableFunction) f.toGeoElement().copyInternal(cons);
}
/**
* Proves the given statement and gives some details in a list.
*
* @param cons The construction
* @param root Input statement
* @param relationTool true if output should be given for Relation Tool (which is more readable)
*/
public AlgoProveDetails(Construction cons, GeoElement root, boolean relationTool) {
super(cons);
cons.addCASAlgo(this);
this.root = root;
this.relTool = relationTool;
list = new GeoList(cons);
setInputOutput(); // for AlgoElement
// compute value of dependent number
initialCompute();
compute();
}
/**
* @param cons construction
* @param label label for output
* @param n function parameter
* @param f function
*/
public AlgoTangentFunctionNumber(Construction cons, String label, NumberValue n, GeoFunction f) {
super(cons);
this.n = n;
ngeo = n.toGeoElement();
this.f = f;
tangent = new GeoLine(cons);
T = new GeoPoint(cons);
tangent.setStartPoint(T);
// derivative of f
// now uses special non-CAS version of algo
algo = new AlgoDerivative(cons, f, true);
deriv = (GeoFunction) algo.getResult();
cons.removeFromConstructionList(algo);
setInputOutput(); // for AlgoElement
compute();
tangent.setLabel(label);
}
/**
* Returns a html representation of the construction protocol.
*
* @param imgBase64 : image file to be included
*/
public String getHTML(String imgBase64) {
StringBuilder sb = new StringBuilder();
boolean icon_column;
// Let's be W3C compliant:
sb.append("<!DOCTYPE html PUBLIC \"-//W3C//DTD XHTML 1.0 Strict//EN\"\n");
sb.append("\"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd\">\n");
sb.append("<html xmlns=\"http://www.w3.org/1999/xhtml\" lang=\"en\" xml:lang=\"en\">");
sb.append("<head>\n");
sb.append("<title>");
sb.append(StringUtil.toHTMLString(GeoGebraConstants.APPLICATION_NAME));
sb.append(" - ");
sb.append(app.getPlain("ConstructionProtocol"));
sb.append("</title>\n");
sb.append("<meta keywords = \"");
sb.append(StringUtil.toHTMLString(GeoGebraConstants.APPLICATION_NAME));
sb.append(" export\">");
sb.append(
"<style type=\"text/css\"><!--body { font-family:Arial,Helvetica,sans-serif; margin-left:40px }--></style>");
sb.append("<meta http-equiv=\"content-type\" content=\"text/html; charset=utf-8\">");
sb.append("</head>\n");
sb.append("<body>\n");
// header with title
Construction cons = kernel.getConstruction();
String title = cons.getTitle();
if (!title.equals("")) {
sb.append("<h1>");
sb.append(StringUtil.toHTMLString(title));
sb.append("</h1>\n");
}
// header with author and date
String author = cons.getAuthor();
String date = cons.getDate();
String line = null;
if (!author.equals("")) {
line = author;
}
if (!date.equals("")) {
if (line == null) line = date;
else line = line + " - " + date;
}
if (line != null) {
sb.append("<h3>");
sb.append(StringUtil.toHTMLString(line));
sb.append("</h3>\n");
}
// include image file
if (imgBase64 != null) {
sb.append("<p>\n");
sb.append("<img src=\"data:image/png;base64,");
sb.append(imgBase64);
sb.append("\" alt=\"");
sb.append(StringUtil.toHTMLString(GeoGebraConstants.APPLICATION_NAME));
sb.append(' ');
sb.append(StringUtil.toHTMLString(app.getPlain("DrawingPad")));
sb.append("\" border=\"1\">\n");
sb.append("</p>\n");
}
// table
sb.append("<table border=\"1\">\n");
// table headers
sb.append("<tr>\n");
TableColumnModel colModel = table.getColumnModel();
int nColumns = colModel.getColumnCount();
for (int nCol = 0; nCol < nColumns; nCol++) {
// toolbar icon will only be inserted on request
icon_column = table.getColumnName(nCol).equals("ToolbarIcon");
if ((icon_column && addIcons) || !icon_column) {
TableColumn tk = colModel.getColumn(nCol);
title = (String) tk.getIdentifier();
sb.append("<th>");
sb.append(StringUtil.toHTMLString(title));
sb.append("</th>\n");
}
}
sb.append("</tr>\n");
// table rows
int endRow = table.getRowCount();
for (int nRow = 0; nRow < endRow; nRow++) {
sb.append("<tr valign=\"baseline\">\n");
for (int nCol = 0; nCol < nColumns; nCol++) {
// toolbar icon will only be inserted on request
icon_column = table.getColumnName(nCol).equals("ToolbarIcon");
if ((icon_column && addIcons) || !icon_column) {
int col = table.getColumnModel().getColumn(nCol).getModelIndex();
String str =
StringUtil.toHTMLString(
((ConstructionTableData) data).getPlainHTMLAt(nRow, col), false);
sb.append("<td>");
if (str.equals("")) sb.append(" "); // space
else {
Color color = ((ConstructionTableData) data).getColorAt(nRow, col);
if (color != Color.black) {
sb.append("<span style=\"color:#");
sb.append(StringUtil.toHexString(new org.geogebra.desktop.awt.GColorD(color)));
sb.append("\">");
sb.append(str);
sb.append("</span>");
} else sb.append(str);
}
sb.append("</td>\n");
}
}
sb.append("</tr>\n");
}
sb.append("</table>\n");
// footer
sb.append(((GuiManagerD) app.getGuiManager()).getCreatedWithHTML(false));
// append base64 string so that file can be reloaded with File -> Open
sb.append(
"\n<!-- Base64 string so that this file can be opened in GeoGebra with File -> Open -->");
sb.append("\n<applet style=\"display:none\">");
sb.append("\n<param name=\"ggbBase64\" value=\"");
appendBase64((AppD) app, sb);
sb.append("\">\n<applet>");
sb.append("\n</body>");
sb.append("\n</html>");
return sb.toString();
}