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)
boolean	equals(java.lang.Object obj) ResolvedSites' equality is based on the site's toString() representation; the site instance is not compared.
int	hashCode() ResolvedSites' hash codes are the same as the unresolved Site
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

addIndices, asField, enter, populateContinuations

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

freeVars, getPublishContinuation, leave, marshalAll, setPublishContinuation, typecheck

Methods inherited from class java.lang.Object

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

Constructor Detail

ResolvedSite

public ResolvedSite(Config config,
                    Site site)
             throws SiteResolutionException

Throws:

SiteResolutionException

Method Detail

hashCode

public int hashCode()

ResolvedSites' hash codes are the same as the unresolved Site

Overrides:

hashCode in class Site

See Also:

Object.hashCode()

equals

public boolean equals(java.lang.Object obj)

ResolvedSites' equality is based on the site's toString() representation; the site instance is not compared. However, Sites and ResolvedSites are not equal, even for the same site.

Overrides:

equals in class Site

See Also:

Object.equals(java.lang.Object)

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