import java.util.*;
import java.io.*;

public class Fachwerk implements Serializable
{
  private Vector stabListe    = new Vector();
  private Vector knotenListe  = new Vector();
  
  public Vector getStabListe(){return stabListe;}
  public Vector getKnotenListe(){return knotenListe;}
  public Knoten getKnoten( int nr )
  {
    Knoten      result = null;
    Enumeration enum   = knotenListe.elements();
    
    while ( enum.hasMoreElements() )
    {
      Knoten k = (Knoten)enum.nextElement();
      if( k.getNr()==nr )
        result = k;
    }    
    return result;
  }
  
  public void speichern() throws IOException
  {
    File                file = new File("c:"+File.separator+"fachwerk.obj");
    FileOutputStream    fos  = new FileOutputStream(file);
    ObjectOutputStream  oos  = new ObjectOutputStream( fos );
      
    oos.writeObject( this );
    
  }
  public static Fachwerk laden() throws IOException, ClassNotFoundException
  {
    Fachwerk            fachwerk  = null;
	File                file      = new File("c:"+File.separator+"fachwerk.obj");
    FileInputStream    fis  = new FileInputStream(file);
    ObjectInputStream  ois  = new ObjectInputStream( fis );
	fachwerk  = (Fachwerk)ois.readObject();     
    
	return fachwerk;
  }
}
