Package eu.bandm.tools.paisley

A modular implementation of pattern matching on arbitrary objects.

See: Description

Interface Summary

Interface	Description
Extractor<A>
Motif<A,B>

Class Summary

Class	Description
Adaptive<A>	Abstract base class for patterns that delegate to some other pattern, chosen dynamically per target.
Atomic<A>	Abstract base class for patterns that contain no subpatterns.
Binary<A,B,C>	Abstract base class for patterns that contain two subpatterns.
CachedTransform<A,B>	Abstract base class for patterns that delegate expensively transformed targets to a subpattern.
CollectionPatterns	Static factory methods for creating patterns for collections.
CompiledBinary<A,B,C>
CompiledMultiTransform<A,B>
CompiledProxy<A>
CompiledUnary<A,B>
Constraint
CryptArith
EnumBranch<A,E extends Enum<E>>
Filter<A>	Abstract base class for patterns that match only a subset of the target type.
FlatMultiTransform<A,B>
FunctionPatterns
IntBranch<A>
Lazy<A>	Wrapper class for a pattern that is to be created on demand.
Motif.Star<A>
MultiTransform<A,B>	Abstract base class for patterns that delegate transformed targets to a subpattern.
Observable<A>
Observer
OpsPatterns
Pattern<A>	Abstract base class of all patterns.
PatternCompilationContext
PrimitivePatterns	Static factory methods for creating patterns for primitive types and basic objects.
Proxy<A>	Base class for patterns that contain one subpattern of the same target type.
ReflectionPatterns	Static factory methods for creating patterns for runtime type information.
RestrictedTransform<A,B>
Rule<A,B>
Search<A>	Abstract base class for patterns that delegate matching dynamically to a number of alternative subpatterns.
StringPatterns	Static factory methods for creating patterns for strings and regular expressions.
Theme<A,B>
TotalTransform<A,B>
Transform<A,B>	Abstract base class for patterns that delegate transformed targets to a subpattern.
Unary<A,B>	Abstract base class for patterns that contain one subpattern.
Variable<A>	Class of pattern variables.
XMLPatterns
XPathPatterns
XPathPatterns.Path
XPathPatterns.Predicate
XPathPatterns.Solution
XPathPatterns.Test

Enum Summary

Enum	Description
XPathPatterns.Axis

Exception Summary

Exception	Description
CachedTransform.ApplyException	Indicates that a target can not be transformed.
RuleException

Package eu.bandm.tools.paisley Description

A modular implementation of pattern matching on arbitrary objects.

A pattern can be matched against a given object, resulting in zero or more successful matches. As a side effect of a successful match, pattern variables may be bound. They retain their bound values until the next matching attempt. The value of variables is unspecified before a match has been attempted. Which variables are bound by a successful match is specific to the class and structure of the pattern.

The first successful match is retrieved using the Pattern.match(A) method. All subsequent matches on the same object are retrieved using the Pattern.matchAgain() method. Any call to these methods invalidates the variables bound by previous calls. Patterns may be reused arbitrarily. Behaviour is unspecified if usage times overlap, either concurrently or recursively.

A class of patterns that yield multiple successful matches for an object may either guarantee a certain order in which the matches are produced, or leave the order unspecified. A pattern class is ordered if such an order exists for all matched objects, otherwise unordered.

A class of patterns may also guarantee that there is at most one successful match for any object. A pattern class is deterministic if there is at most one match, otherwise nondeterministic. Nondeterministic patterns typically require internal memory to keep track of subsequent matches. That memory can be discarded explicitly, forfeiting remaining matches for the same object, and potentially allowing some heap space to be reclaimed.