org.matheclipse.core.patternmatching

Class PatternMatcher.StackMatcher

java.lang.Object

org.matheclipse.core.patternmatching.PatternMatcher.StackMatcher

Enclosing class:

PatternMatcher

protected class PatternMatcher.StackMatcher
extends java.lang.Object

Manage a stack of pairs of expressions, which have to match each other

Constructor Summary

Constructors

Constructor and Description
StackMatcher()

Method Summary

Modifier and Type	Method and Description
boolean	isEmpty() Check if this stack is empty.
boolean	matchRest() Match the entries of the stack recursively starting from the top entry.
org.matheclipse.core.patternmatching.PatternMatcher.Entry	peek()
org.matheclipse.core.patternmatching.PatternMatcher.Entry	pop()
boolean	push(IExpr patternExpr, IExpr evalExpr)
void	removeFrom(int fromPosition) Remove all elements starting at the given fromPosition.
int	size() The size of the stack.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StackMatcher

public StackMatcher()

Method Detail

peek

public org.matheclipse.core.patternmatching.PatternMatcher.Entry peek()

Returns:

See Also:

Stack.peek()

pop

public org.matheclipse.core.patternmatching.PatternMatcher.Entry pop()

Returns:

See Also:

Stack.pop()

removeFrom

public void removeFrom(int fromPosition)

Remove all elements starting at the given fromPosition.

Parameters:

fromPosition -

push

public boolean push(IExpr patternExpr,
                    IExpr evalExpr)

matchRest

public boolean matchRest()

Match the entries of the stack recursively starting from the top entry.

Returns:

true if all expressions could be matched.

isEmpty

public boolean isEmpty()

Check if this stack is empty.

Returns:

See Also:

ArrayList.isEmpty()

size

public int size()

The size of the stack.

Returns:

See Also:

ArrayList.size()