orc.ast.sites
Class JavaSite

java.lang.Object
  orc.ast.sites.Site
      orc.ast.sites.JavaSite

public class JavaSite
extends Site

Field Summary

protected java.net.URI

location

Fields inherited from class orc.ast.sites.Site

CONS, EQUAL, HEAD, IF, ISCONS, ISNIL, ISNONE, ISSOME, JAVA, LET, NIL, NONE, NOT, ORC, SOME, TAIL

Constructor Summary

JavaSite(java.net.URI location)

Method Summary

java.net.URI	getLocation()
java.lang.String	getProtocol()
Site	instantiate()

Methods inherited from class orc.ast.sites.Site

build, build, buildCoreSite, equals

Methods inherited from class java.lang.Object

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

Field Detail

location

protected java.net.URI location

Constructor Detail

JavaSite

public JavaSite(java.net.URI location)

Method Detail

getLocation

public java.net.URI getLocation()

Specified by:

getLocation in class Site

getProtocol

public java.lang.String getProtocol()

Specified by:

getProtocol in class Site

instantiate

public Site instantiate()

Specified by:

instantiate in class Site