ndiff.relation
Class Field

java.lang.Object
  extended by ndiff.relation.Field

public class Field
extends java.lang.Object

Author:
schirinz Mantiene l'informazione relativa ad un'area di ricerca

Field Summary
 boolean inList
           
static byte LOCALITY
           
 Field next
           
static byte NO
           
 Field prev
           
 int property
           
 Interval xRef
           
 Interval yRef
           
 
Constructor Summary
Field(int type, Interval x, Interval y)
          Costruttore
 
Method Summary
 void bindAfter(Field ref)
          Lega l'elemento dopo il Field ref
 void bindFirst(Field ref)
          Lega l'elemento prima del Field ref
 java.lang.String show()
          Per fase di debug
 void untie()
          Rimuove se stesso dalla lista di appartenenza, collegando il suo precedente al suo successivo
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

NO

public static final byte NO
See Also:
Constant Field Values

LOCALITY

public static final byte LOCALITY
See Also:
Constant Field Values

property

public int property

xRef

public Interval xRef

yRef

public Interval yRef

next

public Field next

prev

public Field prev

inList

public boolean inList
Constructor Detail

Field

public Field(int type,
             Interval x,
             Interval y)
Costruttore

Parameters:
type - Proprietą sull'area creata
x - Riferimento all'intervallo del dominio
y - Riferimento all'intervallo del codominio
Method Detail

untie

public void untie()
Rimuove se stesso dalla lista di appartenenza, collegando il suo precedente al suo successivo


bindAfter

public void bindAfter(Field ref)
Lega l'elemento dopo il Field ref

Parameters:
ref - Reference al Field di riferimento

bindFirst

public void bindFirst(Field ref)
Lega l'elemento prima del Field ref

Parameters:
ref - Referenceal Field di riferimento

show

public java.lang.String show()
Per fase di debug

Returns:
Stringa che rappresenta il contenuto del Field