Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##(): Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  def clone(): AnyRef

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

6.  val decl: (Access) ⇒ Decl

   decl refers to the appropriate declaration of the Access, or to unknownDecl if the declaration is missing.

   decl refers to the appropriate declaration of the Access, or to unknownDecl if the declaration is missing.

   syn lazy Decl Access.decl(); eq IdnUse.decl() = lookup(getName()); eq Dot.decl() = getIdnUse().decl();

7.  val declarationOf: (String) ⇒ (BlockStmt) ⇒ Decl

   syn Decl BlockStmt.declarationOf(String name) = null; eq Decl.declarationOf(String name) { if (getName().equals(name)) return this; return null; }

8.  final def eq(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

9.  def equals(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

10.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

11.  def finddecl(t: PicoJavaTree, name: String, blockstmts: Seq[BlockStmt]): Decl

    Search a sequence of block statements for a declaration matching a given name.

    Search a sequence of block statements for a declaration matching a given name. Return the matching declaration or the unknown declaration if not found.

12.  final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

13.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

14.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

15.  val localLookup: (String) ⇒ (PicoJavaTree) ⇒ Decl

    Look through the local declarations in a block.

    Look through the local declarations in a block.

    syn lazy Decl Block.localLookup(String name) { for (int k = 0; k < getNumBlockStmt(); k++) { Decl d = getBlockStmt(k).declarationOf(name); if (d != null) return d; } return unknownDecl(); }

    syn lazy Decl Program.localLookup(String name) { for (int k = 0; k < getNumPredefinedType(); k++) { Decl d = getPredefinedType(k).declarationOf(name); if (d != null) return d; } return unknownDecl(); }

16.  val lookup: (String) ⇒ (PicoJavaTree) ⇒ Decl

    Lookup a name.

    Lookup a name.

    inh Decl IdnUse.lookup(String name); inh Decl Block.lookup(String name); inh Decl TypeDecl.lookup(String name);

    eq Program.getBlock().lookup(String name) = localLookup(name); // lookup predefined types

    FIXME: haven't encoded this one, needed? eq Program.getPredefinedType(int index).lookup(String name) = unknownDecl();

    eq Block.getBlockStmt(int index).lookup(String name) { // First, look in the local declarations if (!localLookup(name).isUnknown()) return localLookup(name); // Then, look in surrounding context return lookup(name); }

    eq ClassDecl.getBody().lookup(String name) { // First, look in superclass chain if (superClass() != null && !superClass().remoteLookup(name).isUnknown()) return superClass().remoteLookup(name); // Then, look in surrounding context return lookup(name); }

    eq Dot.getIdnUse().lookup(String name) = // Do a remote lookup on the object's type. getObjectReference().decl().type().remoteLookup(name);

17.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

18.  final def notify(): Unit

    Definition Classes

    AnyRef

19.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

20.  val remoteLookup: (String) ⇒ (TypeDecl) ⇒ Decl

    Perform a remote name lookup.

    Perform a remote name lookup.

    Looks through declarations of this type that are accessible from outside the type By default, there are no such declarations, so return unknownDecl.

    syn Decl TypeDecl.remoteLookup(String name) = unknownDecl();

    eq ClassDecl.remoteLookup(String name) { // First, look in local declarations if (!getBody().localLookup(name).isUnknown()) return getBody().localLookup(name); // Then, look in the superclass chain if (superClass() != null && !superClass().remoteLookup(name).isUnknown()) return superClass().remoteLookup(name); // Otherwise, return null object unknown return unknownDecl(); }

21.  final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

22.  def toString(): String

    Definition Classes

    AnyRef → Any

23.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

24.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

25.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )