Package net.hydromatic.morel.util

Class Unifier.Sequence

java.lang.Object

net.hydromatic.morel.util.Unifier.Sequence

All Implemented Interfaces:

Unifier.Term

Enclosing class:

Unifier

public static final class Unifier.Sequence
extends Object
implements Unifier.Term

A sequence of terms.

A sequence [a b c] is often printed "a(b, c)", as if "a" is the type of node and "b" and "c" are its children.

Field Summary

Fields

Modifier and Type	Field	Description
final String	operator
final List<Unifier.Term>	terms

Constructor Summary

Constructors

Constructor	Description
Sequence(String operator)
Sequence(String operator, List<Unifier.Term> terms)

Method Summary

Modifier and Type	Method	Description
<R> R	accept(Unifier.TermVisitor<R> visitor)	Accepts a visitor.
Unifier.Term	apply(Map<Unifier.Variable,Unifier.Term> substitutions)	Applies a substitution to this term.
Unifier.Term	apply1(Unifier.Variable variable, Unifier.Term term)	Applies a single-variable substitution to this term.
void	checkCycle(Map<Unifier.Variable,Unifier.Term> map, Map<Unifier.Variable,Unifier.Variable> active)	Throws CycleException if expanding this term leads to a cycle.
boolean	contains(Unifier.Variable variable)	Returns whether this term references a given variable.
boolean	equals(Object obj)
private boolean	equalsShallow(Unifier.Sequence sequence)	Compares whether two sequences have the same terms.
int	hashCode()
private static <E> boolean	listEqual(List<E> list0, List<E> list1)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Details

operator

public final String operator

terms

public final List<Unifier.Term> terms

Constructor Details

Sequence

Sequence(String operator,
 List<Unifier.Term> terms)

Sequence

Sequence(String operator)

Method Details

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

apply

public Unifier.Term apply(Map<Unifier.Variable,Unifier.Term> substitutions)

Description copied from interface: Unifier.Term

Applies a substitution to this term.

Specified by:

apply in interface Unifier.Term

apply1

public Unifier.Term apply1(Unifier.Variable variable,
 Unifier.Term term)

Description copied from interface: Unifier.Term

Applies a single-variable substitution to this term.

Specified by:

apply1 in interface Unifier.Term

checkCycle

public void checkCycle(Map<Unifier.Variable,Unifier.Term> map,
 Map<Unifier.Variable,Unifier.Variable> active)
                throws Unifier.CycleException

Description copied from interface: Unifier.Term

Throws CycleException if expanding this term leads to a cycle.

Specified by:

checkCycle in interface Unifier.Term

Throws:

Unifier.CycleException

equalsShallow

private boolean equalsShallow(Unifier.Sequence sequence)

Compares whether two sequences have the same terms. Compares addresses, not contents, to avoid hitting cycles if any of the terms are cyclic (e.g. "X = f(X)").

listEqual

private static <E> boolean listEqual(List<E> list0,
 List<E> list1)

contains

public boolean contains(Unifier.Variable variable)

Description copied from interface: Unifier.Term

Returns whether this term references a given variable.

Specified by:

contains in interface Unifier.Term

accept

public <R> R accept(Unifier.TermVisitor<R> visitor)

Description copied from interface: Unifier.Term

Accepts a visitor.

Specified by:

accept in interface Unifier.Term