Package gnu.expr

Class QuoteExp

java.lang.Object

gnu.mapping.PropertySet

gnu.mapping.Procedure

gnu.expr.Expression

gnu.expr.QuoteExp

All Implemented Interfaces:

gnu.kawa.format.Printable, Named, SourceLocator, SourceLocator, Locator

public class QuoteExp
extends Expression

An Expression that evaluates to a constant value.

Nested Class Summary

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

SourceLocator.Simple

Field Summary

Fields

Modifier and Type	Field	Description
static QuoteExp	abstractExp
static QuoteExp	classObjectExp
static QuoteExp	emptyExp
static int	EXPLICITLY_TYPED
static QuoteExp	falseExp
static QuoteExp	falseObjExp
static int	IS_KEYWORD
static QuoteExp	isTrueTypeExp
static QuoteExp	nativeExp
static QuoteExp	nullExp
static int	SHARED_CONSTANT
static QuoteExp	trueExp
static QuoteExp	trueObjExp
static QuoteExp	undefined_exp
static QuoteExp	voidExp
static QuoteExp	voidObjectExp	Same value as voidExp, but different type, to suppress diagnostics.

Fields inherited from class gnu.expr.Expression

applyMethodExpression, flags, NEXT_AVAIL_FLAG, 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	Description
QuoteExp(Object val)
QuoteExp(Object val, Type type)

Method Summary

Modifier and Type	Method	Description
void	apply(CallContext ctx)	Evaluate the expression.
protected Type	calculateType()
void	compile(Compilation comp, Target target)
Expression	deepCopy(IdentityHashTable mapper)
static QuoteExp	getInstance(Object value)
static QuoteExp	getInstance(Object value, SourceLocator position)
Type	getRawType()
Object	getValue()
boolean	isExplicitlyTyped()
boolean	isSharedConstant()
static QuoteExp	makeShared(Object value, Type type)
protected boolean	mustCompile()
void	print(gnu.kawa.io.OutPort out)
void	setType(Type type)
boolean	side_effects()	True if evaluating may have side-effects.
String	toString()
Expression	validateApply(ApplyExp exp, InlineCalls visitor, Type required, Declaration decl)	Apply inlining transformations on a given ApplyExp.
Object	valueIfConstant()	Return value if it is constant, or null if non-constant or unknown.
protected <R,D> R	visit(ExpVisitor<R,D> visitor, D d)

Methods inherited from class gnu.expr.Expression

applyMethodExpression, checkLiteralKeyword, compile, compile, compileWithPosition, compileWithPosition, 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, visitChildren

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, getProperty, getSymbol, removeProperty, setName, setProperty, setProperty, setSymbol

Methods inherited from class java.lang.Object

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

Field Detail

EXPLICITLY_TYPED

public static final int EXPLICITLY_TYPED

See Also:

Constant Field Values

SHARED_CONSTANT

public static final int SHARED_CONSTANT

See Also:

Constant Field Values

IS_KEYWORD

public static final int IS_KEYWORD

See Also:

Constant Field Values

undefined_exp

public static QuoteExp undefined_exp

abstractExp

public static QuoteExp abstractExp

nativeExp

public static QuoteExp nativeExp

voidExp

public static QuoteExp voidExp

voidObjectExp

public static QuoteExp voidObjectExp

Same value as voidExp, but different type, to suppress diagnostics.

trueExp

public static QuoteExp trueExp

falseExp

public static QuoteExp falseExp

trueObjExp

public static QuoteExp trueObjExp

falseObjExp

public static QuoteExp falseObjExp

emptyExp

public static QuoteExp emptyExp

isTrueTypeExp

public static QuoteExp isTrueTypeExp

nullExp

public static QuoteExp nullExp

classObjectExp

public static final QuoteExp classObjectExp

Constructor Detail

QuoteExp

public QuoteExp(Object val)

QuoteExp

public QuoteExp(Object val,
                Type type)

Method Detail

getValue

public final Object getValue()

valueIfConstant

public final Object valueIfConstant()

Description copied from class: Expression

Return value if it is constant, or null if non-constant or unknown.

Overrides:

valueIfConstant in class Expression

getRawType

public final Type getRawType()

calculateType

protected final Type calculateType()

Overrides:

calculateType in class Expression

setType

public void setType(Type type)

Overrides:

setType in class Expression

isExplicitlyTyped

public boolean isExplicitlyTyped()

isSharedConstant

public boolean isSharedConstant()

getInstance

public static QuoteExp getInstance(Object value)

getInstance

public static QuoteExp getInstance(Object value,
                                   SourceLocator position)

makeShared

public static QuoteExp makeShared(Object value,
                                  Type type)

mustCompile

protected boolean mustCompile()

Specified by:

mustCompile in class Expression

apply

public void apply(CallContext ctx)

Description copied from class: Expression

Evaluate the expression. This is named apply rather than eval so it is compatible with the full-tail-call calling convention, and we can stash an Expression in CallContext's proc field. FIXME - are we making use of this?

Overrides:

apply in class Expression

compile

public void compile(Compilation comp,
                    Target target)

Specified by:

compile in class Expression

deepCopy

public Expression deepCopy(IdentityHashTable mapper)

Overrides:

deepCopy in class Expression

visit

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

Overrides:

visit in class Expression

validateApply

public Expression validateApply(ApplyExp exp,
                                InlineCalls visitor,
                                Type required,
                                Declaration decl)

Description copied from class: Expression

Apply inlining transformations on a given ApplyExp. Assumes the ApplyExp's function is this expression, or can be optimized to this expression.

Overrides:

validateApply in class Expression

Parameters:

exp - an application whose function expression can be simplified to this expression.

visitor - the context for the current inlining pass

decl - if non-null, a Declaration bound to this expression.

Returns:

an Expression equivalent to the passed-in exp.

side_effects

public boolean side_effects()

Description copied from class: Expression

True if evaluating may have side-effects.

Overrides:

side_effects in class Expression

toString

public String toString()

Overrides:

toString in class Expression

print

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

Specified by:

print in class Expression