orc.ast.oil.expression.argument
Class ResolvedSite

java.lang.Object
  orc.ast.oil.expression.Expression
      orc.ast.oil.expression.argument.Argument
          orc.ast.oil.expression.argument.Site
              orc.ast.oil.expression.argument.ResolvedSite

public class ResolvedSite
extends Site

A site which has been resolved and instantiated.

Author:

quark

Field Summary

Fields inherited from class orc.ast.oil.expression.argument.Site

site

Constructor Summary

ResolvedSite(Config config, Site site)

Method Summary

<E> E	accept(Visitor<E> visitor)
void	addIndices(java.util.Set<java.lang.Integer> indices, int depth) If this expression has any indices which are >= depth, add (index - depth) to the index set accumulator.
java.lang.Object	resolve(Env<java.lang.Object> env)
Site	resolveSites(Config config)
java.lang.String	toString()
Type	typesynth(TypingContext ctx)

Methods inherited from class orc.ast.oil.expression.argument.Site

marshal

Methods inherited from class orc.ast.oil.expression.argument.Argument

asField

Methods inherited from class orc.ast.oil.expression.Expression

freeVars, marshalAll, typecheck

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolvedSite

public ResolvedSite(Config config,
                    Site site)
             throws SiteResolutionException

Throws:

SiteResolutionException

Method Detail

resolveSites

public Site resolveSites(Config config)
                  throws SiteResolutionException

Overrides:

resolveSites in class Site

Throws:

SiteResolutionException

resolve

public java.lang.Object resolve(Env<java.lang.Object> env)

Overrides:

resolve in class Site

toString

public java.lang.String toString()

Overrides:

toString in class Site

accept

public <E> E accept(Visitor<E> visitor)

Overrides:

accept in class Site

typesynth

public Type typesynth(TypingContext ctx)
               throws TypeException

Overrides:

typesynth in class Site

Throws:

TypeException

addIndices

public void addIndices(java.util.Set<java.lang.Integer> indices,
                       int depth)

Description copied from class: Expression

If this expression has any indices which are >= depth, add (index - depth) to the index set accumulator. The depth increases each time this method recurses through a binder. The default implementation is to assume the expression has no free variables, and thus do nothing. Expressions which contain variables or subexpressions override this behavior.

Overrides:

addIndices in class Site

Parameters:

indices - The index set accumulator.

depth - The minimum index for a free variable.