Partition_Impl.java

package ;


  // import configuration classes

import config.*;


  // import used generated classes

import .Crate;
import .Crate_Helper;


class Partition_Impl implements Partition {

    // base attributes

  private config.Configuration p_db;
  private config.ConfigObject p_obj;
  private boolean p_was_read;
  private boolean p_is_valid;
  private String p_uid;
  private String p_class_name;


    // database class attributes

  private String m_name;
  private short m_id;


    // database class relationships

  private Crate[] m_crates;



    // constructor

  public Partition_Impl() {
    p_is_valid = false;
  }

  public Partition_Impl(config.Configuration db, config.ConfigObject obj) {
    init_config_params(db, obj);
  }

  public void init_config_params(config.Configuration db, config.ConfigObject obj) {
    p_db = db;
    p_obj = obj;
    p_was_read = false;
    p_is_valid = true;
    p_uid = p_obj.UID();
    p_class_name = p_obj.class_name();
  }

  public String UID() {
    return p_uid;
  }

  public String class_name() {
    return p_class_name;
  }

  public void update(boolean set_non_valid) {
    if(set_non_valid == true) {
      p_is_valid = false;
    }
    else {
      p_was_read = false;
      p_obj.clean();
      init();
    }
  }

  public void unread() {
    p_was_read = false;
  }

  public boolean is_valid() {
    return p_is_valid;
  }



  private void init() throws config.NotFoundException, config.NotValidException, config.SystemException {
    if(p_was_read == true) {return;}

    if(p_is_valid == false) {
      String text = "ERROR [.Partition_Impl.init()]: object " + p_uid + "@" + p_class_name + " is not valid";
      System.err.println(text);
      throw new config.NotValidException(text);
    }

    m_name = p_obj.get_string("name");
    m_name = (String)p_db.convert((Object)m_name, p_obj, "name");

    m_id = p_obj.get_short("id");

    {
      ConfigObject[] objs = p_obj.get_objects("crates");
      m_crates = new Crate[objs.length];
      for( int i = 0; i < objs.length; i++ ) {
        m_crates[i] = Crate_Helper.get(p_db, objs[i]);
      }
    }
    

    p_was_read = true;

  }

  public String get_name() {
    if(p_was_read == false) {init();}
    return m_name;
  }

  public void set_name(String value) {
    p_obj.clean();
    p_obj.set_string("name", value);
  }

  public short get_id() {
    if(p_was_read == false) {init();}
    return m_id;
  }

  public void set_id(short value) {
    p_obj.clean();
    p_obj.set_short("id", value);
  }

  public Crate[] get_crates() {
    if(p_was_read == false) {init();}
    return m_crates;
  }

  public void set_crates(Crate[] value) {
    p_obj.clean();
    config.ConfigObject[] objs = new config.ConfigObject[value.length];
    for(int i = 0; i < value.length; i++) {
      objs[i] = value[i].config_object();
    }
    p_obj.set_objects("crates", objs);
  }

  public config.ConfigObject config_object() {
    return p_obj;
  }

  public void print(String dx) {
    System.out.println(dx + "Partition object:" );
    System.out.println(dx + "  id: \'" + UID() + "\', class name: \'" + class_name() + "\'");


      // print attributes

    System.out.println(dx + "  name: " + get_name());
    System.out.println(dx + "  id: " + get_id());


      // print relationships

    if(get_crates().length > 0) {
      System.out.print(dx + "  " + get_crates().length + " object(s) in crates :\n");
      
      for(int i = 0; i < get_crates().length; i++) {
        get_crates()[i].print(dx.concat("    "));
      }
    }
    else {
      System.out.println(dx + "  crates value is empty");
    }

  }

  public void destroy(config.Configuration db) {
    db.destroy(config_object());
  }
}

---