Exemple #1
0
  public final void perform(Command c) throws MyError {
    int n = c.getArgumentNumber();
    GeoElement[] arg;

    switch (n) {
      case 1:
        arg = resArgs(c);
        if (arg[0].isNumberValue()) {
          GeoNumeric layerGeo = (GeoNumeric) arg[0];
          int layer = (int) layerGeo.getDouble();

          Iterator<GeoElement> it = kernelA.getConstruction().getGeoSetLabelOrder().iterator();
          while (it.hasNext()) {
            GeoElement geo = it.next();
            if (geo.getLayer() == layer) {
              geo.setEuclidianVisible(true);
              geo.updateRepaint();
            }
          }

          return;

        } else throw argErr(app, c.getName(), null);

      default:
        throw argNumErr(app, c.getName(), n);
    }
  }