All Implemented Interfaces:

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

public class QuoteExp
extends Expression 

• Nested Class Summary

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

    SourceLocator.Simple

• Field Summary

  Fields

  Modifier and Type	Field and 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 and Description
  QuoteExp (java.lang.Object val)
  QuoteExp (java.lang.Object val, Type type)

• Method Summary

  All Methods

  Modifier and Type	Method and Description
  void	apply (CallContext ctx) Evaluate the expression.
  protected Type	calculateType ()
  void	compile (Compilation comp, Target target)
  Expression	deepCopy (IdentityHashTable mapper)
  static QuoteExp	getInstance (java.lang.Object value)
  static QuoteExp	getInstance (java.lang.Object value, SourceLocator position)
  Type	getRawType ()
  java.lang.Object	getValue ()
  boolean	isExplicitlyTyped ()
  boolean	isSharedConstant ()
  static QuoteExp	makeShared (java.lang.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.
  java.lang.String	toString ()
  Expression	validateApply (ApplyExp exp, InlineCalls visitor, Type required, Declaration decl) Apply inlining transformations on a given ApplyExp.
  java.lang.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(java.lang.Object val)

  • QuoteExp

    public QuoteExp(java.lang.Object val,
     Type type)

• Method Detail

  • getValue

    public final java.lang.Object getValue()

  • valueIfConstant

    public final java.lang.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(java.lang.Object value)

  • getInstance

    public static QuoteExp getInstance(java.lang.Object value,
     SourceLocator position)

  • makeShared

    public static QuoteExp makeShared(java.lang.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 java.lang.String toString()

    Overrides:

    toString in class Expression

  • print

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

    Specified by:

    print in class Expression