KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > gnu > mapping > EnvironmentKey


1 // Copyright (c) 2004 Per M.A. Bothner.
2 // This is free software; for terms and warranty disclaimer see ./COPYING.
3
4 package gnu.mapping;
5
6 /** A pair of a name (a <code>Symbol</code>) and a property (any <code>Object</code>).
7  * A <code>Symbol</code> is an <code>EnvironmentKey</code> with
8  * a null property component.
9  * An <code>Environment</code> is a map from <code>EnvironmentKey</code>s
10  * to <code>Location</code>s.
11  */
12
13 public interface EnvironmentKey
14 {
15   public Symbol getKeySymbol ();
16   public Object JavaDoc getKeyProperty ();
17
18   public boolean matches (EnvironmentKey key);
19   public boolean matches (Symbol symbol, Object JavaDoc property);
20
21   /** Conventional value used as a property key for function bindings. */
22   public static final Object JavaDoc FUNCTION = Symbol.FUNCTION;
23 }
24
Popular Tags