(String polyname)
| 345 | } |
| 346 | |
| 347 | public String getPolyCode(String polyname) { |
| 348 | return ("poly " + polyname + " = " |
| 349 | + text.getText().replaceAll("-", "-1*") + ";"); |
| 350 | } |
| 351 | |
| 352 | public String getSurfCode(String polyname, int surface_no, double ang[]) { |
| 353 | String str = ""; |