hydra.langs.pegasus.pdl.SchemaFile Maven / Gradle / Ivy

Go to download
package hydra.langs.pegasus.pdl;

import java.io.Serializable;

public class SchemaFile implements Serializable {
  public static final hydra.core.Name NAME = new hydra.core.Name("hydra/langs/pegasus/pdl.SchemaFile");
  
  public final hydra.langs.pegasus.pdl.Namespace namespace;
  
  public final java.util.Optional package_;
  
  public final java.util.List imports;
  
  public final java.util.List schemas;
  
  public SchemaFile (hydra.langs.pegasus.pdl.Namespace namespace, java.util.Optional package_, java.util.List imports, java.util.List schemas) {
    this.namespace = namespace;
    this.package_ = package_;
    this.imports = imports;
    this.schemas = schemas;
  }
  
  @Override
  public boolean equals(Object other) {
    if (!(other instanceof SchemaFile)) {
      return false;
    }
    SchemaFile o = (SchemaFile) (other);
    return namespace.equals(o.namespace) && package_.equals(o.package_) && imports.equals(o.imports) && schemas.equals(o.schemas);
  }
  
  @Override
  public int hashCode() {
    return 2 * namespace.hashCode() + 3 * package_.hashCode() + 5 * imports.hashCode() + 7 * schemas.hashCode();
  }
  
  public SchemaFile withNamespace(hydra.langs.pegasus.pdl.Namespace namespace) {
    return new SchemaFile(namespace, package_, imports, schemas);
  }
  
  public SchemaFile withPackage(java.util.Optional package_) {
    return new SchemaFile(namespace, package_, imports, schemas);
  }
  
  public SchemaFile withImports(java.util.List imports) {
    return new SchemaFile(namespace, package_, imports, schemas);
  }
  
  public SchemaFile withSchemas(java.util.List schemas) {
    return new SchemaFile(namespace, package_, imports, schemas);
  }
}