gnu.expr

Class ClassExp

java.lang.Object

gnu.mapping.PropertySet

gnu.mapping.Procedure

gnu.expr.Expression

gnu.expr.ScopeExp

gnu.expr.LambdaExp

gnu.expr.ClassExp

All Implemented Interfaces:

gnu.kawa.format.Printable, Named, javax.xml.transform.SourceLocator, org.xml.sax.Locator

Direct Known Subclasses:

ObjectExp

public class ClassExp
extends LambdaExp

Nested Class Summary

Nested classes/interfaces inherited from class gnu.expr.LambdaExp

LambdaExp.Closure

Nested classes/interfaces inherited from interface gnu.text.SourceLocator

SourceLocator.Simple

Field Summary

Fields

Modifier and Type	Field and Description
static int	CLASS_SPECIFIED
java.lang.String	classNameSpecifier
LambdaExp	clinitMethod An artificial method named "$clinit$" for evaluating static initializations.
static int	HAS_SUBCLASS
LambdaExp	initMethod An artificial method named "$finit$" for evaluating non-static initializations.
static int	INTERFACE_SPECIFIED
static int	IS_ABSTRACT
static int	IS_PACKAGE_MEMBER True if the resulting class(es) are *not* member/inner classes.
int	superClassIndex Index in supers array of class we extend, or -1.
Expression[]	supers List of base classes and implemented interfaces.

Fields inherited from class gnu.expr.LambdaExp

ALLOW_OTHER_KEYWORDS, applyToConsumer, ATTEMPT_INLINE, body, CLOSURE_ENV_NAME, closureEnvField, firstChild, HAS_NONTRIVIAL_DEFAULT, HAS_NONTRIVIAL_PATTERN, IN_EXPWALKER, inlineHome, keywords, max_args, min_args, nameDecl, NEXT_AVAIL_FLAG, nextSibling, NO_FIELD, opt_args, OVERLOADABLE_FIELD, PASSES_TAILCALLS, PUBLIC_METHOD, returnContinuation, returnType, SEQUENCE_RESULT, staticLinkField

Fields inherited from class gnu.expr.ScopeExp

frameSize, id, scope

Fields inherited from class gnu.expr.Expression

applyMethodExpression, flags, noExpressions, type, VALIDATED

Fields inherited from class gnu.mapping.Procedure

applyMethodType, applyToConsumerDefault, applyToConsumerMethod, applyToObjectDefault, applyToObjectMethod, compilerKey, compilerXKey, inlineIfConstantSymbol, validateApplyKey, validateXApplyKey

Fields inherited from class gnu.mapping.PropertySet

nameKey

Constructor Summary

Constructors

Constructor and Description
ClassExp(boolean simple, ClassType type)

Method Summary

Modifier and Type	Method and Description
Declaration	addMethod(LambdaExp lexp, java.lang.Object mname)
protected Type	calculateType() The ClassType generated for this class.
void	compile(Compilation comp, Target target)
ClassType	compileMembers(Compilation comp)
void	compilePushClass(Compilation comp, Target target)
Field	compileSetField(Compilation comp)
void	createFields(Compilation comp) Create a Field in the instanceClass for each declared field.
void	declareParts(Compilation comp)
protected Method	findMethodForBridge(java.lang.String mname, Type[] ptypes, Type rtype) Finds a like-named method suitable for bridging the given arg/return types (i.e.
void	generateBridgeMethod(Compilation comp, Method src_method, Type[] bridge_arg_types, Type bridge_return_type) Given an existing method and a desired bridge method signature, generates an appropriate bridge method.
java.lang.String	getClassName(Compilation comp)
ClassType	getClassType() The ClassType generated for this class.
protected ClassType	getCompiledClassType(Compilation comp) Return the ClassType of the Procedure this is being compiled into.
boolean	isAbstract()
boolean	isMakingClassPair() True if we should make a pair of an interface and a class.
boolean	isSimple()
protected boolean	mustCompile()
void	print(gnu.kawa.io.OutPort out)
void	setClassType(ClassType type)
void	setTypes(Compilation comp)
static java.lang.String	slotToMethodName(java.lang.String prefix, java.lang.String sname) Mangle a "slot" name to a get- or set- method name.
protected <R,D> R	visit(ExpVisitor<R,D> visitor, D d)
protected <R,D> void	visitChildren(ExpVisitor<R,D> visitor, D d)

Methods inherited from class gnu.expr.LambdaExp

addParameter, allocChildClasses, allocFrame, apply, capture, checkForInitCall, compileBody, compileEnd, declareClosureEnv, declareThis, generateApplyMethods, getBodyFirstExpression, getCallConvention, getCaller, getCanRead, getExpClassName, getHeapFrameType, getImportsLexVars, getInlineOnly, getMainMethod, getMethod, getNeedsClosureEnv, getNeedsStaticLink, getOwningLambda, getProperty, getReturnType, incomingArgs, inlinedInCallerOrCheckMethodOnly, inlinedInCheckMethod, isClassMethod, isHandlingTailCalls, isModuleBody, isNative, loadHeapFrame, maybeSetReturnType, outerLambda, outerLambdaNotInline, outerLambdaOrCaller, pushChild, restArgType, reverseChildList, setCallConvention, setCanRead, setClassMethod, setCoercedReturnType, setCoercedReturnValue, setExceptions, setImportsLexVars, setImportsLexVars, setInlineOnly, setInlineOnly, setNeedsStaticLink, setNeedsStaticLink, setProperty, setReturnType, setType, side_effects, toString, usingCallContext, validateApply, variable_args, visitChildrenOnly, visitProperties

Methods inherited from class gnu.expr.ScopeExp

add, add, addDeclaration, addDeclaration, addDeclaration, clearCallList, countDecls, currentLambda, currentModule, duplicateDeclarationError, firstDecl, getDefine, getNoDefine, getOuter, getVarScope, isClassGenerated, lastDecl, lookup, lookup, nestedIn, nesting, popScope, remove, remove, replaceFollowing, setIndexes, setOuter, topLevel

Methods inherited from class gnu.expr.Expression

applyMethodExpression, checkLiteralKeyword, compile, compile, compileWithPosition, compileWithPosition, deepCopy, deepCopy, deepCopy, deepCopy, eval, eval, getColumnNumber, getEndColumn, getEndLine, getFileName, getFlag, getFlags, getLineNumber, getPublicId, getStartColumn, getStartLine, getSystemId, getType, getTypeRaw, isSingleValue, isStableSourceLocation, makeWhile, maybeSetLine, neverReturns, numArgs, print, printLineColumn, setFile, setFlag, setFlag, setLine, setLine, setLine, setLine, setLine, setLocation, setType, valueIfConstant

Methods inherited from class gnu.mapping.Procedure

apply0, apply1, apply2, apply3, apply4, applyL, applyN, applyToConsumerDefault, applyToObjectDefault, checkArgCount, checkBadCode, getApplyMethod, getApplyToConsumerMethod, getApplyToObjectMethod, getReturnType, getSetter, getSourceLocation, isSideEffectFree, lookupApplyHandle, maxArgs, maxArgs, minArgs, minArgs, set0, set1, setN, setSetter, setSourceLocation

Methods inherited from class gnu.mapping.PropertySet

getName, getSymbol, removeProperty, setName, setProperty, setSymbol

Methods inherited from class java.lang.Object

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

Field Detail

IS_ABSTRACT

public static final int IS_ABSTRACT

See Also:

Constant Field Values

INTERFACE_SPECIFIED

public static final int INTERFACE_SPECIFIED

See Also:

Constant Field Values

CLASS_SPECIFIED

public static final int CLASS_SPECIFIED

See Also:

Constant Field Values

HAS_SUBCLASS

public static final int HAS_SUBCLASS

See Also:

Constant Field Values

IS_PACKAGE_MEMBER

public static final int IS_PACKAGE_MEMBER

True if the resulting class(es) are *not* member/inner classes.

See Also:

Constant Field Values

classNameSpecifier

public java.lang.String classNameSpecifier

supers

public Expression[] supers

List of base classes and implemented interfaces.

superClassIndex

public int superClassIndex

Index in supers array of class we extend, or -1.

initMethod

public LambdaExp initMethod

An artificial method named "$finit$" for evaluating non-static initializations. All constructors need to call this.

clinitMethod

public LambdaExp clinitMethod

An artificial method named "$clinit$" for evaluating static initializations.

Constructor Detail

ClassExp

public ClassExp(boolean simple,
                ClassType type)

Method Detail

isSimple

public boolean isSimple()

isAbstract

public final boolean isAbstract()

Overrides:

isAbstract in class LambdaExp

isMakingClassPair

public boolean isMakingClassPair()

True if we should make a pair of an interface and a class.

calculateType

protected Type calculateType()

The ClassType generated for this class. Note difference from getClassType: The value of a ClassExp (viewed as an expression) is a class/type object, so getType returns the type of a type.

Overrides:

calculateType in class LambdaExp

getClassType

public ClassType getClassType()

The ClassType generated for this class.

Overrides:

getClassType in class LambdaExp

setClassType

public void setClassType(ClassType type)

mustCompile

protected boolean mustCompile()

Overrides:

mustCompile in class LambdaExp

compile

public void compile(Compilation comp,
                    Target target)

Overrides:

compile in class LambdaExp

compilePushClass

public void compilePushClass(Compilation comp,
                             Target target)

getCompiledClassType

protected ClassType getCompiledClassType(Compilation comp)

Description copied from class: LambdaExp

Return the ClassType of the Procedure this is being compiled into.

Overrides:

getCompiledClassType in class LambdaExp

createFields

public void createFields(Compilation comp)

Create a Field in the instanceClass for each declared field. This allows name SlotGet.lookupMember (used in Translator.rewrite when looking for a binding for a symbol) to return a match. Note that if we later (in setTypes) create a pair-type, then the field will be replaced by a getter/setter pair. Later yet (in declareParts): We set the types of the Field or getter/setter pair. We should create tentative Methods for methods in the same manner, but that is is a project for another day.

setTypes

public void setTypes(Compilation comp)

getClassName

public java.lang.String getClassName(Compilation comp)

declareParts

public void declareParts(Compilation comp)

compileMembers

public ClassType compileMembers(Compilation comp)

findMethodForBridge

protected Method findMethodForBridge(java.lang.String mname,
                                     Type[] ptypes,
                                     Type rtype)

Finds a like-named method suitable for bridging the given arg/return types (i.e. a method whose arg types and return types are subclasses of those given here.

generateBridgeMethod

public final void generateBridgeMethod(Compilation comp,
                                       Method src_method,
                                       Type[] bridge_arg_types,
                                       Type bridge_return_type)

Given an existing method and a desired bridge method signature, generates an appropriate bridge method.

visit

protected <R,D> R visit(ExpVisitor<R,D> visitor,
                        D d)

Overrides:

visit in class LambdaExp

visitChildren

protected <R,D> void visitChildren(ExpVisitor<R,D> visitor,
                                   D d)

Overrides:

visitChildren in class LambdaExp

print

public void print(gnu.kawa.io.OutPort out)

Overrides:

print in class LambdaExp

compileSetField

public Field compileSetField(Compilation comp)

Overrides:

compileSetField in class LambdaExp

slotToMethodName

public static java.lang.String slotToMethodName(java.lang.String prefix,
                                                java.lang.String sname)

Mangle a "slot" name to a get- or set- method name.

Parameters:

prefix - either "get" or "set" or "add"

sname - a "slot" (property) name. This is mangled if needed.

addMethod

public Declaration addMethod(LambdaExp lexp,
                             java.lang.Object mname)