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	couldUnifyWith(Unifier.Term term)	Returns whether this term could possibly unify with another term.
boolean	equals(Object obj)
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

couldUnifyWith

public boolean couldUnifyWith(Unifier.Term term)

Description copied from interface: Unifier.Term

Returns whether this term could possibly unify with another term.

Returns true if this or term is a variable, or if they are sequences with the same operator and number of terms, and if all pairs of those terms could unify.

Specified by:

couldUnifyWith in interface Unifier.Term

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

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