edu.vub.at.objects.natives.grammar
Class AGApplication

java.lang.Object
  edu.vub.at.objects.natives.NATNil
      edu.vub.at.objects.natives.NATByCopy
          edu.vub.at.objects.natives.grammar.NATAbstractGrammar
              edu.vub.at.objects.natives.grammar.AGExpression
                  edu.vub.at.objects.natives.grammar.AGApplication

All Implemented Interfaces:

ATAbstractGrammar, ATApplication, ATConversions, ATExpression, ATNil, ATObject, ATStatement, java.io.Serializable

public final class AGApplication

extends AGExpression

implements ATApplication

Author:

tvc The native implementation of an application AG element.

See Also:

Serialized Form

Field Summary

private ATTable	arguments_
private ATExpression	funExp_

Fields inherited from class edu.vub.at.objects.natives.NATNil

_INSTANCE_

Constructor Summary

AGApplication(ATExpression fun, ATTable arg)

Method Summary

ATTable	base_getArguments()
ATExpression	base_getFunction()
ATObject	meta_eval(ATContext ctx) To evaluate a function application, evaluate the receiver expression to a function, then evaluate the arguments to the function application eagerly and apply the function.
NATText	meta_print() Prints out the object in a human-readable way.
ATObject	meta_quote(ATContext ctx) Quoting an application results in a new quoted application.

Methods inherited from class edu.vub.at.objects.natives.grammar.AGExpression

base_asExpression, meta_getStripes

Methods inherited from class edu.vub.at.objects.natives.NATByCopy

meta_pass, meta_resolve

Methods inherited from class edu.vub.at.objects.natives.NATNil

asAmbientTalkObject, asJavaClassUnderSymbiosis, asJavaObjectUnderSymbiosis, asNativeBoolean, asNativeException, asNativeFarReference, asNativeFraction, asNativeNumber, asNativeNumeric, asNativeTable, asNativeText, base__opeql__opeql_, base_asActorMirror, base_asAsyncMessage, base_asBegin, base_asBoolean, base_asClosure, base_asDefinition, base_asFarReference, base_asField, base_asHandler, base_asMessage, base_asMessageCreation, base_asMethod, base_asMirror, base_asNumber, base_asSplice, base_asStatement, base_asStripe, base_asSymbol, base_asTable, base_asUnquoteSplice, base_asVariableAssignment, base_init, base_isBoolean, base_isCallFrame, base_isClosure, base_isFarReference, base_isMessageCreation, base_isMethod, base_isMirror, base_isSplice, base_isStripe, base_isSymbol, base_isTable, base_isUnquoteSplice, base_isVariableAssignment, base_new, createChild, equals, isAmbientTalkObject, isJavaObjectUnderSymbiosis, isNativeBoolean, isNativeField, isNativeText, meta_addField, meta_addMethod, meta_assignField, meta_assignVariable, meta_clone, meta_defineField, meta_doesNotUnderstand, meta_extend, meta_getDynamicParent, meta_getLexicalParent, meta_grabField, meta_grabMethod, meta_invoke, meta_isCloneOf, meta_isRelatedTo, meta_isStripedWith, meta_listFields, meta_listMethods, meta_lookup, meta_newInstance, meta_receive, meta_respondsTo, meta_select, meta_send, meta_share, readResolve, toString, writeReplace

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.vub.at.objects.ATObject

base__opeql__opeql_, base_init, base_new, meta_addField, meta_addMethod, meta_assignField, meta_assignVariable, meta_clone, meta_defineField, meta_doesNotUnderstand, meta_extend, meta_getDynamicParent, meta_getLexicalParent, meta_getStripes, meta_grabField, meta_grabMethod, meta_invoke, meta_isCloneOf, meta_isRelatedTo, meta_isStripedWith, meta_listFields, meta_listMethods, meta_lookup, meta_newInstance, meta_pass, meta_receive, meta_resolve, meta_respondsTo, meta_select, meta_send, meta_share

Methods inherited from interface edu.vub.at.objects.coercion.ATConversions

asAmbientTalkObject, asJavaClassUnderSymbiosis, asJavaObjectUnderSymbiosis, asNativeBoolean, asNativeException, asNativeFarReference, asNativeFraction, asNativeNumber, asNativeNumeric, asNativeTable, asNativeText, base_asActorMirror, base_asAsyncMessage, base_asBegin, base_asBoolean, base_asClosure, base_asDefinition, base_asExpression, base_asFarReference, base_asField, base_asHandler, base_asMessage, base_asMessageCreation, base_asMethod, base_asMirror, base_asNumber, base_asSplice, base_asStatement, base_asStripe, base_asSymbol, base_asTable, base_asUnquoteSplice, base_asVariableAssignment, base_isBoolean, base_isCallFrame, base_isClosure, base_isFarReference, base_isMessageCreation, base_isMethod, base_isMirror, base_isSplice, base_isStripe, base_isSymbol, base_isTable, base_isUnquoteSplice, base_isVariableAssignment, isAmbientTalkObject, isJavaObjectUnderSymbiosis, isNativeBoolean, isNativeField, isNativeText

Field Detail

funExp_

private final ATExpression funExp_

arguments_

private final ATTable arguments_

Constructor Detail

AGApplication

public AGApplication(ATExpression fun,
                     ATTable arg)

Method Detail

base_getFunction

public ATExpression base_getFunction()

Specified by:

base_getFunction in interface ATApplication

base_getArguments

public ATTable base_getArguments()

Specified by:

base_getArguments in interface ATApplication

meta_eval

public ATObject meta_eval(ATContext ctx)
                   throws InterpreterException

To evaluate a function application, evaluate the receiver expression to a function, then evaluate the arguments to the function application eagerly and apply the function. AGAPL(fun,arg).eval(ctx) = fun.eval(ctx).apply(map eval(ctx) over arg)

Specified by:

meta_eval in interface ATObject

Overrides:

meta_eval in class NATNil

Returns:

the return value of the applied function.

Throws:

InterpreterException

meta_quote

public ATObject meta_quote(ATContext ctx)
                    throws InterpreterException

Quoting an application results in a new quoted application. AGAPL(sel,arg).quote(ctx) = AGAPL(sel.quote(ctx), arg.quote(ctx))

Specified by:

meta_quote in interface ATObject

Overrides:

meta_quote in class NATNil

Throws:

InterpreterException

meta_print

public NATText meta_print()
                   throws InterpreterException

Description copied from interface: ATObject

Prints out the object in a human-readable way.

Specified by:

meta_print in interface ATObject

Overrides:

meta_print in class NATNil

Throws:

InterpreterException