string COLORE="rosso"; float INIZIO=0; // angolo iniziale float FINE=2*PI; // angolo finale (360°) float DELTA=0.1; float RAGGIO=2; // raggio di 7 metri float RAGGIO2=7; // altro raggio vector funzione(float alpha) { return ; } default { state_entry() { float alpha; // angolo che varia for(alpha=INIZIO;alpha,ZERO_ROTATION, 0); } } }