Method setTopLevelStruct

src/main/java/Database.java:101–107

(DBElement struct)

  }

  public void setTopLevelStruct(DBElement struct)
  {
    if (struct.getType() != 14) {
      throw new IllegalArgumentException("Database element is not a structure");
    }
    this.topLevelStruct = struct;
  }

  public void load()
    throws DBException, IOException