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();
syn Decl BlockStmt.
syn Decl BlockStmt.declarationOf(String name) = null; eq Decl.declarationOf(String name) { if (getName().equals(name)) return this; return null; }
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(); }
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);
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(); }