JavaFX: differenze tra le versioni

Versione delle 19:03, 3 set 2009

Versione delle 21:51, 3 set 2009

Riga 51:

ogni qualvolta <code>ESPR</code> cambia valore, anche il valore di A (ovunque sia utilizzato) varia: questo introduce grossi problemi di prestazioni, soprattutto nel caso di abuso di binding, ma semplifica estremamente la comune interazione tra componenti grafiche.

Per esempio si può facilmente associare il valore di un qualunque controllo, ad esempio una barra di scorrimento, all'attributo di un altro componente (situazione estremamente comune), come la dimensione di una immagine, o la velocità di una animazione.

== Esempio pratico ==

Questo è un esempio di piccolo programa JavaFX che mostra in una finestra 250x80 un messaggio di "Hello World!".

<source lang="text">

import javafx.stage.Stage;

import javafx.scene.Scene;

import javafx.scene.text.Text;

import javafx.scene.text.Font;

Stage {

title: "Titolo dell'applicazione"

width: 250

height: 80

scene: Scene {

content: [

Text {

font : Font {

size : 16

}

x: 10

y: 30

content: "Hello World!"

}

]

}

</source>

Il nome di una classe, ad esempio <code>Font</code>, seguito da parentesi graffe, come avviene nella notazione [[JSON]], serve per creare un oggetto: all'interno delle parentesi si possono specificare gli attributi dell'oggetto; per es. <code>size: 16</code>, indica la dimensione dell'etichetta di testo e <code>x: 10</code> indica la posizione orizzontale del testo rispetto alla finestra.

Per capire la corrispondenza, in Java avremmo scritto:

<source lang="java">

Font mioFont = new Font();

mioFont.setSize(16);

mioFont.setX(10);

mioFont.setY(30);

</source>

Le parentesi quadre denotano invece l'inizio di una "Sequenza" (<code>Sequence</code>), una specie di lista di oggetti alla quale si possono aggiungere/rimuove elementi. Ad Esempio

<source lang="text">

var miaSequenza : Number = [10, 20, 40];

insert 30 into miaSequenza;

remove 40 from miaSequenza;

</source>

crea una sequenza di 3 numeri, e successivamente rimuove l'elemento "40" e aggiunge "30".

== Date di rilascio ==