To support values of properties, a class includes fields to support values
in preallocated memory space and with an option data structure which
supports, in instances of the class, references to option values without
preallocation of memory space. The field and option values are accessed in
an instance object of the class using expressions of the same syntactic
form. During compilation, the compiler checks the type of an option value
against a type description within the option data structure. If a value
has not been set for an instance object, a get operation results in
getting of the default value for the class. Different classes may support
different forms of data structures such as a linked list or a hash table.
During compilation, a method call to an object is encoded without regard
to the form of the option data structure. When an option value is changed,
a change handler identified by an option binding of the data structure is
processed. That option binding may be located by first searching a mapping
data structure for a previously computed mapping to the option binding or
by computing the mapping to the option binding. An option value may be set
in an option data structure from an initialization expression which
includes the name of the option value and, as an argument, the option
value. Nonlocal option values may be applied to plural objects in a
nonlocal option hierarchy such as a graphical hierarchy.
Per sostenere i valori delle proprietà, un codice categoria include i campi per sostenere i valori nello spazio di memoria preassegnato e con una struttura di dati di opzione che sostiene, nei casi del codice categoria, riferimenti ai valori di opzione senza preallocation dello spazio di memoria. I valori di opzione e del campo sono raggiunti in un oggetto di caso del codice categoria usando le espressioni della stessa forma sintattica. Durante la compilazione, il compilatore controlla il tipo di valore di opzione contro un tipo descrizione all'interno della struttura di dati di opzione. Se un valore non è stato regolato per un oggetto di caso, un funzionamento di otten provoca ottenere del valore di difetto per il codice categoria. I codici categoria differenti possono sostenere le forme differenti delle strutture di dati quali una lista collegata o una tabella del hash. Durante la compilazione, una chiamata di metodo ad un oggetto è messa senza riguardo verso la forma della struttura di dati di opzione. Quando un valore di opzione è cambiato, un alimentatore del cambiamento identificato tramite un grippaggio di opzione della struttura di dati è proceduto. Che il grippaggio di opzione può essere situato in primo luogo cercando una struttura di dati di tracciato un tracciato precedentemente computato al grippaggio di opzione o computando il tracciato al grippaggio di opzione. Un valore di opzione può essere regolato in una struttura di dati di opzione da un'espressione di inizio che include il nome del valore di opzione e, come discussione, del valore di opzione. I valori di opzione di Nonlocal possono essere applicati agli oggetti plurali in una gerarchia nonlocal di opzione quale una gerarchia grafica.
