kawa.lang

Class BindDecls

java.lang.Object

kawa.lang.BindDecls

public class BindDecls
extends java.lang.Object

Methods for parsing patterns.

Field Summary

Fields

Modifier and Type	Field and Description
boolean	allowShadowing
Type	booleanType
Procedure	compareEquals
java.lang.Object	ifKeyword
static BindDecls	instance
boolean	makeConstant

Constructor Summary

Constructors

Constructor and Description
BindDecls()

Method Summary

Modifier and Type	Method and Description
Expression	compareLiteral(Declaration param, QuoteExp literal)
Declaration	define(Symbol name, TemplateScope templateScope, ScopeExp scope, Translator comp)
QuoteExp	literalPattern(java.lang.Object patval, Translator comp)
void	parseBracketListPattern(Pair patpair, int scanNesting, ScopeExp scope, Declaration decl, Translator comp) Handle patterns of the form {@code [pat1 ...
java.lang.Object[]	parsePatternCar(Pair patList, Expression init, TemplateScope templateScope, int scanNesting, ScopeExp scope, Translator comp)
java.lang.Object[]	parsePatternCar(Pair patList, int scanNesting, ScopeExp scope, Translator comp) Parse a declaration or more generally a pattern.
java.lang.Object	parsePatternNext(Pair patList, Translator comp)
static void	setInitializer(Declaration decl, Expression init, ScopeExp scope, Translator comp)

Methods inherited from class java.lang.Object

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

Field Detail

instance

public static final BindDecls instance

allowShadowing

public boolean allowShadowing

makeConstant

public boolean makeConstant

ifKeyword

public java.lang.Object ifKeyword

compareEquals

public Procedure compareEquals

booleanType

public Type booleanType

Constructor Detail

BindDecls

public BindDecls()

Method Detail

define

public Declaration define(Symbol name,
                          TemplateScope templateScope,
                          ScopeExp scope,
                          Translator comp)

parsePatternNext

public java.lang.Object parsePatternNext(Pair patList,
                                         Translator comp)

parsePatternCar

public java.lang.Object[] parsePatternCar(Pair patList,
                                          int scanNesting,
                                          ScopeExp scope,
                                          Translator comp)

Parse a declaration or more generally a pattern. The actual pattern is an initial sublist (using just the initial car) of the patList.

Returns:

A 2-element array, where element 0 is the unused remainder of patList, while element 1 is a Declaration for that pattern.

parsePatternCar

public java.lang.Object[] parsePatternCar(Pair patList,
                                          Expression init,
                                          TemplateScope templateScope,
                                          int scanNesting,
                                          ScopeExp scope,
                                          Translator comp)

parseBracketListPattern

public void parseBracketListPattern(Pair patpair,
                                    int scanNesting,
                                    ScopeExp scope,
                                    Declaration decl,
                                    Translator comp)

Handle patterns of the form [pat1 ... patN].

setInitializer

public static void setInitializer(Declaration decl,
                                  Expression init,
                                  ScopeExp scope,
                                  Translator comp)

literalPattern

public QuoteExp literalPattern(java.lang.Object patval,
                               Translator comp)

compareLiteral

public Expression compareLiteral(Declaration param,
                                 QuoteExp literal)