hydra.langs.haskell.ast.Pattern Maven / Gradle / Ivy
package hydra.langs.haskell.ast;
import java.io.Serializable;
public abstract class Pattern implements Serializable {
public static final hydra.core.Name NAME = new hydra.core.Name("hydra/langs/haskell/ast.Pattern");
private Pattern () {
}
public abstract R accept(Visitor visitor) ;
public interface Visitor {
R visit(Application instance) ;
R visit(As instance) ;
R visit(List instance) ;
R visit(Literal instance) ;
R visit(Name instance) ;
R visit(Parens instance) ;
R visit(Record instance) ;
R visit(Tuple instance) ;
R visit(Typed instance) ;
R visit(Wildcard instance) ;
}
public interface PartialVisitor extends Visitor {
default R otherwise(Pattern instance) {
throw new IllegalStateException("Non-exhaustive patterns when matching: " + (instance));
}
default R visit(Application instance) {
return otherwise((instance));
}
default R visit(As instance) {
return otherwise((instance));
}
default R visit(List instance) {
return otherwise((instance));
}
default R visit(Literal instance) {
return otherwise((instance));
}
default R visit(Name instance) {
return otherwise((instance));
}
default R visit(Parens instance) {
return otherwise((instance));
}
default R visit(Record instance) {
return otherwise((instance));
}
default R visit(Tuple instance) {
return otherwise((instance));
}
default R visit(Typed instance) {
return otherwise((instance));
}
default R visit(Wildcard instance) {
return otherwise((instance));
}
}
public static final class Application extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final hydra.langs.haskell.ast.Pattern_Application value;
public Application (hydra.langs.haskell.ast.Pattern_Application value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Application)) {
return false;
}
Application o = (Application) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class As extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final hydra.langs.haskell.ast.Pattern_As value;
public As (hydra.langs.haskell.ast.Pattern_As value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof As)) {
return false;
}
As o = (As) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class List extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final java.util.List value;
public List (java.util.List value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof List)) {
return false;
}
List o = (List) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class Literal extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final hydra.langs.haskell.ast.Literal value;
public Literal (hydra.langs.haskell.ast.Literal value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Literal)) {
return false;
}
Literal o = (Literal) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class Name extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final hydra.langs.haskell.ast.Name value;
public Name (hydra.langs.haskell.ast.Name value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Name)) {
return false;
}
Name o = (Name) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class Parens extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final hydra.langs.haskell.ast.Pattern value;
public Parens (hydra.langs.haskell.ast.Pattern value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Parens)) {
return false;
}
Parens o = (Parens) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class Record extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final hydra.langs.haskell.ast.Pattern_Record value;
public Record (hydra.langs.haskell.ast.Pattern_Record value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Record)) {
return false;
}
Record o = (Record) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class Tuple extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final java.util.List value;
public Tuple (java.util.List value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Tuple)) {
return false;
}
Tuple o = (Tuple) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class Typed extends hydra.langs.haskell.ast.Pattern implements Serializable {
public final hydra.langs.haskell.ast.Pattern_Typed value;
public Typed (hydra.langs.haskell.ast.Pattern_Typed value) {
this.value = value;
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Typed)) {
return false;
}
Typed o = (Typed) (other);
return value.equals(o.value);
}
@Override
public int hashCode() {
return 2 * value.hashCode();
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
public static final class Wildcard extends hydra.langs.haskell.ast.Pattern implements Serializable {
public Wildcard () {
}
@Override
public boolean equals(Object other) {
if (!(other instanceof Wildcard)) {
return false;
}
Wildcard o = (Wildcard) (other);
return true;
}
@Override
public int hashCode() {
return 0;
}
@Override
public R accept(Visitor visitor) {
return visitor.visit(this);
}
}
} © 2015 - 2025 Weber Informatics LLC | Privacy Policy