Package kawa.lang

Class SyntaxPattern

java.lang.Object

kawa.lang.Pattern

kawa.lang.SyntaxPattern

All Implemented Interfaces:

gnu.kawa.format.Printable, Externalizable, Serializable

public class SyntaxPattern
extends Pattern
implements Externalizable

This encodes a pattern from a Scheem syntax-case or syntax-rules.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	printSyntaxPatternMatch	Control logging to standard error on successful pattern match.
static final SimpleSymbol	underscoreSymbol

Fields inherited from class kawa.lang.Pattern

matchPatternMethod, typePattern

Constructor Summary

Constructors

Constructor	Description
SyntaxPattern(Object pattern, Object[] literal_identifiers, Translator tr)
SyntaxPattern(String program, Object[] literals, int varCount, String fileLine)

Method Summary

Modifier and Type	Method	Description
static Object[]	allocVars(int varCount, Object[] outer)	The compiler calls this method to implement syntax-case.
void	disassemble()
void	disassemble(PrintWriter ps, Translator tr)
static Object[]	getLiteralsList(Object list, SyntaxForm syntax, Translator tr)	Parse the literals list in a syntax-rules or syntax-case.
static boolean	literalIdentifierEq(Object id1, ScopeExp sc1, Object id2, ScopeExp sc2)
boolean	match(Object obj, Object[] vars, int start_vars)	Match this Pattern against an Object.
boolean	match(Object obj, Object[] vars, int start_vars, int pc, SyntaxForm syntax)
void	readExternal(ObjectInput in)
String	toString()
int	varCount()
void	writeExternal(ObjectOutput out)

Methods inherited from class kawa.lang.Pattern

match, print

Methods inherited from class java.lang.Object

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

Field Details

underscoreSymbol

public static final SimpleSymbol underscoreSymbol

printSyntaxPatternMatch

public static boolean printSyntaxPatternMatch

Control logging to standard error on successful pattern match.

Constructor Details

SyntaxPattern

public SyntaxPattern(String program,
 Object[] literals,
 int varCount,
 String fileLine)

SyntaxPattern

public SyntaxPattern(Object pattern,
 Object[] literal_identifiers,
 Translator tr)

Method Details

varCount

public int varCount()

Specified by:

varCount in class Pattern

match

public boolean match(Object obj,
 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.

disassemble

public void disassemble()

disassemble

public void disassemble(PrintWriter ps,
 Translator tr)

match

public boolean match(Object obj,
 Object[] vars,
 int start_vars,
 int pc,
 SyntaxForm syntax)

writeExternal

public void writeExternal(ObjectOutput out)
                   throws IOException

Specified by:

writeExternal in interface Externalizable

Throws:

IOException

readExternal

public void readExternal(ObjectInput in)
                  throws IOException,
ClassNotFoundException

Specified by:

readExternal in interface Externalizable

Throws:

IOException

ClassNotFoundException

allocVars

public static Object[] allocVars(int varCount,
 Object[] outer)

The compiler calls this method to implement syntax-case.

literalIdentifierEq

public static boolean literalIdentifierEq(Object id1,
 ScopeExp sc1,
 Object id2,
 ScopeExp sc2)

getLiteralsList

public static Object[] getLiteralsList(Object list,
 SyntaxForm syntax,
 Translator tr)

Parse the literals list in a syntax-rules or syntax-case.

toString

public String toString()

Overrides:

toString in class Object