kawa.lang

Class PairPat

java.lang.Object

kawa.lang.Pattern

kawa.lang.PairPat

All Implemented Interfaces:

gnu.kawa.format.Printable, java.io.Externalizable, java.io.Serializable

public class PairPat
extends Pattern
implements gnu.kawa.format.Printable, java.io.Externalizable

See Also:

Serialized Form

Field Summary

Fields inherited from class kawa.lang.Pattern

matchPatternMethod, typePattern

Constructor Summary

Constructors

Constructor and Description
PairPat()
PairPat(Pattern car, Pattern cdr)

Method Summary

Modifier and Type	Method and Description
static PairPat	make(Pattern car, Pattern cdr)
boolean	match(java.lang.Object obj, java.lang.Object[] vars, int start_vars) Match this Pattern against an Object.
void	print(Consumer out)
void	readExternal(java.io.ObjectInput in)
int	varCount()
void	writeExternal(java.io.ObjectOutput out)

Methods inherited from class kawa.lang.Pattern

match

Methods inherited from class java.lang.Object

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

Constructor Detail

PairPat

public PairPat()

PairPat

public PairPat(Pattern car,
               Pattern cdr)

Method Detail

make

public static PairPat make(Pattern car,
                           Pattern cdr)

match

public boolean match(java.lang.Object obj,
                     java.lang.Object[] vars,
                     int start_vars)

Description copied from class: Pattern

Match this Pattern against an Object.

Specified by:

match in class Pattern

Parameters:

obj - the Object to match against

vars - the "pattern variable" values extracted from obj go here

start_vars - where in vars to strt putting the varCount() values

Returns:

true iff the match succeeded.

print

public void print(Consumer out)

Specified by:

print in interface gnu.kawa.format.Printable

Overrides:

print in class Pattern

varCount

public int varCount()

Specified by:

varCount in class Pattern

writeExternal

public void writeExternal(java.io.ObjectOutput out)
                   throws java.io.IOException

Specified by:

writeExternal in interface java.io.Externalizable

Throws:

java.io.IOException

readExternal

public void readExternal(java.io.ObjectInput in)
                  throws java.io.IOException,
                         java.lang.ClassNotFoundException

Specified by:

readExternal in interface java.io.Externalizable

Throws:

java.io.IOException

java.lang.ClassNotFoundException